codac
codac_CtcBox.h
Go to the documentation of this file.
1 
12 #ifndef __CODAC_CTCBOX_H__
13 #define __CODAC_CTCBOX_H__
14 
15 #include "codac_Ctc.h"
16 #include "codac_IntervalVector.h"
17 
18 namespace codac
19 {
24  class CtcBox : public Ctc
25  {
26  public:
27 
33  CtcBox(const IntervalVector& b) : Ctc(b.size()), _b(b) {};
34 
40  void contract(IntervalVector& x);
41 
42 
43  protected:
44 
45  const IntervalVector _b;
46  };
47 }
48 
49 #endif
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)