23 class SepWrapper :
public Sep<SepWrapper<T>>
27 SepWrapper(
const T& y)
28 : Sep<SepWrapper<T>>(y.size()), _y(y)
43 SepWrapper(
const IntervalVector& y)
47 CtcUnion<IntervalVector> cu(y.size());
48 for(
const auto& complem_y : y.complementary())
49 cu |= CtcWrapper<IntervalVector>(complem_y);
52 CtcWrapper<IntervalVector>(y))
55 BoxPair separate(
const IntervalVector& x)
const;
60 class SepWrapper<PavingInOut>:
public Sep<SepWrapper<PavingInOut>>
64 SepWrapper(
const PavingInOut& P)
65 : Sep<SepWrapper<PavingInOut>>(P.size()), _P(P)
68 BoxPair separate(
const IntervalVector& x)
const;
Definition codac2_OctaSym.h:21
Eigen::Matrix< Interval,-1, 1 > IntervalVector
Alias for a dynamic-size column vector of intervals.
Definition codac2_IntervalVector.h:25