Gringo::Output::DisjointLiteral Struct Reference

#include <literals.hh>

Inheritance diagram for Gringo::Output::DisjointLiteral:

Collaboration diagram for Gringo::Output::DisjointLiteral:

Public Member Functions
	DisjointLiteral (NAF naf)
virtual void	printPlain (std::ostream &out) const
virtual bool	isIncomplete () const
virtual DisjointLiteral *	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	~DisjointLiteral ()
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
NAF const	naf
bool	incomplete = false
DisjointState::element_type *	repr = nullptr

Constructor & Destructor Documentation

Gringo::Output::DisjointLiteral::DisjointLiteral

(

NAF

naf

)

Gringo::Output::DisjointLiteral::~DisjointLiteral ( )

virtual

Member Function Documentation

DisjointLiteral * Gringo::Output::DisjointLiteral::clone ( ) const

virtual

Implements Gringo::Clonable< Literal >.

Here is the call graph for this function:

size_t Gringo::Output::DisjointLiteral::hash ( ) const

virtual

Implements Gringo::Hashable.

bool Gringo::Output::DisjointLiteral::isIncomplete ( ) const

virtual

Implements Gringo::Output::Literal.

int Gringo::Output::DisjointLiteral::lparseUid ( LparseOutputter &  out ) const

virtual

Implements Gringo::Output::Literal.

void Gringo::Output::DisjointLiteral::makeEqual ( ULit &&  lit, LparseTranslator &  x  ) const

virtual

Implements Gringo::Output::Literal.

bool Gringo::Output::DisjointLiteral::operator== ( Literal const &  ) const

virtual

void Gringo::Output::DisjointLiteral::printPlain ( std::ostream &  out ) const

virtual

Implements Gringo::Output::Literal.

Here is the call graph for this function:

ULit Gringo::Output::DisjointLiteral::toLparse ( LparseTranslator &  x )

virtual

Implements Gringo::Output::Literal.

Here is the call graph for this function:

Member Data Documentation

bool Gringo::Output::DisjointLiteral::incomplete = false

NAF const Gringo::Output::DisjointLiteral::naf

DisjointState::element_type* Gringo::Output::DisjointLiteral::repr = nullptr

---

The documentation for this struct was generated from the following files:

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/output/literals.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/output/literals.cc