| Package | Description |
|---|---|
| aterm | |
| aterm.pure | |
| aterm.pure.binary |
| Modifier and Type | Method and Description |
|---|---|
ATermInt |
ATermFactory.makeInt(int val)
Creates a new ATermInt object
|
| Modifier and Type | Method and Description |
|---|---|
Visitable |
ATermFwd.visitInt(ATermInt arg) |
Visitable |
Visitor.visitInt(ATermInt arg) |
Visitable |
ATermFwdVoid.visitInt(ATermInt arg) |
void |
ATermFwdVoid.voidVisitInt(ATermInt arg) |
| Modifier and Type | Class and Description |
|---|---|
class |
ATermIntImpl |
| Modifier and Type | Method and Description |
|---|---|
ATermInt |
PureFactory.makeInt(int val) |
ATermInt |
PureFactory.makeInt(int value,
ATermList annos) |
| Modifier and Type | Method and Description |
|---|---|
void |
BinaryWriter.voidVisitInt(ATermInt arg)
Serializes the given int.
|
Copyright © 2012 CWI. All Rights Reserved.