#include <term.hh>
Enumerator |
---|
EMPTY |
|
VALUE |
|
TERM |
|
Gringo::GRef::GRef |
( |
UTerm && |
name | ) |
|
bool Gringo::GRef::match |
( |
Value const & |
x | ) |
|
bool Gringo::GRef::occurs |
( |
GRef & |
x | ) |
const |
Gringo::GRef::operator bool |
( |
| ) |
const |
GRef & Gringo::GRef::operator= |
( |
Value const & |
x | ) |
|
void Gringo::GRef::reset |
( |
| ) |
|
template<class T >
bool Gringo::GRef::unify |
( |
T & |
x | ) |
|
GTerm* Gringo::GRef::term |
Value Gringo::GRef::value |
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