12 #ifndef __CODAC_CTCBOX_H__ 13 #define __CODAC_CTCBOX_H__ 33 CtcBox(
const IntervalVector& b) : Ctc(b.size()),
_b(b) {};
45 const IntervalVector
_b;
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
Contractor around a box.
Definition: codac_CtcBox.h:24
const IntervalVector _b
the support box
Definition: codac_CtcBox.h:45
CtcBox(const IntervalVector &b)
Creates a contractor around a support box.
Definition: codac_CtcBox.h:33
void contract(IntervalVector &x)