C++ (Cpp) BoxEvent Examples

Example #1

File: ibex_CtcQInter.cpp Project: ibex-team/ibex-lib

void CtcQInter::contract(IntervalVector& box, ContractContext& context) {
	Array<IntervalVector> refs(list.size());

	for (int i=0; i<list.size(); i++) {
		boxes[i]=box;

		ContractContext c_context(boxes[i], context);

		list[i].contract(boxes[i], c_context);

		refs.set_ref(i,boxes[i]);
	}

	box = qinter(refs,q);

	context.prop.update(BoxEvent(box,BoxEvent::CONTRACT));

}

Example #2

File: SelfTestMenu.cpp Project: haosir7/SKJ_FWSK_1.0000

void CSelfTestMenu::OnButton9(int iEvent, unsigned char * pEventData, int iDataLen)
{
	BoxEvent(1);
	this->ReFresh();	
}