_args | Term::CompoundData | [private] |
_counter | Term::Data | [protected] |
_functor | Term::CompoundData | [private] |
_tag | Term::Data | [protected] |
args() const | Term::CompoundData | [inline] |
CompoundData(Signature::Fun *f, const TermList &args) | Term::CompoundData | [inline] |
CompoundData(Signature::Fun *f) | Term::CompoundData | [inline, explicit] |
Data() | Term::Data | |
Data(Tag tag) | Term::Data | [inline, explicit] |
deref() | Term::Data | [inline] |
destroy() | Term::Data | [inline] |
functor() const | Term::CompoundData | [inline] |
ref() | Term::Data | [inline] |
tag() const | Term::Data | [inline] |
~Data() | Term::Data | [inline] |