_args | Atom::Data | [protected] |
_counter | Atom::Data | [protected] |
_functor | Atom::Data | [protected] |
args() const | Atom::Data | [inline] |
Data() | Atom::Data | |
Data(Signature::Pred *f, const TermList &args) | Atom::Data | [inline] |
Data(Signature::Pred *f) | Atom::Data | [inline, explicit] |
Data(const Term &l, const Term &r) | Atom::Data | |
deref() | Atom::Data | [inline] |
functor() const | Atom::Data | [inline] |
ref() | Atom::Data | [inline] |
~Data() | Atom::Data | [inline] |