Gringo::Comparable< Base > Class Template Reference

#include <comparable.hh>

Inheritance diagram for Gringo::Comparable< Base >:

Collaboration diagram for Gringo::Comparable< Base >:

Public Member Functions
virtual bool	operator== (Base const &other) const =0
virtual bool	operator!= (Base const &other) const
virtual	~Comparable ()

Constructor & Destructor Documentation

template<class Base>

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

inlinevirtual

Member Function Documentation

template<class Base>

virtual bool Gringo::Comparable< Base >::operator!= ( Base const &  other ) const

inlinevirtual

template<class Base>

virtual bool Gringo::Comparable< Base >::operator== ( Base const &  other ) const

pure virtual

Implemented in Gringo::LinearTerm, Gringo::FunctionTerm, Gringo::LuaTerm, Gringo::DotsTerm, Gringo::BinOpTerm, Gringo::UnOpTerm, Gringo::VarTerm, Gringo::ValTerm, Gringo::PoolTerm, Gringo::GVarTerm, Gringo::GLinearTerm, Gringo::GFunctionTerm, and Gringo::GValTerm.

---

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

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