Searched refs:acquireProblemVar (Results 1 – 10 of 10) sorted by relevance
785 void acquireProblemVar(Var var);786 void acquireProblemVars() { acquireProblemVar(numProblemVars()); } in acquireProblemVars()
45 s.acquireProblemVar(std::max_element(lits.begin(), lits.end())->first.var()); in create()204 s.acquireProblemVar(W.var()); in doCreate()
135 s.acquireProblemVar(vMax); in prepare()
959 master()->acquireProblemVar(x.var()); in addUnary()
385 void Solver::acquireProblemVar(Var var) { in acquireProblemVar() function in Clasp::Solver