Searched refs:RelationLiteral (Results 1 – 10 of 10) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libgringo/src/input/ |
H A D | literals.cc | 34 unsigned RelationLiteral::projectScore() const { in projectScore() 58 RelationLiteral *RelationLiteral::clone() const { in clone() 118 auto t = dynamic_cast<RelationLiteral const *>(&x); in operator ==() 161 inline size_t RelationLiteral::hash() const { in hash() 179 ULitVec RelationLiteral::unpool(bool) const { in unpool() 216 void RelationLiteral::toTuple(UTermVec &tuple, int &id) { in toTuple() 262 inline void RelationLiteral::replace(Defines &x) { in replace() 301 ULit RelationLiteral::shift(bool negate) { in shift() 317 UTerm RelationLiteral::headRepr() const { in headRepr() 461 RelationLiteral::RelationLiteral(Relation rel, UTerm &&left, UTerm &&right) in RelationLiteral() function in Gringo::Input::RelationLiteral [all …]
|
H A D | aggregates.cc | 260 for (auto &y : assign) { std::get<1>(elem).emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics() 488 for (auto &y : assign) { std::get<1>(elem).emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics() 658 for (auto &z : *arith.back()) { y.emplace_back(RelationLiteral::make(z)); } in rewriteArithmetics() 659 for (auto &z : assign) { y.emplace_back(RelationLiteral::make(z)); } in rewriteArithmetics() 665 for (auto &y : *arith.back()) { elem.second.emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics() 666 for (auto &y : assign) { elem.second.emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics() 1005 for (auto &y : assign) { std::get<2>(elem).emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics() 1397 for (auto &y : assign) { head.second.emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics() 1404 for (auto &y : assign) { elem.second.emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics() 1723 for (auto &y : *arith.back()) { elem.cond.emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics() [all …]
|
H A D | statement.cc | 241 …ith.back()) { body.emplace_back(gringo_make_unique<SimpleBodyLiteral>(RelationLiteral::make(y))); } in rewrite() 242 …y : assign) { body.emplace_back(gringo_make_unique<SimpleBodyLiteral>(RelationLiteral::make(y))); } in rewrite()
|
H A D | theory.cc | 140 for (auto &y : *arith.back()) { cond_.emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics() 141 for (auto &y : assign) { cond_.emplace_back(RelationLiteral::make(y)); } in rewriteArithmetics()
|
H A D | programbuilder.cc | 194 …return lits_.insert(make_locatable<RelationLiteral>(loc, rel, terms_.erase(termUidLeft), terms_.er… in rellit()
|
/dports/math/clingo/clingo-5.5.1/libgringo/src/ground/ |
H A D | literals.cc | 282 RelationLiteral::RelationLiteral(Relation rel, UTerm &&left, UTerm &&right) in RelationLiteral() function in Gringo::Ground::RelationLiteral 304 void RelationLiteral::print(std::ostream &out) const { out << *std::get<1>(shared) << std::get<0>(… in print() 321 bool RelationLiteral::isRecursive() const { return false; } in isRecursive() 329 BodyOcc *RelationLiteral::occurrence() { return nullptr; } in occurrence() 344 void RelationLiteral::collect(VarTermBoundVec &vars) const { in collect() 374 UIdx RelationLiteral::index(Context &, BinderType, Term::VarSet &bound) { in index() 406 Literal::Score RelationLiteral::score(Term::VarSet const &, Logger &) { in score() 418 std::pair<Output::LiteralId,bool> RelationLiteral::toOutput(Logger &) { return {Output::LiteralId(… in toOutput() 442 RelationLiteral::~RelationLiteral() { } in ~RelationLiteral()
|
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/input/ |
H A D | literals.hh | 75 struct RelationLiteral : Literal { struct 76 RelationLiteral(Relation rel, UTerm &&left, UTerm &&right); 80 RelationLiteral *clone() const override; 94 virtual ~RelationLiteral();
|
/dports/math/clingo/clingo-5.5.1/libgringo/gringo/ground/ |
H A D | literals.hh | 90 struct RelationLiteral : Literal { struct 91 RelationLiteral(Relation rel, UTerm &&left, UTerm &&right); 100 virtual ~RelationLiteral();
|
/dports/math/clingo/clingo-5.5.1/libgringo/tests/input/ |
H A D | lit_helper.hh | 80 return make_locatable<RelationLiteral>(loc, rel, std::move(left), std::move(right)); in rel()
|
/dports/math/clingo/clingo-5.5.1/libgringo/tests/ground/ |
H A D | literal.cc | 69 RelationLiteral lit(rel, get_clone(l), get_clone(r)); in evalRelation()
|