Interface Summary |
AFun |
An AFun represents a function symbol |
ATerm |
This is the base interface for all ATerm interfaces,
which will ultimately be implemented by two separate
ATerm Factories (a native and a pure one). |
ATermAppl |
An ATermAppl represents a function application. |
ATermBlob |
This interface describes the functionality of an ATermBlob
(Binary Large OBject). |
ATermFactory |
An ATermFactory is responsible for making new ATerms. |
ATermInt |
This interface describes the functionality of an ATermInt |
ATermList |
This interface describes the functionality of an ATermList |
ATermPlaceholder |
This interface describes the functionality of an ATermPlaceholder |
ATermReal |
This interface describes the functionality of an ATermReal |