Gringo::Ground::PredicateLiteral Struct Reference

#include <literals.hh>

Inheritance diagram for Gringo::Ground::PredicateLiteral:

Collaboration diagram for Gringo::Ground::PredicateLiteral:

Public Member Functions
	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 UIdx	index (Scripts &scripts, BinderType type, Term::VarSet &bound)
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 ()

Public Attributes
OccurrenceType	type = OccurrenceType::POSITIVELY_STRATIFIED
UTerm	repr
DefinedBy	defs
PredicateDomain &	domain
Output::PredicateLiteral	gLit

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

Constructor & Destructor Documentation

Gringo::Ground::PredicateLiteral::PredicateLiteral	(	PredicateDomain &	dom,
		NAF	naf,
		UTerm &&	repr
	)

Gringo::Ground::PredicateLiteral::~PredicateLiteral ( )

virtual

Member Function Documentation

void Gringo::Ground::PredicateLiteral::checkDefined ( LocSet &  done, SigSet const &  edb, UndefVec &  undef  ) const

virtual

Implements Gringo::Ground::BodyOccurrence< HeadOcc >.

Here is the call graph for this function:

void Gringo::Ground::PredicateLiteral::collect ( VarTermBoundVec &  vars ) const

virtual

Implements Gringo::Ground::Literal.

BodyOcc::DefinedBy & Gringo::Ground::PredicateLiteral::definedBy ( )

virtual

Implements Gringo::Ground::BodyOccurrence< HeadOcc >.

UGTerm Gringo::Ground::PredicateLiteral::getRepr ( ) const

virtual

Implements Gringo::Ground::BodyOccurrence< HeadOcc >.

OccurrenceType Gringo::Ground::PredicateLiteral::getType ( ) const

virtual

Implements Gringo::Ground::BodyOccurrence< HeadOcc >.

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

virtual

Implements Gringo::Ground::Literal.

Reimplemented in Gringo::Ground::ProjectionLiteral.

Here is the call graph for this function:

bool Gringo::Ground::PredicateLiteral::isNegative ( ) const

virtual

Implements Gringo::Ground::BodyOccurrence< HeadOcc >.

bool Gringo::Ground::PredicateLiteral::isPositive ( ) const

virtual

Implements Gringo::Ground::BodyOccurrence< HeadOcc >.

bool Gringo::Ground::PredicateLiteral::isRecursive ( ) const

virtual

Implements Gringo::Ground::Literal.

BodyOcc * Gringo::Ground::PredicateLiteral::occurrence ( )

virtual

Implements Gringo::Ground::Literal.

void Gringo::Ground::PredicateLiteral::print ( std::ostream &  out ) const

virtual

Implements Gringo::Printable.

Literal::Score Gringo::Ground::PredicateLiteral::score ( Term::VarSet const &  bound )

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

void Gringo::Ground::PredicateLiteral::setType ( OccurrenceType  x )

virtual

Implements Gringo::Ground::BodyOccurrence< HeadOcc >.

Output::Literal * Gringo::Ground::PredicateLiteral::toOutput ( )

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

Member Data Documentation

DefinedBy Gringo::Ground::PredicateLiteral::defs

PredicateDomain& Gringo::Ground::PredicateLiteral::domain

Output::PredicateLiteral Gringo::Ground::PredicateLiteral::gLit

UTerm Gringo::Ground::PredicateLiteral::repr

OccurrenceType Gringo::Ground::PredicateLiteral::type = OccurrenceType::POSITIVELY_STRATIFIED

---

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