#include <Term.hpp>
Inheritance diagram for Term::CompoundData:
Public Member Functions | |
CompoundData (Signature::Fun *f, const TermList &args) | |
CompoundData (Signature::Fun *f) | |
Signature::Fun * | functor () const |
const TermList & | args () const |
Private Attributes | |
Signature::Fun * | _functor |
TermList | _args |
|
|
|
|
|
|
|
|
|
|
|
|