10 #ifndef __IBEX_CTC_SEGMENT_H__ 11 #define __IBEX_CTC_SEGMENT_H__ 13 #include "ibex_IntervalVector.h" 14 #include "ibex_NumConstraint.h" 15 #include "ibex_CtcFwdBwd.h" 19 using ibex::IntervalVector;
21 using ibex::NumConstraint;
22 using ibex::CtcFwdBwd;
48 CtcSegment(
double ax,
double ay,
double bx,
double by);
65 virtual void contract(IntervalVector& box);
79 NumConstraint *
ncf, *ncg;
94 #endif // __IBEX_CTC_SEGMENT_H__ CtcSegment()
create the contractor for "x in a segment [a,b]".
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
CtcFwdBwd * ctc_f
Definition: codac_CtcSegment.h:82
IntervalVector X_with_params
Definition: codac_CtcSegment.h:75
NumConstraint * ncf
Definition: codac_CtcSegment.h:79
~CtcSegment()
Delete this.
virtual void contract(IntervalVector &box)
Contract a box.
Minimal contractor for a segment.
Definition: codac_CtcSegment.h:32