Gringo::Output::AuxLiteral Struct Reference

#include <literals.hh>

Inheritance diagram for Gringo::Output::AuxLiteral:

Collaboration diagram for Gringo::Output::AuxLiteral:

Public Member Functions
	AuxLiteral (SAuxAtom atom, bool negative)
virtual AuxLiteral *	clone () const
virtual ULit	toLparse (LparseTranslator &x)
virtual void	printPlain (std::ostream &out) const
virtual bool	isIncomplete () const
virtual int	lparseUid (LparseOutputter &out) const
virtual void	makeEqual (ULit &&lit, LparseTranslator &x) const
virtual size_t	hash () const
virtual bool	operator== (Literal const &x) const
virtual	~AuxLiteral ()
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
SAuxAtom	atom
bool	negative

Constructor & Destructor Documentation

Gringo::Output::AuxLiteral::AuxLiteral	(	SAuxAtom	atom,
		bool	negative
	)

Gringo::Output::AuxLiteral::~AuxLiteral ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Clonable< Literal >.

Here is the call graph for this function:

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

virtual

Implements Gringo::Hashable.

Here is the call graph for this function:

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

virtual

Implements Gringo::Output::Literal.

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

virtual

Implements Gringo::Output::Literal.

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

virtual

Implements Gringo::Output::Literal.

Here is the call graph for this function:

bool Gringo::Output::AuxLiteral::operator== ( Literal const &  x ) const

virtual

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

virtual

Implements Gringo::Output::Literal.

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

virtual

Implements Gringo::Output::Literal.

Member Data Documentation

SAuxAtom Gringo::Output::AuxLiteral::atom

bool Gringo::Output::AuxLiteral::negative

---

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