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