Searched refs:getRootAtom (Results 1 – 15 of 15) sorted by relevance
221 Var dualAtom = getRootAtom(body->literal()); in addBodyVar()301 if (getRootAtom(aLit) == varMax) { in propagateAtomVar()304 else if (prg_->mergeEqAtoms(a, getRootAtom(aLit))) { in propagateAtomVar()312 … if (getRootAtom(~aLit) != varMax && B->literal() == aLit && B->size() == 1 && B->goal(0).sign()) { in propagateAtomVar()313 a->setEqGoal(negLit(getRootAtom(~aLit))); in propagateAtomVar()319 if (getRootAtom(~aLit) != varMax) { in propagateAtomVar()320 PrgAtom* negA = prg_->getAtom(getRootAtom(~aLit)); in propagateAtomVar()395 && getRootAtom(body->literal()) == varMax in hasRootLiteral()396 && getRootAtom(~body->literal())== varMax; in hasRootLiteral()445 if (getRootAtom(b->literal()) == varMax) { ret = value_weak_true; } in simplifyBody()
430 if (simp && getRootAtom(hIt->node())->var() == b->var() && !r.normal()) { in accept()661 PrgAtom* a = getRootAtom(aId); in isExternal()804 out = getRootAtom(nId)->literal(); in getLiteral()826 Literal lit = getRootAtom(*it)->assumption(); in doGetAssumptions()907 if (a->eq()) { a = getRootAtom(a->id()); } in assignValue()1157 if (isSentinel(getRootAtom(a)->literal())) { in prepareProgram()1192 PrgAtom* at = self->getRootAtom(id); in operator ()()1424 ctx()->setFrozen(getRootAtom(*it)->var(), true); in freezeAssumptions()1584 return getRootAtom(atomId); in resize()1787 else if (p.getRootAtom(lit) != varMax) { in getEqAtomLit()[all …]
663 PrgAtom* a = getRootAtom(aId); in isExternal()809 out = getRootAtom(nId)->literal(); in getLiteral()831 Literal lit = getRootAtom(*it)->assumption(); in doGetAssumptions()848 PrgAtom* atom = getRootAtom(*it); in extractCore()943 if (a->eq()) { a = getRootAtom(a->id()); } in assignValue()1199 if (isSentinel(getRootAtom(a)->literal())) { in prepareProgram()1235 PrgAtom* at = self->getRootAtom(id); in operator ()()1466 ctx()->setFrozen(getRootAtom(*it)->var(), true); in freezeAssumptions()1626 return getRootAtom(atomId); in resize()1829 else if (p.getRootAtom(lit) != varMax) { in getEqAtomLit()[all …]
76 …Var getRootAtom(Literal p) const { return p.id() < litToNode_.size() ? litToNode_[p.id()] : varMa… in getRootAtom() function
471 PrgAtom* getRootAtom(Id_t a) const { return getAtom(getRootId(a)); } in getRootAtom() function
461 PrgAtom* getRootAtom(Id_t a) const { return getAtom(getRootId(a)); } in getRootAtom() function
2211 REQUIRE(lp.getRootAtom(a)->supports() == 0);2219 REQUIRE(lp.getRootAtom(b)->supports() == 0);
2245 REQUIRE(lp.getRootAtom(a)->supports() == 0);2253 REQUIRE(lp.getRootAtom(b)->supports() == 0);