Gringo::Ground::RangeLiteral Struct Reference

#include <literals.hh>

Inheritance diagram for Gringo::Ground::RangeLiteral:

Collaboration diagram for Gringo::Ground::RangeLiteral:

Public Member Functions
	RangeLiteral (UTerm &&assign, 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	~RangeLiteral ()
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
UTerm	assign
RangeLiteralShared	range

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

Constructor & Destructor Documentation

Gringo::Ground::RangeLiteral::RangeLiteral	(	UTerm &&	assign,
		UTerm &&	left,
		UTerm &&	right
	)

Gringo::Ground::RangeLiteral::~RangeLiteral ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Printable.

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

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Literal.

Member Data Documentation

UTerm Gringo::Ground::RangeLiteral::assign

RangeLiteralShared Gringo::Ground::RangeLiteral::range

---

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