void CtcBisectActiveParameters::contract(IntervalVector& box) { ibex_warning("CtcBisectActiveParameters: called with no context"); }
void ExprGenerator::visit(const ExprInfinity& x) { ibex_warning("infinity value \"oo\" inside an expression means the empty interval"); clone.insert(x, & ExprConstant::new_scalar(Interval::EMPTY_SET)); }
void CtcFirstOrderTest::contract(IntervalVector& box) { ibex_warning("CtcFirstOrderTest: called with no context"); }