Home
last modified time | relevance | path

Searched refs:setEqGoal (Results 1 – 9 of 9) sorted by relevance

/dports/math/clasp/clasp-3.3.5/src/
H A Dasp_preprocessor.cpp310 a->setEqGoal(posLit(a->id())); in propagateAtomVar()
313 a->setEqGoal(negLit(getRootAtom(~aLit))); in propagateAtomVar()
H A Dlogic_program_types.cpp546 void PrgAtom::setEqGoal(Literal x) { in setEqGoal() function in Clasp::Asp::PrgAtom
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dasp_preprocessor.cpp310 a->setEqGoal(posLit(a->id())); in propagateAtomVar()
313 a->setEqGoal(negLit(getRootAtom(~aLit))); in propagateAtomVar()
H A Dlogic_program_types.cpp546 void PrgAtom::setEqGoal(Literal x) { in setEqGoal() function in Clasp::Asp::PrgAtom
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dasp_preprocessor.cpp310 a->setEqGoal(posLit(a->id())); in propagateAtomVar()
313 a->setEqGoal(negLit(getRootAtom(~aLit))); in propagateAtomVar()
H A Dlogic_program_types.cpp546 void PrgAtom::setEqGoal(Literal x) { in setEqGoal() function in Clasp::Asp::PrgAtom
/dports/math/clasp/clasp-3.3.5/clasp/
H A Dlogic_program_types.h369 void setEqGoal(Literal x);
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dlogic_program_types.h369 void setEqGoal(Literal x);
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dlogic_program_types.h369 void setEqGoal(Literal x);