Gringo::Ground::HeadAggregateLiteral Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::HeadAggregateLiteral:

Collaboration diagram for Gringo::Ground::HeadAggregateLiteral:

Public Member Functions
	HeadAggregateLiteral (SHeadAggregateDomain dom)
virtual void	print (std::ostream &out) const
virtual bool	isRecursive () const
virtual BodyOcc *	occurrence ()
virtual void	collect (VarTermBoundVec &vars) const
virtual UGTerm	getRepr () const
virtual bool	isPositive () const
virtual bool	isNegative () const
virtual void	setType (OccurrenceType x)
virtual UIdx	index (Scripts &scripts, BinderType type, Term::VarSet &bound)
virtual OccurrenceType	getType () const
virtual DefinedBy &	definedBy ()
virtual Score	score (Term::VarSet const &bound)
virtual Output::Literal *	toOutput ()
virtual void	checkDefined (LocSet &done, SigSet const &edb, UndefVec &) const
virtual	~HeadAggregateLiteral ()
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
SHeadAggregateDomain	dom
DefinedBy	defs
HeadAggregateDomain::element_type *	gResult = nullptr
OccurrenceType	type = OccurrenceType::POSITIVELY_STRATIFIED

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::HeadAggregateLiteral::HeadAggregateLiteral

(

SHeadAggregateDomain

dom

)

Gringo::Ground::HeadAggregateLiteral::~HeadAggregateLiteral ( )

virtual

Member Function Documentation

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

virtual

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

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

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

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

virtual

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

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

virtual

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

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

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

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

virtual

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

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

virtual

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

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Printable.

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

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

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

virtual

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

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

virtual

Implements Gringo::Ground::Literal.

Member Data Documentation

DefinedBy Gringo::Ground::HeadAggregateLiteral::defs

SHeadAggregateDomain Gringo::Ground::HeadAggregateLiteral::dom

HeadAggregateDomain::element_type* Gringo::Ground::HeadAggregateLiteral::gResult = nullptr

OccurrenceType Gringo::Ground::HeadAggregateLiteral::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/statements.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/ground/statements.cc