codac
codac_TubePaving.h
Go to the documentation of this file.
1 
12 #ifndef __CODAC_TUBEPAVING_H__
13 #define __CODAC_TUBEPAVING_H__
14 
15 #include "codac_Paving.h"
16 #include "codac_TubeVector.h"
17 
18 namespace codac
19 {
26  class TubePaving : public Paving
27  {
28  public:
29 
32 
38  TubePaving(const ibex::IntervalVector& init_box);
39 
46  void compute(float precision, const TubeVector& x);
47 
56  void compute(float precision, const Tube& x);
57 
59  };
60 }
61 
62 #endif
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
Multi-dimensional paving as projection of a vector tube.
Definition: codac_TubePaving.h:26
TubePaving(const ibex::IntervalVector &init_box)
Initializes a tube paving.
n-dimensional tube , defined as an interval of n-dimensional trajectories
Definition: codac_TubeVector.h:38
One dimensional tube , defined as an interval of scalar trajectories.
Definition: codac_Tube.h:47
void compute(float precision, const TubeVector &x)
Computes the paving from the tube .
Multi-dimensional paving as representation of a set.
Definition: codac_Paving.h:29