#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 |
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2