#include <literals.hh>

Inheritance diagram for Gringo::Ground::ExternalBodyOcc:

Collaboration diagram for Gringo::Ground::ExternalBodyOcc:

Public Member Functions
	ExternalBodyOcc ()

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 &done, SigSet const &edb, UndefVec &undef) const

virtual	~ExternalBodyOcc ()

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

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

Constructor & Destructor Documentation

Gringo::Ground::ExternalBodyOcc::ExternalBodyOcc ( )

Gringo::Ground::ExternalBodyOcc::~ExternalBodyOcc ( )

virtual

Member Function Documentation

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

virtual

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

virtual

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

virtual

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

virtual

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

virtual

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

virtual

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

virtual

DefinedBy Gringo::Ground::ExternalBodyOcc::defs

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/ground/literals.hh
/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/ground/literals.cc