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::Paving
Paving(const IntervalVector &box, SetValue value=SetValue::UNKNOWN)
Creates a paving.

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

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