Gringo::Ground::CSPLiteral Struct Reference

#include <literals.hh>

Inheritance diagram for Gringo::Ground::CSPLiteral:

Collaboration diagram for Gringo::Ground::CSPLiteral:

Public Member Functions
	CSPLiteral (Relation rel, CSPAddTerm &&left, CSPAddTerm &&right)
virtual void	print (std::ostream &out) const
virtual bool	isRecursive () const
virtual BodyOcc *	occurrence ()
virtual void	collectImportant (Term::VarSet &vars)
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	~CSPLiteral ()
Public Member Functions inherited from Gringo::Ground::Literal
virtual	~Literal ()
Public Member Functions inherited from Gringo::Printable
virtual	~Printable ()

Public Attributes
Output::CSPLiteral	repr
CSPLiteralShared	terms
ExternalBodyOcc	ext

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

Constructor & Destructor Documentation

Gringo::Ground::CSPLiteral::CSPLiteral	(	Relation	rel,
		CSPAddTerm &&	left,
		CSPAddTerm &&	right
	)

Gringo::Ground::CSPLiteral::~CSPLiteral ( )

virtual

Member Function Documentation

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Reimplemented from Gringo::Ground::Literal.

Here is the call graph for this function:

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Printable.

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

Member Data Documentation

ExternalBodyOcc Gringo::Ground::CSPLiteral::ext

Output::CSPLiteral Gringo::Ground::CSPLiteral::repr

CSPLiteralShared Gringo::Ground::CSPLiteral::terms

---

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