| 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 |
| Modifier and Type | Method and Description |
|---|---|
Visitable |
ATermRealImpl.accept(Visitor v) |
Visitable |
ATermIntImpl.accept(Visitor v) |
Visitable |
AFunImpl.accept(Visitor v) |
Visitable |
ATermListImpl.accept(Visitor v) |
Visitable |
ATermApplImpl.accept(Visitor v) |
Visitable |
ATermPlaceholderImpl.accept(Visitor v) |
Visitable |
ATermLongImpl.accept(Visitor v) |
Visitable |
ATermBlobImpl.accept(Visitor v) |
Copyright © 2012 CWI. All Rights Reserved.