Ejemplos de SharedContext::setProject en C++ (Cpp)

Ejemplo n.º 1

Archivo: model_enumerators.cpp Proyecto: 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)); }
	}
}

Ejemplo n.º 2

Archivo: model_enumerators.cpp Proyecto: lc2casp/lc2casp

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