#include <literals.hh>

Inheritance diagram for Gringo::Ground::ProjectionLiteral:

Collaboration diagram for Gringo::Ground::ProjectionLiteral:

Public Member Functions
	ProjectionLiteral (PredicateDomain &dom, UTerm &&repr)

virtual UIdx	index (Scripts &scripts, BinderType type, Term::VarSet &bound)

virtual	~ProjectionLiteral ()

Public Member Functions inherited from Gringo::Ground::PredicateLiteral
	PredicateLiteral (PredicateDomain &dom, NAF naf, UTerm &&repr)

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

virtual UGTerm	getRepr () const

virtual bool	isPositive () const

virtual bool	isNegative () const

virtual void	setType (OccurrenceType x)

virtual OccurrenceType	getType () const

virtual bool	isRecursive () const

virtual BodyOcc *	occurrence ()

virtual void	collect (VarTermBoundVec &vars) const

virtual DefinedBy &	definedBy ()

virtual Output::Literal *	toOutput ()

virtual Score	score (Term::VarSet const &bound)

virtual void	checkDefined (LocSet &done, SigSet const &edb, UndefVec &undef) const

virtual	~PredicateLiteral ()

Public Member Functions inherited from Gringo::Ground::Literal
virtual void	collectImportant (Term::VarSet &vars)

virtual	~Literal ()

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

Public Member Functions inherited from Gringo::Ground::BodyOccurrence< HeadOcc >
virtual	~BodyOccurrence ()

Additional Inherited Members
Public Types inherited from Gringo::Ground::Literal
using	SValVec = Instantiator::SValVec

using	Score = double

Public Types inherited from Gringo::Ground::BodyOccurrence< HeadOcc >
typedef std::vector < std::reference_wrapper < HeadOcc > >	DefinedBy

Public Attributes inherited from Gringo::Ground::PredicateLiteral
OccurrenceType	type = OccurrenceType::POSITIVELY_STRATIFIED

UTerm	repr

DefinedBy	defs

PredicateDomain &	domain

Output::PredicateLiteral	gLit

Constructor & Destructor Documentation

Gringo::Ground::ProjectionLiteral::ProjectionLiteral	(	PredicateDomain &	dom,
		UTerm &&	repr
	)

Gringo::Ground::ProjectionLiteral::~ProjectionLiteral ( )

virtual

Member Function Documentation

UIdx Gringo::Ground::ProjectionLiteral::index	(	Scripts &	scripts,
		BinderType	type,
		Term::VarSet &	bound
	)

virtual

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/ground/literals.hh
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/ground/literals.cc