| Interface | Description |
|---|---|
| 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
|
| ATermLong |
This interface describes the functionality of an ATermLong
|
| ATermPlaceholder |
This interface describes the functionality of an ATermPlaceholder
|
| ATermReal |
This interface describes the functionality of an ATermReal
|
| Identifiable | |
| Visitable | |
| Visitor |
| Class | Description |
|---|---|
| ATermFwd | |
| ATermFwdVoid |
| Exception | Description |
|---|---|
| ParseError |
A ParseError is thrown when an error occurs during the
parsing of a term.
|
Copyright © 2012 CWI. All Rights Reserved.