Exemplos de SharedContext::setProject em C++ (Cpp)

Exemplo n.º 1

Arquivo: model_enumerators.cpp Projeto: 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)); }
	}
}

Exemplo n.º 2

Arquivo: model_enumerators.cpp Projeto: lc2casp/lc2casp

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