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