Beispiel #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;
	}
Beispiel #2
0
	Activity getActivity(Variable variable) {
		return p_varInfos[variable.getIndex()].activity;
	}
Beispiel #3
0
	bool isInserted(Variable variable) {
		return p_varInfos[variable.getIndex()].index != HeapHooksStruct::kIllegalIndex;
	}