Gringo::Ground::RelationLiteral Struct Reference

#include <literals.hh>

Inheritance diagram for Gringo::Ground::RelationLiteral:

Collaboration diagram for Gringo::Ground::RelationLiteral:

Public Member Functions
	RelationLiteral (Relation rel, UTerm &&left, UTerm &&right)
virtual void	print (std::ostream &out) const
virtual bool	isRecursive () const
virtual BodyOcc *	occurrence ()
virtual void	collect (VarTermBoundVec &vars) const
virtual UIdx	index (Scripts &scripts, BinderType type, Term::VarSet &bound)
virtual Output::Literal *	toOutput ()
virtual Score	score (Term::VarSet const &bound)
virtual	~RelationLiteral ()
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 Attributes
RelationShared	shared

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

Constructor & Destructor Documentation

Gringo::Ground::RelationLiteral::RelationLiteral	(	Relation	rel,
		UTerm &&	left,
		UTerm &&	right
	)

Gringo::Ground::RelationLiteral::~RelationLiteral ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Printable.

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

Member Data Documentation

RelationShared Gringo::Ground::RelationLiteral::shared

---

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