| Package | Description |
|---|---|
| aterm | |
| aterm.pure |
| Modifier and Type | Interface and Description |
|---|---|
interface |
AFun
An AFun represents a function symbol
|
interface |
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).
|
interface |
ATermAppl
An ATermAppl represents a function application.
|
interface |
ATermBlob
This interface describes the functionality of an ATermBlob
(Binary Large OBject).
|
interface |
ATermInt
This interface describes the functionality of an ATermInt
|
interface |
ATermList
This interface describes the functionality of an ATermList
|
interface |
ATermLong
This interface describes the functionality of an ATermLong
|
interface |
ATermPlaceholder
This interface describes the functionality of an ATermPlaceholder
|
interface |
ATermReal
This interface describes the functionality of an ATermReal
|
| Modifier and Type | Class and Description |
|---|---|
class |
AFunImpl |
class |
ATermApplImpl |
class |
ATermBlobImpl |
class |
ATermImpl |
class |
ATermIntImpl |
class |
ATermListImpl |
class |
ATermLongImpl |
class |
ATermPlaceholderImpl |
class |
ATermRealImpl |
Copyright © 2012 CWI. All Rights Reserved.