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);
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