12 #ifndef __CODAC_TUBEPAVING_H__ 13 #define __CODAC_TUBEPAVING_H__ 38 TubePaving(
const ibex::IntervalVector& init_box);
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