clingo: Gringo::Ground::Statement Struct Reference

#include <statement.hh>

Inheritance diagram for Gringo::Ground::Statement:

Inheritance graph

Collaboration diagram for Gringo::Ground::Statement:

Collaboration graph

Public Types
typedef Dependency< UStm, HeadOccurrence >	Dep

Public Member Functions
virtual bool	isNormal () const =0

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

virtual void	startLinearize (bool active)=0

virtual void	linearize (Scripts &scripts, bool positive)=0

virtual void	enqueue (Queue &q)=0

virtual	~Statement ()

Public Member Functions inherited from Gringo::Printable
virtual void	print (std::ostream &out) const =0

virtual	~Printable ()

Member Typedef Documentation

typedef Dependency<UStm, HeadOccurrence> Gringo::Ground::Statement::Dep

Constructor & Destructor Documentation

virtual Gringo::Ground::Statement::~Statement ( )

inlinevirtual

Member Function Documentation

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

pure virtual

Implemented in Gringo::Ground::ExternalRule, Gringo::Ground::WeakConstraint, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::Ground::HeadAggregateAccumulate, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::Ground::DisjointAccumulate, and Gringo::Ground::BodyAggregateAccumulate.

virtual void Gringo::Ground::Statement::enqueue ( Queue & q )

pure virtual

Implemented in Gringo::Ground::ExternalRule, Gringo::Ground::WeakConstraint, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::Ground::HeadAggregateAccumulate, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::Ground::DisjointAccumulate, and Gringo::Ground::BodyAggregateAccumulate.

virtual bool Gringo::Ground::Statement::isNormal ( ) const

pure virtual

Implemented in Gringo::Ground::ExternalRule, Gringo::Ground::WeakConstraint, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::Ground::HeadAggregateAccumulate, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::Ground::DisjointAccumulate, and Gringo::Ground::BodyAggregateAccumulate.

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

pure virtual

Implemented in Gringo::Ground::ExternalRule, Gringo::Ground::WeakConstraint, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::Ground::HeadAggregateAccumulate, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::Ground::DisjointAccumulate, and Gringo::Ground::BodyAggregateAccumulate.

virtual void Gringo::Ground::Statement::startLinearize ( bool active )

pure virtual

Implemented in Gringo::Ground::ExternalRule, Gringo::Ground::WeakConstraint, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::Ground::HeadAggregateAccumulate, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::Ground::DisjointAccumulate, and Gringo::Ground::BodyAggregateAccumulate.

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

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