#include <term.hh>
Gringo::GValTerm::GValTerm |
( |
Value |
val | ) |
|
Gringo::GValTerm::~GValTerm |
( |
| ) |
|
|
virtual |
size_t Gringo::GValTerm::hash |
( |
| ) |
const |
|
virtual |
bool Gringo::GValTerm::match |
( |
Value const & |
x | ) |
|
|
virtual |
bool Gringo::GValTerm::occurs |
( |
GRef & |
x | ) |
const |
|
virtual |
bool Gringo::GValTerm::operator== |
( |
GTerm const & |
other | ) |
const |
|
virtual |
void Gringo::GValTerm::print |
( |
std::ostream & |
out | ) |
const |
|
virtual |
void Gringo::GValTerm::reset |
( |
| ) |
|
|
virtual |
bool Gringo::GValTerm::unify |
( |
GTerm & |
x | ) |
|
|
virtual |
bool Gringo::GValTerm::unify |
( |
GVarTerm & |
x | ) |
|
|
virtual |
Value Gringo::GValTerm::val |
The documentation for this struct was generated from the following files:
- /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/term.hh
- /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/term.cc