22 PavingOut pave(
const IntervalVector& x, std::shared_ptr<
const CtcBase<IntervalVector>> c,
double eps,
bool verbose =
false);
23 PavingOut pave(
const IntervalVector& x,
const CtcBase<IntervalVector>& c,
double eps,
bool verbose =
false);
25 PavingInOut pave(
const IntervalVector& x, std::shared_ptr<const SepBase> s,
double eps,
bool verbose =
false);
26 PavingInOut pave(
const IntervalVector& x,
const SepBase& s,
double eps,
bool verbose =
false);
31 PavingInOut sivia(
const IntervalVector& x,
const AnalyticFunction<Y>& f,
const typename Y::Domain& y,
double eps,
bool verbose =
false)
33 return regular_pave(x,
36 auto eval = f.eval(x);
39 return BoolInterval::TRUE;
41 else if(!eval.intersects(y))
42 return BoolInterval::FALSE;
BoolInterval
Enumeration representing a boolean interval.
Definition codac2_BoolInterval.h:23
@ UNKNOWN
Definition codac2_BoolInterval.h:29
Eigen::Matrix< Interval,-1, 1 > IntervalVector
Alias for a dynamic-size column vector of intervals.
Definition codac2_IntervalVector.h:25