Gringo::Clonable< Base > Class Template Reference

#include <clonable.hh>

Inheritance diagram for Gringo::Clonable< Base >:

Collaboration diagram for Gringo::Clonable< Base >:

Public Member Functions
virtual Base *	clone () const =0
virtual	~Clonable ()

Constructor & Destructor Documentation

template<class Base>

virtual Gringo::Clonable< Base >::~Clonable ( )

inlinevirtual

Member Function Documentation

template<class Base>

virtual Base* Gringo::Clonable< Base >::clone ( ) const

pure virtual

Implemented in Gringo::LinearTerm, Gringo::FunctionTerm, Gringo::LuaTerm, Gringo::DotsTerm, Gringo::BinOpTerm, Gringo::UnOpTerm, Gringo::VarTerm, Gringo::ValTerm, Gringo::PoolTerm, Gringo::Output::CSPLiteral, Gringo::Output::DisjointLiteral, Gringo::Input::SimpleHeadLiteral, Gringo::Output::Conjunction, Gringo::Input::Disjunction, Gringo::Output::LparseMinimize, Gringo::Input::LitHeadAggregate, Gringo::Output::Minimize, Gringo::Input::TupleHeadAggregate, Gringo::Output::DisjunctionRule, Gringo::Output::AssignmentAggregate, Gringo::Input::CSPLiteral, Gringo::Input::DisjointAggregate, Gringo::Output::HeadAggregateRule, Gringo::Input::FalseLiteral, Gringo::Output::BodyAggregate, Gringo::Input::SimpleBodyLiteral, Gringo::Input::ScriptLiteral, Gringo::Input::Conjunction, Gringo::Input::RangeLiteral, Gringo::Output::WeightRule, Gringo::Output::PredicateLiteral, Gringo::Output::LparseRule, Gringo::Input::RelationLiteral, Gringo::Input::LitBodyAggregate, Gringo::Output::BooleanLiteral, Gringo::Input::ProjectionLiteral, Gringo::Output::RuleRef, Gringo::Output::AuxLiteral, Gringo::Input::TupleBodyAggregate, Gringo::Output::Rule, and Gringo::Input::PredicateLiteral.

---

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

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