Gringo::Ground::Literal Struct Reference

#include <literal.hh>

Inheritance diagram for Gringo::Ground::Literal:

Collaboration diagram for Gringo::Ground::Literal:

Public Types
using	SValVec = Instantiator::SValVec
using	Score = double

Public Member Functions
virtual bool	isRecursive () const =0
virtual UIdx	index (Scripts &scripts, BinderType type, Term::VarSet &bound)=0
virtual BodyOcc *	occurrence ()=0
virtual void	collect (VarTermBoundVec &vars) const =0
virtual void	collectImportant (Term::VarSet &vars)
virtual Output::Literal *	toOutput ()=0
virtual Score	score (Term::VarSet const &bound)=0
virtual	~Literal ()
Public Member Functions inherited from Gringo::Printable
virtual void	print (std::ostream &out) const =0
virtual	~Printable ()

Member Typedef Documentation

using Gringo::Ground::Literal::Score = double

using Gringo::Ground::Literal::SValVec = Instantiator::SValVec

Constructor & Destructor Documentation

virtual Gringo::Ground::Literal::~Literal ( )

inlinevirtual

Member Function Documentation

virtual void Gringo::Ground::Literal::collect ( VarTermBoundVec &  vars ) const

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::CSPLiteral, Gringo::Ground::PredicateLiteral, Gringo::Ground::RelationLiteral, Gringo::Ground::ScriptLiteral, and Gringo::Ground::RangeLiteral.

void Gringo::Ground::Literal::collectImportant ( Term::VarSet &  vars )

virtual

Reimplemented in Gringo::Ground::CSPLiteral.

Here is the call graph for this function:

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

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::CSPLiteral, Gringo::Ground::ProjectionLiteral, Gringo::Ground::PredicateLiteral, Gringo::Ground::RelationLiteral, Gringo::Ground::ScriptLiteral, and Gringo::Ground::RangeLiteral.

virtual bool Gringo::Ground::Literal::isRecursive ( ) const

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::CSPLiteral, Gringo::Ground::PredicateLiteral, Gringo::Ground::RelationLiteral, Gringo::Ground::ScriptLiteral, and Gringo::Ground::RangeLiteral.

virtual BodyOcc* Gringo::Ground::Literal::occurrence ( )

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::CSPLiteral, Gringo::Ground::PredicateLiteral, Gringo::Ground::RelationLiteral, Gringo::Ground::ScriptLiteral, and Gringo::Ground::RangeLiteral.

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

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::CSPLiteral, Gringo::Ground::PredicateLiteral, Gringo::Ground::RelationLiteral, Gringo::Ground::ScriptLiteral, and Gringo::Ground::RangeLiteral.

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

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::CSPLiteral, Gringo::Ground::PredicateLiteral, Gringo::Ground::RelationLiteral, Gringo::Ground::ScriptLiteral, and Gringo::Ground::RangeLiteral.

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/ground/literal.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/ground/literals.cc