| _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] |
1.3.2