| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
| H A D | asp_preprocessor.h | 103 bool mergeEqBodies(PrgBody* b, Var rootId, bool equalLits);
|
| H A D | logic_program.h | 559 bool equalLits(const PrgBody& b, const WeightLitSpan& lits) const;
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
| H A D | asp_preprocessor.h | 103 bool mergeEqBodies(PrgBody* b, Var rootId, bool equalLits);
|
| H A D | logic_program.h | 559 bool equalLits(const PrgBody& b, const WeightLitSpan& lits) const;
|
| /dports/math/clasp/clasp-3.3.5/clasp/ |
| H A D | asp_preprocessor.h | 103 bool mergeEqBodies(PrgBody* b, Var rootId, bool equalLits);
|
| H A D | logic_program.h | 549 bool equalLits(const PrgBody& b, const WeightLitSpan& lits) const;
|
| /dports/math/clasp/clasp-3.3.5/src/ |
| H A D | asp_preprocessor.cpp | 381 bool Preprocessor::mergeEqBodies(PrgBody* body, Var rootId, bool equalLits) { in mergeEqBodies() argument
382 PrgBody* root = prg_->mergeEqBodies(body, rootId, equalLits, false); in mergeEqBodies()
|
| H A D | logic_program.cpp | 1867 bool LogicProgram::equalLits(const PrgBody& b, const WeightLitSpan& lits) const { in equalLits() function in Clasp::Asp::LogicProgram
1894 if (equalLits(b, Potassco::toSpan(sum, size))) { return b.id(); } in findBody()
1923 if (equalLits(rhs, rule_.sum().lits)) { eqId = rhs.id(); } in findEqBody()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
| H A D | asp_preprocessor.cpp | 381 bool Preprocessor::mergeEqBodies(PrgBody* body, Var rootId, bool equalLits) { in mergeEqBodies() argument
382 PrgBody* root = prg_->mergeEqBodies(body, rootId, equalLits, false); in mergeEqBodies()
|
| H A D | logic_program.cpp | 1909 bool LogicProgram::equalLits(const PrgBody& b, const WeightLitSpan& lits) const { in equalLits() function in Clasp::Asp::LogicProgram
1936 if (equalLits(b, Potassco::toSpan(sum, size))) { return b.id(); } in findBody()
1965 if (equalLits(rhs, rule_.sum().lits)) { eqId = rhs.id(); } in findEqBody()
|
| /dports/math/clingo/clingo-5.5.1/clasp/src/ |
| H A D | asp_preprocessor.cpp | 381 bool Preprocessor::mergeEqBodies(PrgBody* body, Var rootId, bool equalLits) { in mergeEqBodies() argument
382 PrgBody* root = prg_->mergeEqBodies(body, rootId, equalLits, false); in mergeEqBodies()
|
| H A D | logic_program.cpp | 1909 bool LogicProgram::equalLits(const PrgBody& b, const WeightLitSpan& lits) const { in equalLits() function in Clasp::Asp::LogicProgram
1936 if (equalLits(b, Potassco::toSpan(sum, size))) { return b.id(); } in findBody()
1965 if (equalLits(rhs, rule_.sum().lits)) { eqId = rhs.id(); } in findEqBody()
|