Gringo::Ground::HeadDummyDep Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::HeadDummyDep:

Collaboration diagram for Gringo::Ground::HeadDummyDep:

Public Member Functions
	HeadDummyDep (FWString name)
virtual void	defines (IndexUpdater &, Instantiator *)
virtual UGTerm	getRepr () const
virtual bool	isPositive () const
virtual bool	isNegative () const
virtual void	setType (OccurrenceType)
virtual OccurrenceType	getType () const
virtual DefinedBy &	definedBy ()
virtual void	checkDefined (LocSet &, SigSet const &, UndefVec &) const
virtual	~HeadDummyDep ()
Public Member Functions inherited from Gringo::Ground::HeadOccurrence
virtual	~HeadOccurrence ()
Public Member Functions inherited from Gringo::Ground::BodyOccurrence< HeadOcc >
virtual	~BodyOccurrence ()

Public Attributes
FWString	name
DefinedBy	def

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

Constructor & Destructor Documentation

Gringo::Ground::HeadDummyDep::HeadDummyDep ( FWString  name )

inline

virtual Gringo::Ground::HeadDummyDep::~HeadDummyDep ( )

inlinevirtual

Member Function Documentation

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

inlinevirtual

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

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

inlinevirtual

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

virtual void Gringo::Ground::HeadDummyDep::defines ( IndexUpdater &  , Instantiator *    )

inlinevirtual

Implements Gringo::Ground::HeadOccurrence.

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

inlinevirtual

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

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

inlinevirtual

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

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

inlinevirtual

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

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

inlinevirtual

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

virtual void Gringo::Ground::HeadDummyDep::setType ( OccurrenceType  )

inlinevirtual

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

Member Data Documentation

DefinedBy Gringo::Ground::HeadDummyDep::def

FWString Gringo::Ground::HeadDummyDep::name

---

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

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