clingo: Gringo::Ground::ConjunctionHead Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::ConjunctionHead:

Inheritance graph

Collaboration diagram for Gringo::Ground::ConjunctionHead:

Collaboration graph

Public Member Functions
	ConjunctionHead (PredicateDomain &predDom, UTerm &&predRep, PredicateDomain &headDom, UTerm &&headRep)

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 void	checkDefined (LocSet &, SigSet const &, UndefVec &) const

virtual	~ConjunctionHead ()

Public Member Functions inherited from Gringo::Ground::BodyOccurrence< HeadOcc >
virtual	~BodyOccurrence ()

Public Attributes
DefinedBy	defines

UTerm	predRep

UTerm	headRep

HeadDefinition	predDef

PredicateDomain &	predDom

PredicateDomain &	headDom

OccurrenceType	type = OccurrenceType::POSITIVELY_STRATIFIED

Additional Inherited Members
Public Types inherited from Gringo::Ground::BodyOccurrence< HeadOcc >
typedef std::vector < std::reference_wrapper < HeadOcc > >	DefinedBy

Constructor & Destructor Documentation

Gringo::Ground::ConjunctionHead::ConjunctionHead	(	PredicateDomain &	predDom,
		UTerm &&	predRep,
		PredicateDomain &	headDom,
		UTerm &&	headRep
	)

inline

virtual Gringo::Ground::ConjunctionHead::~ConjunctionHead ( )

inlinevirtual

Member Function Documentation

virtual void Gringo::Ground::ConjunctionHead::checkDefined	(	LocSet &	,
		SigSet const &	,
		UndefVec &
	)		const

inlinevirtual

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

virtual DefinedBy& Gringo::Ground::ConjunctionHead::definedBy ( )

inlinevirtual

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

virtual UGTerm Gringo::Ground::ConjunctionHead::getRepr ( ) const

inlinevirtual

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

virtual OccurrenceType Gringo::Ground::ConjunctionHead::getType ( ) const

inlinevirtual

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

virtual bool Gringo::Ground::ConjunctionHead::isNegative ( ) const

inlinevirtual

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

virtual bool Gringo::Ground::ConjunctionHead::isPositive ( ) const

inlinevirtual

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

virtual void Gringo::Ground::ConjunctionHead::setType ( OccurrenceType x )

inlinevirtual

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

Member Data Documentation

DefinedBy Gringo::Ground::ConjunctionHead::defines

PredicateDomain& Gringo::Ground::ConjunctionHead::headDom

UTerm Gringo::Ground::ConjunctionHead::headRep

HeadDefinition Gringo::Ground::ConjunctionHead::predDef

PredicateDomain& Gringo::Ground::ConjunctionHead::predDom

UTerm Gringo::Ground::ConjunctionHead::predRep

OccurrenceType Gringo::Ground::ConjunctionHead::type = OccurrenceType::POSITIVELY_STRATIFIED

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/ground/statements.hh