C++ (Cpp) IntervalVector::is_strict_interior_subset Examples

Example #1

File: ibex_Optimizer.cpp Project: ClementAubry/ibex-lib

// called with the box without the objective
void Optimizer::firstorder_contract(IntervalVector& box, const IntervalVector& init_box) {
	if (m==0) {
		// for unconstrained optimization  contraction with gradient=0
		if (box.is_strict_interior_subset(init_box)) {
			if (n==1)
				df.backward(Interval::ZERO,box);
			else
				df.backward(IntervalVector(n,Interval::ZERO),box);
		}
	}

//	else {
//
//		PdcFirstOrder p(user_sys,init_box);
//
//		p.set_entailed(entailed);
//		if (p.test(box)==NO) {
//			box.set_empty();
//		}
//	}
}