clingo
|
#include <literals.hh>
Public Member Functions | |
virtual void | printPlain (std::ostream &out) const |
virtual bool | isIncomplete () const |
virtual Conjunction * | 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 | ~Conjunction () |
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 | |
bool | incomplete = false |
ConjunctionState::element_type * | repr = nullptr |
|
virtual |
|
virtual |
Implements Gringo::Clonable< Literal >.
|
virtual |
Implements Gringo::Hashable.
|
virtual |
Implements Gringo::Output::Literal.
|
virtual |
Implements Gringo::Output::Literal.
|
virtual |
Implements Gringo::Output::Literal.
|
virtual |
|
virtual |
|
virtual |
bool Gringo::Output::Conjunction::incomplete = false |
ConjunctionState::element_type* Gringo::Output::Conjunction::repr = nullptr |