clingo: Gringo::Output::Literal Struct Reference

#include <literal.hh>

Inheritance diagram for Gringo::Output::Literal:

Inheritance graph

Collaboration diagram for Gringo::Output::Literal:

Collaboration graph

Public Member Functions
virtual ULit	toLparse (LparseTranslator &x)=0

virtual void	makeEqual (ULit &&lit, LparseTranslator &x) const =0

virtual void	printPlain (std::ostream &out) const =0

virtual bool	isIncomplete () const =0

virtual int	lparseUid (LparseOutputter &out) const =0

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 Literal *	clone () const =0

virtual	~Clonable ()

Public Member Functions inherited from Gringo::Hashable
virtual size_t	hash () const =0

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 ()

Constructor & Destructor Documentation

virtual Gringo::Output::Literal::~Literal ( )

inlinevirtual

Member Function Documentation

virtual void Gringo::Output::Literal::invert ( )

inlinevirtual

Reimplemented in Gringo::Output::CSPLiteral, and Gringo::Output::PredicateLiteral.

virtual bool Gringo::Output::Literal::invertible ( ) const

inlinevirtual

Reimplemented in Gringo::Output::CSPLiteral, and Gringo::Output::PredicateLiteral.

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

inlinevirtual

Reimplemented in Gringo::Output::CSPLiteral.

virtual bool Gringo::Output::Literal::isIncomplete ( ) const

pure virtual

Implemented in Gringo::Output::CSPLiteral, Gringo::Output::DisjointLiteral, Gringo::Output::Conjunction, Gringo::Output::AssignmentAggregate, Gringo::Output::BodyAggregate, Gringo::Output::PredicateLiteral, Gringo::Output::BooleanLiteral, and Gringo::Output::AuxLiteral.

virtual int Gringo::Output::Literal::lparseUid ( LparseOutputter & out ) const

pure virtual

Implemented in Gringo::Output::CSPLiteral, Gringo::Output::DisjointLiteral, Gringo::Output::Conjunction, Gringo::Output::AssignmentAggregate, Gringo::Output::BodyAggregate, Gringo::Output::PredicateLiteral, Gringo::Output::BooleanLiteral, and Gringo::Output::AuxLiteral.

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

pure virtual

Implemented in Gringo::Output::CSPLiteral, Gringo::Output::DisjointLiteral, Gringo::Output::Conjunction, Gringo::Output::AssignmentAggregate, Gringo::Output::BodyAggregate, Gringo::Output::PredicateLiteral, Gringo::Output::BooleanLiteral, and Gringo::Output::AuxLiteral.

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

pure virtual

Implemented in Gringo::Output::CSPLiteral, Gringo::Output::DisjointLiteral, Gringo::Output::Conjunction, Gringo::Output::AssignmentAggregate, Gringo::Output::BodyAggregate, Gringo::Output::PredicateLiteral, Gringo::Output::BooleanLiteral, and Gringo::Output::AuxLiteral.

virtual ULit Gringo::Output::Literal::toLparse ( LparseTranslator & x )

pure virtual

Implemented in Gringo::Output::CSPLiteral, Gringo::Output::DisjointLiteral, Gringo::Output::Conjunction, Gringo::Output::AssignmentAggregate, Gringo::Output::BodyAggregate, Gringo::Output::PredicateLiteral, Gringo::Output::BooleanLiteral, and Gringo::Output::AuxLiteral.

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

inlinevirtual

Reimplemented in Gringo::Output::CSPLiteral.

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/output/literal.hh