codac
codac_CtcSegment.h
1 //============================================================================
2 // P Y I B E X
3 // Author : Benoit Desrochers, Gilles Chabert
4 // Copyright : Benoit Desrochers
5 // License : See the LICENSE file
6 // Created : Mar 24, 2014
7 // Last Update : Jun 29, 2017
8 //============================================================================
9 
10 #ifndef __IBEX_CTC_SEGMENT_H__
11 #define __IBEX_CTC_SEGMENT_H__
12 
13 #include "ibex_IntervalVector.h"
14 #include "ibex_NumConstraint.h"
15 #include "ibex_CtcFwdBwd.h"
16 
17 
18 namespace codac {
19 
20 
21 using ibex::Interval;
22 using ibex::IntervalVector;
23 using ibex::Ctc;
24 using ibex::NumConstraint;
25 using ibex::CtcFwdBwd;
26 
32 class CtcSegment : public Ctc {
33 
34 public:
48  CtcSegment(double ax, double ay, double bx, double by);
49 
59  CtcSegment();
60 
61  CtcSegment(const CtcSegment& ctc);
62 
67  virtual void contract(IntervalVector& box);
68 
72  ~CtcSegment();
73 
74 protected:
77  IntervalVector X_with_params;
78 
81  NumConstraint *ncf, *ncg;
82 
84  CtcFwdBwd *ctc_f, *ctc_g;
85 
86 private:
91  void init();
92 };
93 
94 } // end namespace
95 
96 #endif // __IBEX_CTC_SEGMENT_H__
CtcSegment()
create the contractor for "x in a segment [a,b]".
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
CtcFwdBwd * ctc_f
Definition: codac_CtcSegment.h:84
IntervalVector X_with_params
Definition: codac_CtcSegment.h:77
NumConstraint * ncf
Definition: codac_CtcSegment.h:81
~CtcSegment()
Delete this.
virtual void contract(IntervalVector &box)
Contract a box.
Minimal contractor for a segment.
Definition: codac_CtcSegment.h:32