/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | clause.h | 376 bool isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN); 529 bool isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN);
|
H A D | solver_types.h | 415 virtual bool isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN) = 0;
|
/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | clause.h | 376 bool isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN); 529 bool isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN);
|
H A D | solver_types.h | 415 virtual bool isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN) = 0;
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | clause.h | 376 bool isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN); 529 bool isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN);
|
H A D | solver_types.h | 415 virtual bool isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN) = 0;
|
/dports/math/clasp/clasp-3.3.5/src/ |
H A D | clause.cpp | 550 bool Clause::isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN) { in isReverseReason() function in Clasp::Clause 795 bool SharedLitsClause::isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN) { in isReverseReason() function in Clasp::mt::SharedLitsClause
|
H A D | solver.cpp | 1461 if (it->head->isReverseReason(*this, ~p, maxLevel, maxNew)) { in ccHasReverseArc()
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
H A D | clause.cpp | 554 bool Clause::isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN) { in isReverseReason() function in Clasp::Clause 799 bool SharedLitsClause::isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN) { in isReverseReason() function in Clasp::mt::SharedLitsClause
|
H A D | solver.cpp | 1469 if (it->head->isReverseReason(*this, ~p, maxLevel, maxNew)) { in ccHasReverseArc()
|
/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | clause.cpp | 554 bool Clause::isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN) { in isReverseReason() function in Clasp::Clause 799 bool SharedLitsClause::isReverseReason(const Solver& s, Literal p, uint32 maxL, uint32 maxN) { in isReverseReason() function in Clasp::mt::SharedLitsClause
|
H A D | solver.cpp | 1469 if (it->head->isReverseReason(*this, ~p, maxLevel, maxNew)) { in ccHasReverseArc()
|