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