Gringo::Ground::BodyOccurrence< HeadOcc > Struct Template Reference

#include <dependency.hh>

Inheritance diagram for Gringo::Ground::BodyOccurrence< HeadOcc >:

Collaboration diagram for Gringo::Ground::BodyOccurrence< HeadOcc >:

Public Types
typedef std::vector < std::reference_wrapper < HeadOcc > >	DefinedBy

Public Member Functions
virtual UGTerm	getRepr () const =0
virtual bool	isPositive () const =0
virtual bool	isNegative () const =0
virtual void	setType (OccurrenceType x)=0
virtual OccurrenceType	getType () const =0
virtual DefinedBy &	definedBy ()=0
virtual void	checkDefined (LocSet &done, SigSet const &edb, UndefVec &undef) const =0
virtual	~BodyOccurrence ()

Member Typedef Documentation

template<class HeadOcc>

typedef std::vector<std::reference_wrapper<HeadOcc> > Gringo::Ground::BodyOccurrence< HeadOcc >::DefinedBy

Constructor & Destructor Documentation

template<class HeadOcc>

virtual Gringo::Ground::BodyOccurrence< HeadOcc >::~BodyOccurrence ( )

inlinevirtual

Member Function Documentation

template<class HeadOcc>

virtual void Gringo::Ground::BodyOccurrence< HeadOcc >::checkDefined ( LocSet &  done, SigSet const &  edb, UndefVec &  undef  ) const

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::HeadDummyDep, Gringo::Ground::ExternalBodyOcc, Gringo::Ground::ConjunctionHead, and Gringo::Ground::PredicateLiteral.

template<class HeadOcc>

virtual DefinedBy& Gringo::Ground::BodyOccurrence< HeadOcc >::definedBy ( )

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::HeadDummyDep, Gringo::Ground::ExternalBodyOcc, Gringo::Ground::ConjunctionHead, and Gringo::Ground::PredicateLiteral.

template<class HeadOcc>

virtual UGTerm Gringo::Ground::BodyOccurrence< HeadOcc >::getRepr ( ) const

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::HeadDummyDep, Gringo::Ground::ExternalBodyOcc, Gringo::Ground::ConjunctionHead, and Gringo::Ground::PredicateLiteral.

template<class HeadOcc>

virtual OccurrenceType Gringo::Ground::BodyOccurrence< HeadOcc >::getType ( ) const

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::HeadDummyDep, Gringo::Ground::ExternalBodyOcc, Gringo::Ground::ConjunctionHead, and Gringo::Ground::PredicateLiteral.

template<class HeadOcc>

virtual bool Gringo::Ground::BodyOccurrence< HeadOcc >::isNegative ( ) const

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::HeadDummyDep, Gringo::Ground::ExternalBodyOcc, Gringo::Ground::ConjunctionHead, and Gringo::Ground::PredicateLiteral.

template<class HeadOcc>

virtual bool Gringo::Ground::BodyOccurrence< HeadOcc >::isPositive ( ) const

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::HeadDummyDep, Gringo::Ground::ExternalBodyOcc, Gringo::Ground::ConjunctionHead, and Gringo::Ground::PredicateLiteral.

template<class HeadOcc>

virtual void Gringo::Ground::BodyOccurrence< HeadOcc >::setType ( OccurrenceType  x )

pure virtual

Implemented in Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::Ground::ConjunctionLiteral, Gringo::Ground::AssignmentAggregateLiteral, Gringo::Ground::DisjointLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Ground::HeadDummyDep, Gringo::Ground::ExternalBodyOcc, Gringo::Ground::ConjunctionHead, and Gringo::Ground::PredicateLiteral.

---

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

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