34 class CtcPolar :
public Ctc<CtcPolar,IntervalVector>
void contract(IntervalVector &x) const
Applies .
CtcPolar()
Creates the contractor.
Definition codac2_CtcPolar.h:41
void contract(Interval &x, Interval &y, Interval &rho, Interval &theta) const
Applies .
Interval class, for representing closed and connected subsets of .
Definition codac2_Interval.h:49
Eigen::Matrix< Interval,-1, 1 > IntervalVector
Alias for a dynamic-size column vector of intervals.
Definition codac2_IntervalVector.h:25