| Package | Description |
|---|---|
| aterm | |
| aterm.pure | |
| aterm.pure.binary |
| Class and 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 and 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 and Description |
|---|
| 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).
|
| ATermFwdVoid |
| 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
|
| ParseError
A ParseError is thrown when an error occurs during the
parsing of a term.
|
Copyright © 2012 CWI. All Rights Reserved.