codac
codac_CtcFunction.h
Go to the documentation of this file.
1 
12 #ifndef __CODAC_CTCFUNCTION_H__
13 #define __CODAC_CTCFUNCTION_H__
14 
15 #include <string>
16 #include "codac_Function.h"
17 #include "ibex_CtcFwdBwd.h"
18 #include "ibex_Domain.h"
19 #include "codac_TubeVector.h"
20 
21 namespace codac
22 {
29  class CtcFunction : public ibex::CtcFwdBwd
30  {
31  public:
32 
38  CtcFunction(const Function& f);
39 
47  CtcFunction(const Function& f, const ibex::Domain& y);
48 
56  CtcFunction(const Function& f, const Interval& y);
57 
65  CtcFunction(const Function& f, const IntervalVector& y);
66 
72  void contract(IntervalVector& x);
73 
79  void contract(TubeVector& x);
80 
86  void contract(Tube& x1);
87 
94  void contract(Tube& x1, Tube& x2);
95 
103  void contract(Tube& x1, Tube& x2, Tube& x3);
104 
113  void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4);
114 
124  void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5);
125 
136  void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6);
137 
149  void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6, Tube& x7);
150 
163  void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6, Tube& x7, Tube& x8);
164 
178  void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6, Tube& x7, Tube& x8, Tube& x9);
179 
194  void contract(Tube& x1, Tube& x2, Tube& x3, Tube& x4, Tube& x5, Tube& x6, Tube& x7, Tube& x8, Tube& x9, Tube& x10);
195 
203  void contract(Slice **v_x_slices);
204  };
205 }
206 
207 
208 #endif
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
Slice of a one dimensional tube and made of an envelope and two gates.
Definition: codac_Slice.h:33
n-dimensional tube , defined as an interval of n-dimensional trajectories
Definition: codac_TubeVector.h:38
CtcFunction(const Function &f)
Creates a contractor for the constraint .
One dimensional tube , defined as an interval of scalar trajectories.
Definition: codac_Tube.h:47
void contract(IntervalVector &x)
Generic static that contracts a box or a tube according to the constraint or . It stands on the CtcFwdBwd of IBEX (HC4Revise).
Definition: codac_CtcFunction.h:29