Gringo::Printable Class Reference

#include <printable.hh>

Inheritance diagram for Gringo::Printable:

Collaboration diagram for Gringo::Printable:

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

Constructor & Destructor Documentation

virtual Gringo::Printable::~Printable ( )

inlinevirtual

Member Function Documentation

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

pure virtual

Implemented in Gringo::Ground::ExternalRule, Gringo::Ground::WeakConstraint, Gringo::LinearTerm, Gringo::Ground::Rule, Gringo::Ground::DisjunctionRule, Gringo::FunctionTerm, Gringo::Ground::HeadAggregateRule, Gringo::Ground::DisjunctionAccumulate, Gringo::LuaTerm, Gringo::Ground::HeadAggregateAccumulate, Gringo::DotsTerm, Gringo::Ground::ConjunctionAccumulateFact, Gringo::Ground::ConjunctionAccumulate, Gringo::BinOpTerm, Gringo::Ground::ConjunctionAccumulateEmpty, Gringo::UnOpTerm, Gringo::Ground::AssignmentAggregateAccumulate, Gringo::VarTerm, Gringo::Ground::DisjointAccumulate, Gringo::ValTerm, Gringo::Ground::BodyAggregateAccumulate, Gringo::PoolTerm, Gringo::Ground::DisjunctionLiteral, Gringo::Ground::HeadAggregateLiteral, Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::Ground::ConjunctionLiteral, Gringo::GFunctionTerm, Gringo::Ground::AssignmentAggregateLiteral, Gringo::GValTerm, Gringo::Ground::DisjointLiteral, Gringo::Input::SimpleHeadLiteral, Gringo::Ground::BodyAggregateLiteral, Gringo::Input::Disjunction, Gringo::Input::LitHeadAggregate, Gringo::Input::TupleHeadAggregate, Gringo::Input::CSPLiteral, Gringo::Input::DisjointAggregate, Gringo::Ground::CSPLiteral, Gringo::Input::FalseLiteral, Gringo::Input::ScriptLiteral, Gringo::Input::SimpleBodyLiteral, Gringo::Ground::PosMatcher< Element >, Gringo::Ground::PredicateLiteral, Gringo::Input::RangeLiteral, Gringo::Input::Conjunction, Gringo::Ground::RelationLiteral, Gringo::Ground::Matcher< Element >, Gringo::Ground::SolutionBinder, Gringo::Input::Statement, Gringo::Ground::ScriptLiteral, Gringo::Input::RelationLiteral, Gringo::Input::LitBodyAggregate, Gringo::Ground::PosBinder< Index, LookupArgs >, Gringo::Ground::RangeLiteral, Gringo::Input::TupleBodyAggregate, and Gringo::Input::PredicateLiteral.

---

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

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