clingo
|
#include <literals.hh>
Public Types | |
using | BoundsVec = std::vector< std::pair< Relation, Value >> |
Public Member Functions | |
BodyAggregate (Location const *&loc) | |
virtual void | printPlain (std::ostream &out) const |
virtual bool | isIncomplete () const |
virtual BodyAggregate * | clone () const |
virtual size_t | hash () const |
virtual bool | operator== (Literal const &) const |
virtual ULit | toLparse (LparseTranslator &x) |
virtual void | makeEqual (ULit &&lit, LparseTranslator &x) const |
virtual int | lparseUid (LparseOutputter &out) const |
virtual | ~BodyAggregate () |
Public Member Functions inherited from Gringo::Output::Literal | |
virtual bool | isBound (Value &value, bool negate) const |
virtual void | updateBound (CSPBound &bounds, bool negate) const |
virtual bool | invertible () const |
virtual void | invert () |
virtual | ~Literal () |
Public Member Functions inherited from Gringo::Clonable< Literal > | |
virtual | ~Clonable () |
Public Member Functions inherited from Gringo::Hashable | |
virtual | ~Hashable () |
Public Member Functions inherited from Gringo::Comparable< Literal > | |
virtual bool | operator== (Literalconst &other) const =0 |
virtual bool | operator!= (Literalconst &other) const |
virtual | ~Comparable () |
Public Attributes | |
Location const *& | loc |
BoundsVec | bounds |
NAF | naf = NAF::POS |
AggregateFunction | fun = AggregateFunction::COUNT |
bool | incomplete = false |
BodyAggregateState::element_type * | repr = nullptr |
using Gringo::Output::BodyAggregate::BoundsVec = std::vector<std::pair<Relation, Value>> |
Gringo::Output::BodyAggregate::BodyAggregate | ( | Location const *& | loc | ) |
|
virtual |
|
virtual |
|
virtual |
Implements Gringo::Hashable.
|
virtual |
Implements Gringo::Output::Literal.
|
virtual |
Implements Gringo::Output::Literal.
|
virtual |
Implements Gringo::Output::Literal.
|
virtual |
|
virtual |
|
virtual |
BoundsVec Gringo::Output::BodyAggregate::bounds |
AggregateFunction Gringo::Output::BodyAggregate::fun = AggregateFunction::COUNT |
bool Gringo::Output::BodyAggregate::incomplete = false |
Location const*& Gringo::Output::BodyAggregate::loc |
BodyAggregateState::element_type* Gringo::Output::BodyAggregate::repr = nullptr |