codac 1.5.6
Loading...
Searching...
No Matches
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"
17
18namespace 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
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