api/html/codac___tube_paving_8h_source.html

 #ifndef __CODAC_TUBEPAVING_H__

 #define __CODAC_TUBEPAVING_H__


 #include "codac_Paving.h"

 #include "codac_TubeVector.h"


 namespace codac

 {

   class TubePaving : public Paving

   {

     public:


       TubePaving(const ibex::IntervalVector& init_box);


       void compute(float precision, const TubeVector& x);


       void compute(float precision, const Tube& x);


   };

 }


 #endif

codac::Paving
Multi-dimensional paving as representation of a set.
Definition: codac_Paving.h:30

codac::Tube
One dimensional tube , defined as an interval of scalar trajectories.
Definition: codac_Tube.h:48

codac::TubePaving
Multi-dimensional paving as projection of a vector tube.
Definition: codac_TubePaving.h:27

codac::TubePaving::compute
void compute(float precision, const Tube &x)
Computes the 2d paving from the 1d tube .

codac::TubePaving::compute
void compute(float precision, const TubeVector &x)
Computes the paving from the tube .

codac::TubePaving::TubePaving
TubePaving(const ibex::IntervalVector &init_box)
Initializes a tube paving.

codac::TubeVector
n-dimensional tube , defined as an interval of n-dimensional trajectories
Definition: codac_TubeVector.h:39

codac_Paving.h

codac_TubeVector.h

codac
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9