Gringo::Ground::ConjunctionLiteral Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::ConjunctionLiteral:

Collaboration diagram for Gringo::Ground::ConjunctionLiteral:

Public Member Functions
	ConjunctionLiteral (SConjunctionDomain 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 OccurrenceType	getType () const
virtual DefinedBy &	definedBy ()
virtual UIdx	index (Scripts &scripts, BinderType type, Term::VarSet &bound)
virtual Score	score (Term::VarSet const &bound)
virtual Output::Literal *	toOutput ()
virtual void	checkDefined (LocSet &done, SigSet const &edb, UndefVec &) const
virtual	~ConjunctionLiteral ()
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
SConjunctionDomain	dom
DefinedBy	defs
Output::Conjunction	gLit
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::ConjunctionLiteral::ConjunctionLiteral

(

SConjunctionDomain

dom

)

Gringo::Ground::ConjunctionLiteral::~ConjunctionLiteral ( )

virtual

Member Function Documentation

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

virtual

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

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

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

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

virtual

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

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

virtual

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

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

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

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

virtual

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

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

virtual

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

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Ground::Literal.

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

virtual

Implements Gringo::Printable.

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

virtual

Implements Gringo::Ground::Literal.

Here is the call graph for this function:

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

virtual

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

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

virtual

Implements Gringo::Ground::Literal.

Member Data Documentation

DefinedBy Gringo::Ground::ConjunctionLiteral::defs

SConjunctionDomain Gringo::Ground::ConjunctionLiteral::dom

Output::Conjunction Gringo::Ground::ConjunctionLiteral::gLit

OccurrenceType Gringo::Ground::ConjunctionLiteral::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