Gringo::Output::Statement Struct Reference

#include <statement.hh>

Inheritance diagram for Gringo::Output::Statement:

Collaboration diagram for Gringo::Output::Statement:

Public Member Functions
virtual void	toLparse (LparseTranslator &trans)=0
virtual void	printPlain (std::ostream &out) const =0
virtual void	printLparse (LparseOutputter &out) const =0
virtual bool	isIncomplete () const =0
virtual	~Statement ()
Public Member Functions inherited from Gringo::Clonable< Statement >
virtual Statement *	clone () const =0
virtual	~Clonable ()

Constructor & Destructor Documentation

virtual Gringo::Output::Statement::~Statement ( )

inlinevirtual

Member Function Documentation

virtual bool Gringo::Output::Statement::isIncomplete ( ) const

pure virtual

Implemented in Gringo::Output::LparseMinimize, Gringo::Output::Minimize, Gringo::Output::DisjunctionRule, Gringo::Output::HeadAggregateRule, Gringo::Output::WeightRule, Gringo::Output::LparseRule, Gringo::Output::RuleRef, and Gringo::Output::Rule.

virtual void Gringo::Output::Statement::printLparse ( LparseOutputter &  out ) const

pure virtual

Implemented in Gringo::Output::LparseMinimize, Gringo::Output::Minimize, Gringo::Output::DisjunctionRule, Gringo::Output::HeadAggregateRule, Gringo::Output::WeightRule, Gringo::Output::LparseRule, Gringo::Output::RuleRef, and Gringo::Output::Rule.

virtual void Gringo::Output::Statement::printPlain ( std::ostream &  out ) const

pure virtual

Implemented in Gringo::Output::LparseMinimize, Gringo::Output::Minimize, Gringo::Output::DisjunctionRule, Gringo::Output::HeadAggregateRule, Gringo::Output::WeightRule, Gringo::Output::LparseRule, Gringo::Output::RuleRef, and Gringo::Output::Rule.

virtual void Gringo::Output::Statement::toLparse ( LparseTranslator &  trans )

pure virtual

Implemented in Gringo::Output::LparseMinimize, Gringo::Output::Minimize, Gringo::Output::DisjunctionRule, Gringo::Output::HeadAggregateRule, Gringo::Output::WeightRule, Gringo::Output::LparseRule, Gringo::Output::RuleRef, and Gringo::Output::Rule.

---

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

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