| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | asp_preprocessor.cpp | 299 Literal aLit = a->literal(); in propagateAtomVar() local
301 if (getRootAtom(aLit) == varMax) { in propagateAtomVar()
302 setRootAtom(aLit, aId); 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()
321 assert(aLit == ~negA->literal()); in propagateAtomVar()
|
| H A D | unfounded_check.cpp | 692 Literal aLit; in addDeltaReason() local
697 …else if (solver_->isTrue(aLit = graph_->getAtom(*x).lit) && solver_->level(aLit.var()) < reasonAbs… in addDeltaReason()
698 reasonLit = ~aLit; in addDeltaReason()
|
| H A D | logic_program_types.cpp | 880 Literal aLit = it->sign() ? ~prg.getAtom(a)->literal() : prg.getAtom(a)->literal(); in simplifyBody() local
896 else if (!mark || !ctx.marked(aLit)) { in simplifyBody()
897 if (mark) { ctx.mark(aLit); } in simplifyBody()
915 uint32 pos = findLit(prg, aLit); in simplifyBody()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | asp_preprocessor.cpp | 299 Literal aLit = a->literal(); in propagateAtomVar() local
301 if (getRootAtom(aLit) == varMax) { in propagateAtomVar()
302 setRootAtom(aLit, aId); 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()
321 assert(aLit == ~negA->literal()); in propagateAtomVar()
|
| H A D | unfounded_check.cpp | 694 Literal aLit; in addDeltaReason() local
699 …else if (solver_->isTrue(aLit = graph_->getAtom(*x).lit) && solver_->level(aLit.var()) < reasonAbs… in addDeltaReason()
700 reasonLit = ~aLit; in addDeltaReason()
|
| H A D | logic_program_types.cpp | 880 Literal aLit = it->sign() ? ~prg.getAtom(a)->literal() : prg.getAtom(a)->literal(); in simplifyBody() local
896 else if (!mark || !ctx.marked(aLit)) { in simplifyBody()
897 if (mark) { ctx.mark(aLit); } in simplifyBody()
915 uint32 pos = findLit(prg, aLit); in simplifyBody()
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | asp_preprocessor.cpp | 299 Literal aLit = a->literal(); in propagateAtomVar() local
301 if (getRootAtom(aLit) == varMax) { in propagateAtomVar()
302 setRootAtom(aLit, aId); 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()
321 assert(aLit == ~negA->literal()); in propagateAtomVar()
|
| H A D | unfounded_check.cpp | 694 Literal aLit; in addDeltaReason() local
699 …else if (solver_->isTrue(aLit = graph_->getAtom(*x).lit) && solver_->level(aLit.var()) < reasonAbs… in addDeltaReason()
700 reasonLit = ~aLit; in addDeltaReason()
|
| H A D | logic_program_types.cpp | 880 Literal aLit = it->sign() ? ~prg.getAtom(a)->literal() : prg.getAtom(a)->literal(); in simplifyBody() local
896 else if (!mark || !ctx.marked(aLit)) { in simplifyBody()
897 if (mark) { ctx.mark(aLit); } in simplifyBody()
915 uint32 pos = findLit(prg, aLit); in simplifyBody()
|
| /dports/math/vampire/vampire-4.5.1/Shell/ |
| H A D | AnswerExtractor.cpp | 68 TermList aLit = ait.next(); in tryOutputAnswer() local
70 if(aLit.isTerm()){ in tryOutputAnswer()
73 unsigned sort = SortHelper::getResultSort(aLit.term()); in tryOutputAnswer()
76 Literal* l = Literal::create1(p,true,aLit); in tryOutputAnswer()
82 aLit.setTerm(res->nthArgument(0)->term()); in tryOutputAnswer()
86 env.out() << aLit.toString(); in tryOutputAnswer()
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/ |
| H A D | Treeless.hs | 221 | TALit { aLit :: Literal, aBody:: TTerm } function
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Compiler/MAlonzo/ |
| H A D | Compiler.hs | 797 T.TALit { T.aLit = LitQName q } -> mkAlt (litqnamepat q)
798 T.TALit { T.aLit = l@LitFloat{}, T.aBody = b } -> do
802 T.TALit { T.aLit = LitString s , T.aBody = b } -> mkGuarded "(==)" (litString s) b
803 T.TALit {} -> mkAlt (HS.PLit $ hslit $ T.aLit a)
|
| /dports/lang/pharo/Pharo-1.4-14438/ |
| H A D | Pharo-1.4.changes | 30607 do: [ :aLit |
30608 (self hasLiteral: aLit)
|
| H A D | PharoV10.sources | 64184 do: [:aLit | (self hasLiteral: aLit)
|