Inheritance diagram for Gringo::Ground::ExternalRule:

Collaboration diagram for Gringo::Ground::ExternalRule:

Public Member Functions
	ExternalRule ()

virtual bool	isNormal () const

virtual void	analyze (Dep::Node &node, Dep &dep)

virtual void	startLinearize (bool active)

virtual void	linearize (Scripts &scripts, bool positive)

virtual void	enqueue (Queue &q)

virtual void	print (std::ostream &out) const

virtual	~ExternalRule ()

Public Member Functions inherited from Gringo::Ground::Statement
virtual	~Statement ()

Public Member Functions inherited from Gringo::Printable
virtual	~Printable ()

Additional Inherited Members
Public Types inherited from Gringo::Ground::Statement
typedef Dependency< UStm, HeadOccurrence >	Dep

Constructor & Destructor Documentation

Gringo::Ground::ExternalRule::ExternalRule ( )

Gringo::Ground::ExternalRule::~ExternalRule ( )

virtual

Member Function Documentation

void Gringo::Ground::ExternalRule::analyze	(	Dep::Node &	node,
		Dep &	dep
	)

virtual

Here is the call graph for this function:

void Gringo::Ground::ExternalRule::enqueue ( Queue & q )

virtual

bool Gringo::Ground::ExternalRule::isNormal ( ) const

virtual

void Gringo::Ground::ExternalRule::linearize	(	Scripts &	scripts,
		bool	positive
	)

virtual

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

virtual

void Gringo::Ground::ExternalRule::startLinearize ( bool active )

virtual

HeadDefinition Gringo::Ground::ExternalRule::defines

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