#include <literals.hh>

Inheritance diagram for Gringo::Output::Conjunction:

Collaboration diagram for Gringo::Output::Conjunction:

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

Constructor & Destructor Documentation

Gringo::Output::Conjunction::~Conjunction ( )

virtual

Member Function Documentation

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

virtual

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

virtual

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

virtual

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

virtual

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

virtual

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

virtual

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

virtual

Here is the call graph for this function:

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

virtual

Here is the call graph for this function:

bool Gringo::Output::Conjunction::incomplete = false

ConjunctionState::element_type* Gringo::Output::Conjunction::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