Searched refs:setEqGoal (Results 1 – 9 of 9) sorted by relevance
310 a->setEqGoal(posLit(a->id())); in propagateAtomVar()313 a->setEqGoal(negLit(getRootAtom(~aLit))); in propagateAtomVar()
546 void PrgAtom::setEqGoal(Literal x) { in setEqGoal() function in Clasp::Asp::PrgAtom
369 void setEqGoal(Literal x);