#include <literals.hh>

Inheritance diagram for Gringo::Input::FalseLiteral:

Collaboration diagram for Gringo::Input::FalseLiteral:

Public Member Functions
	FalseLiteral ()

virtual void	collect (VarTermBoundVec &vars, bool bound) const

virtual void	toTuple (UTermVec &tuple, int &id)

virtual FalseLiteral *	clone () const

virtual void	print (std::ostream &out) const

virtual bool	operator== (Literal const &other) const

virtual size_t	hash () const

virtual void	simplify (Projections &project, Term::DotsMap &dots, Term::ScriptMap &scripts, unsigned &auxNum, bool positional=true)
	Simplifies the literal. More...

virtual void	rewriteArithmetics (Term::ArithmeticsMap &arith, AssignVec &assign, unsigned &auxNum)

virtual ULitVec	unpool (bool beforeRewrite) const

virtual bool	hasPool (bool beforeRewrite) const

virtual void	replace (Defines &dx)

virtual Ground::ULit	toGround (PredDomMap &x) const

virtual ULit	shift (bool negate)

virtual UTerm	headRepr () const

virtual	~FalseLiteral ()

Public Member Functions inherited from Gringo::Input::Literal
virtual Value	isEDB () const

virtual	~Literal ()

Public Member Functions inherited from Gringo::Printable
virtual	~Printable ()

Public Member Functions inherited from Gringo::Hashable
virtual	~Hashable ()

Public Member Functions inherited from Gringo::Locatable
virtual Location const &	loc () const =0

virtual void	loc (Location const &loc)=0

virtual	~Locatable ()

Public Member Functions inherited from Gringo::Comparable< Literal >
virtual bool	operator== (Literalconst &other) const =0

virtual bool	operator!= (Literalconst &other) const

virtual	~Comparable ()

Public Member Functions inherited from Gringo::Clonable< Literal >
virtual	~Clonable ()

Additional Inherited Members
Public Types inherited from Gringo::Input::Literal
using	AssignVec = std::vector< std::pair< UTerm, UTerm >>

Constructor & Destructor Documentation

Gringo::Input::FalseLiteral::FalseLiteral ( )

Gringo::Input::FalseLiteral::~FalseLiteral ( )

virtual

Member Function Documentation

FalseLiteral * Gringo::Input::FalseLiteral::clone ( ) const

virtual

Implements Gringo::Clonable< Literal >.

Here is the call graph for this function:

void Gringo::Input::FalseLiteral::collect	(	VarTermBoundVec &	vars,
		bool	bound
	)		const

virtual

Collects variables.

Precondition: Must be called after simplify to properly account for bound variables.

Implements Gringo::Input::Literal.

size_t Gringo::Input::FalseLiteral::hash ( ) const

inlinevirtual

Implements Gringo::Hashable.

Here is the call graph for this function:

bool Gringo::Input::FalseLiteral::hasPool ( bool beforeRewrite ) const

inlinevirtual

Implements Gringo::Input::Literal.

UTerm Gringo::Input::FalseLiteral::headRepr ( ) const

virtual

Implements Gringo::Input::Literal.

bool Gringo::Input::FalseLiteral::operator== ( Literal const & other ) const

inlinevirtual

void Gringo::Input::FalseLiteral::print ( std::ostream & out ) const

inlinevirtual

Implements Gringo::Printable.

void Gringo::Input::FalseLiteral::replace ( Defines & dx )

inlinevirtual

Implements Gringo::Input::Literal.

void Gringo::Input::FalseLiteral::rewriteArithmetics	(	Term::ArithmeticsMap &	arith,
		AssignVec &	assign,
		unsigned &	auxNum
	)

virtual

Removes non-invertible arithmetics.

Note: This method will not be called for head literals.

Implements Gringo::Input::Literal.

ULit Gringo::Input::FalseLiteral::shift ( bool negate )

virtual

Implements Gringo::Input::Literal.

void Gringo::Input::FalseLiteral::simplify	(	Projections &	project,
		Term::DotsMap &	dots,
		Term::ScriptMap &	scripts,
		unsigned &	auxNum,
		bool	positional = `true`
	)

virtual

Simplifies the literal.

Implements Gringo::Input::Literal.

Ground::ULit Gringo::Input::FalseLiteral::toGround ( PredDomMap & x ) const

inlinevirtual

Implements Gringo::Input::Literal.

void Gringo::Input::FalseLiteral::toTuple	(	UTermVec &	tuple,
		int &	id
	)

virtual

Implements Gringo::Input::Literal.

Here is the call graph for this function:

ULitVec Gringo::Input::FalseLiteral::unpool ( bool beforeRewrite ) const

virtual

Removes all occurrences of PoolTerm instances. Returns all unpooled incarnations of the literal.

Note: The literal becomes unusable after the method returns.

Postcondition: The returned pool does not contain PoolTerm instances.

Implements Gringo::Input::Literal.

Here is the call graph for this function:

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

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

Public Member Functions

Additional Inherited Members

Constructor & Destructor Documentation

Member Function Documentation