codac_TPlane.h

Go to the documentation of this file.

#ifndef __CODAC_TPLANE_H__
#define __CODAC_TPLANE_H__

#include "codac_Paving.h"
#include "codac_TubeVector.h"
#include "codac_ConnectedSubset.h"

namespace codac
{
  class TPlane : public Paving
  {
    public:

      TPlane(const Interval& tdomain);

      TPlane(const TPlane& t);

      TPlane(const TPlane* t, const Paving* p);

      ~TPlane();

      TPlane& operator=(const TPlane& t);

      void compute_loops(float precision, const TubeVector& p, const TubeVector& v);

      void compute_detections(float precision, const TubeVector& p);

      void compute_detections(float precision, const TubeVector& p, const TubeVector& v);

      void compute_proofs(const TubeVector& p);

      void compute_proofs(const TubeVector& p, const TubeVector& v);

      int nb_loops_detections() const;

      int nb_loops_proofs() const;

      const std::vector<ConnectedSubset>& detected_loops_subsets() const;

      const std::vector<IntervalVector> detected_loops() const;

      const std::vector<ConnectedSubset>& proven_loops_subsets() const;

      const std::vector<IntervalVector> proven_loops() const;

      Trajectory traj_loops_summary() const;

      static void verbose(bool verbose = true);

      void compute_proofs(const std::function<IntervalVector(const IntervalVector&)>& f);

    protected:

      void compute_detections(float precision, const TubeVector& p, const TubeVector& v, bool with_derivative, bool extract_subsets);

      float m_precision = 0.; 
      std::vector<ConnectedSubset> m_v_detected_loops; 
      std::vector<ConnectedSubset> m_v_proven_loops; 
    
      TPlane *m_first_subtplane, *m_second_subtplane;

      static bool m_verbose;
  };
}

#endif