C++ (Cpp) SharedContext::setProject 예제들

예제 #1

파일: model_enumerators.cpp 프로젝트: utexas-bwi/clasp

void ModelEnumerator::addProjectVar(SharedContext& ctx, Var v, bool tag) {
	if (ctx.master()->value(v) == value_free && (!tag || !ctx.marked(posLit(v)))) {
		project_->push_back(v);
		ctx.setFrozen(v, true);
		ctx.setProject(v, true);
		if (tag) { ctx.mark(posLit(v)); ctx.mark(negLit(v)); }
	}
}

예제 #2

파일: model_enumerators.cpp 프로젝트: lc2casp/lc2casp

void ModelEnumerator::addProject(SharedContext& ctx, Var v) {
	ctx.setProject(v, true);
	ctx.setFrozen(v, true);
}