12 #ifndef __CODAC_CTCFUNCTION_H__ 13 #define __CODAC_CTCFUNCTION_H__ 17 #include "ibex_CtcFwdBwd.h" 18 #include "ibex_Domain.h" 47 CtcFunction(
const Function& f,
const ibex::Domain& y);
65 CtcFunction(
const Function& f,
const IntervalVector& y);
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
Slice of a one dimensional tube and made of an envelope and two gates.
Definition: codac_Slice.h:33
n-dimensional tube , defined as an interval of n-dimensional trajectories
Definition: codac_TubeVector.h:38
CtcFunction(const Function &f)
Creates a contractor for the constraint .
One dimensional tube , defined as an interval of scalar trajectories.
Definition: codac_Tube.h:47
void contract(IntervalVector &x)
Generic static that contracts a box or a tube according to the constraint or . It stands on the CtcFwdBwd of IBEX (HC4Revise).
Definition: codac_CtcFunction.h:29