C++ (Cpp) Variable::getIndexの例

コード例 #1

ファイル: Vsids.hpp プロジェクト: satuzk/satUZK

	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;
	}

コード例 #2

ファイル: Vsids.hpp プロジェクト: satuzk/satUZK

	Activity getActivity(Variable variable) {
		return p_varInfos[variable.getIndex()].activity;
	}

コード例 #3

ファイル: Vsids.hpp プロジェクト: satuzk/satUZK

	bool isInserted(Variable variable) {
		return p_varInfos[variable.getIndex()].index != HeapHooksStruct::kIllegalIndex;
	}