Esempio n. 1
0
	Activity incActivity(Variable variable, Activity value) {
		HeapHooksStruct heap_hooks(*this);
		
		Activity activity = p_varInfos[variable.getIndex()].activity + value;
		p_varInfos[variable.getIndex()].activity = activity;
		
		if(p_varInfos[variable.getIndex()].index != HeapHooksStruct::kIllegalIndex)
			util::binary_heap::becameLess(heap_hooks, variable);
		
		return activity;
	}
Esempio n. 2
0
	Activity getActivity(Variable variable) {
		return p_varInfos[variable.getIndex()].activity;
	}
Esempio n. 3
0
	bool isInserted(Variable variable) {
		return p_varInfos[variable.getIndex()].index != HeapHooksStruct::kIllegalIndex;
	}