clingo
|
#include <literals.hh>
Public Member Functions | |
AssignmentAggregate (Location const *&loc) | |
virtual void | printPlain (std::ostream &out) const |
virtual bool | isIncomplete () const |
virtual AssignmentAggregate * | 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 | ~AssignmentAggregate () |
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 |
AggregateFunction | fun = AggregateFunction::COUNT |
bool | incomplete = false |
AssignmentAggregateState::element_type * | repr = nullptr |
Gringo::Output::AssignmentAggregate::AssignmentAggregate | ( | 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 |
AggregateFunction Gringo::Output::AssignmentAggregate::fun = AggregateFunction::COUNT |
bool Gringo::Output::AssignmentAggregate::incomplete = false |
Location const*& Gringo::Output::AssignmentAggregate::loc |
AssignmentAggregateState::element_type* Gringo::Output::AssignmentAggregate::repr = nullptr |