Gringo::Output::CSPLiteral Struct Reference

#include <literals.hh>

Inheritance diagram for Gringo::Output::CSPLiteral:

Collaboration diagram for Gringo::Output::CSPLiteral:

Public Member Functions
	CSPLiteral ()
void	reset (CSPGroundLit &&ground)
virtual void	printPlain (std::ostream &out) const
virtual bool	isIncomplete () const
virtual CSPLiteral *	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 bool	isBound (Value &value, bool negate) const
virtual void	updateBound (CSPBound &bounds, bool negate) const
virtual bool	invertible () const
virtual void	invert ()
virtual	~CSPLiteral ()
Public Member Functions inherited from Gringo::Output::Literal
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 ()

Static Public Member Functions
static void	printElem (std::ostream &out, ConjunctionState::Elem const &x)

Public Attributes
CSPGroundLit	ground

Constructor & Destructor Documentation

Gringo::Output::CSPLiteral::CSPLiteral ( )

default

Gringo::Output::CSPLiteral::~CSPLiteral ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Clonable< Literal >.

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

virtual

Implements Gringo::Hashable.

Here is the call graph for this function:

void Gringo::Output::CSPLiteral::invert ( )

virtual

Reimplemented from Gringo::Output::Literal.

Here is the call graph for this function:

bool Gringo::Output::CSPLiteral::invertible ( ) const

virtual

Reimplemented from Gringo::Output::Literal.

bool Gringo::Output::CSPLiteral::isBound ( Value &  value, bool  negate  ) const

virtual

Reimplemented from Gringo::Output::Literal.

Here is the call graph for this function:

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

virtual

Implements Gringo::Output::Literal.

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

virtual

Implements Gringo::Output::Literal.

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

virtual

Implements Gringo::Output::Literal.

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

virtual

Here is the call graph for this function:

static void Gringo::Output::CSPLiteral::printElem ( std::ostream &  out, ConjunctionState::Elem const &  x  )

static

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

virtual

Implements Gringo::Output::Literal.

Here is the call graph for this function:

void Gringo::Output::CSPLiteral::reset

(

CSPGroundLit &&

ground

)

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

virtual

Implements Gringo::Output::Literal.

Here is the call graph for this function:

void Gringo::Output::CSPLiteral::updateBound ( CSPBound &  bounds, bool  negate  ) const

virtual

Reimplemented from Gringo::Output::Literal.

Here is the call graph for this function:

Member Data Documentation

CSPGroundLit Gringo::Output::CSPLiteral::ground

---

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