Home
last modified time | relevance | path

Searched refs:RelationLiteral (Results 1 – 10 of 10) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libgringo/src/input/
H A Dliterals.cc34 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 Daggregates.cc260 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 Dstatement.cc241 …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 Dtheory.cc140 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 Dprogrambuilder.cc194 …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 Dliterals.cc282 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 Dliterals.hh75 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 Dliterals.hh90 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 Dlit_helper.hh80 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 Dliteral.cc69 RelationLiteral lit(rel, get_clone(l), get_clone(r)); in evalRelation()