codac  1.5.7
codac_CtcDist.h
Go to the documentation of this file.
1 
12 #ifndef __CODAC_CTCDIST_H__
13 #define __CODAC_CTCDIST_H__
14 
15 #include "codac_Ctc.h"
16 #include "codac_Interval.h"
17 #include "codac_IntervalVector.h"
18 
19 namespace codac
20 {
25  class CtcDist : public Ctc
26  {
27  public:
28 
33 
39  void contract(IntervalVector& x);
40 
48  void contract(IntervalVector& a, IntervalVector& b, Interval& d);
49 
59  void contract(Interval& ax, Interval& ay, Interval& bx, Interval& by, Interval& d);
60  };
61 }
62 
63 #endif
Distance constraint between two 2d vectors.
Definition: codac_CtcDist.h:26
void contract(Interval &ax, Interval &ay, Interval &bx, Interval &by, Interval &d)
void contract(IntervalVector &x)
void contract(IntervalVector &a, IntervalVector &b, Interval &d)
CtcDist()
Creates the contractor.
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9