#include <hashable.hh>
virtual Gringo::Hashable::~Hashable |
( |
| ) |
|
|
inlinevirtual |
virtual size_t Gringo::Hashable::hash |
( |
| ) |
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::Output::CSPLiteral, Gringo::GFunctionTerm, Gringo::Output::DisjointLiteral, Gringo::GValTerm, Gringo::Input::SimpleHeadLiteral, Gringo::Output::Conjunction, Gringo::Input::Disjunction, Gringo::Input::LitHeadAggregate, Gringo::Input::TupleHeadAggregate, Gringo::Output::AssignmentAggregate, Gringo::Input::CSPLiteral, Gringo::Input::DisjointAggregate, Gringo::Input::FalseLiteral, Gringo::Output::BodyAggregate, Gringo::Input::ScriptLiteral, Gringo::Input::SimpleBodyLiteral, Gringo::Input::RangeLiteral, Gringo::Input::Conjunction, Gringo::Output::PredicateLiteral, Gringo::Input::RelationLiteral, Gringo::Output::BooleanLiteral, Gringo::Input::LitBodyAggregate, Gringo::Output::AuxLiteral, 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/hashable.hh