12 #ifndef __CODAC_CTCDIST_H__ 13 #define __CODAC_CTCDIST_H__ 48 void contract(IntervalVector& a, IntervalVector& b, Interval& d);
59 void contract(Interval& ax, Interval& ay, Interval& bx, Interval& by, Interval& d);
FixPoint of a separator The fixpoint of a separator is computed by calling the "::"separate function ...
Definition: codac_capd_helpers.h:9
Distance constraint between two 2d vectors.
Definition: codac_CtcDist.h:25
CtcDist()
Creates the contractor.
void contract(IntervalVector &x)