A B C D E G H I L M P R S T W

A

abbrevSize(int) - Static method in class aterm.pure.PureFactory
 
AFun - interface aterm.AFun.
An AFun represents a function symbol
append(ATerm) - Method in interface aterm.ATermList
Appends an element to this list.
APPL - Static variable in interface aterm.ATerm
A term of type APPL (function application)
aterm - package aterm
 
ATerm - interface aterm.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).
aterm.pure - package aterm.pure
 
ATermAppl - interface aterm.ATermAppl.
An ATermAppl represents a function application.
ATermBlob - interface aterm.ATermBlob.
This interface describes the functionality of an ATermBlob (Binary Large OBject).
ATermFactory - interface aterm.ATermFactory.
An ATermFactory is responsible for making new ATerms.
ATermInt - interface aterm.ATermInt.
This interface describes the functionality of an ATermInt
ATermList - interface aterm.ATermList.
This interface describes the functionality of an ATermList
ATermPlaceholder - interface aterm.ATermPlaceholder.
This interface describes the functionality of an ATermPlaceholder
ATermReal - interface aterm.ATermReal.
This interface describes the functionality of an ATermReal

B

BLOB - Static variable in interface aterm.ATerm
A term of type BLOB (Binary Large OBject)

C

concat(ATermList) - Method in interface aterm.ATermList
Concatenates a list to this list.

D

dictGet(ATerm) - Method in interface aterm.ATermList
Retrieves an element from a dictionary list.
dictPut(ATerm, ATerm) - Method in interface aterm.ATermList
Sets the value for an element in a dictionary list.
dictRemove(ATerm) - Method in interface aterm.ATermList
Removes an element from a dictionary list.

E

elementAt(int) - Method in interface aterm.ATermList
Gets the element at a specific index of this list.
equals(Object) - Method in interface aterm.ATerm
Checks equality of this term against any java object.

G

getAFun() - Method in interface aterm.ATermAppl
Gets the AFun object that represents the function symbol of this application
getAnnotation(ATerm) - Method in interface aterm.ATerm
Gets a annotation associated with specific label from this term.
getAnnotations() - Method in interface aterm.ATerm
Gets all annotations of this term.
getArgument(int) - Method in interface aterm.ATermAppl
Gets a specific argument of this application.
getArgumentArray() - Method in interface aterm.ATermAppl
Gets the arguments of this application as an array of ATerm objects.
getArguments() - Method in interface aterm.ATermAppl
Gets the arguments of this application.
getArity() - Method in interface aterm.AFun
Gets the arity of this application.
getArity() - Method in interface aterm.ATermAppl
Gets the arity of this application.
getBlobData() - Method in interface aterm.ATermBlob
Gets the data in this blob.
getBlobSize() - Method in interface aterm.ATermBlob
Gets the size (in bytes) of the data in this blob.
getEmpty() - Method in class aterm.pure.PureFactory
 
getFactory() - Method in interface aterm.ATerm
Retrieves the factory responsible for creating this ATerm.
getFirst() - Method in interface aterm.ATermList
Gets the first element of this list.
getInt() - Method in interface aterm.ATermInt
Gets the integer value from this term.
getLast() - Method in interface aterm.ATermList
Gets the last element of this list.
getLength() - Method in interface aterm.ATermList
Gets the length (number of elements) of this list.
getName() - Method in interface aterm.AFun
Gets the name of the function symbol
getName() - Method in interface aterm.ATermAppl
Gets the function name of this application.
getNext() - Method in interface aterm.ATermList
Gets the tail (all but the first element) of this list.
getPlaceholder() - Method in interface aterm.ATermPlaceholder
Gets the type of this placeholder.
getPrefix() - Method in interface aterm.ATermList
Gets the prefix (all but the last element) of this list.
getReal() - Method in interface aterm.ATermReal
Gets the real value from this term as a double.
getSlice(int, int) - Method in interface aterm.ATermList
Gets a portion (slice) of this list.
getType() - Method in interface aterm.ATerm
Gets the type of this term.

H

hashCode() - Method in interface aterm.ATerm
Gets a hashcode value of this term.

I

importTerm(ATerm) - Method in interface aterm.ATermFactory
Creates an ATerm by importing it from another ATermFactory.
importTerm(ATerm) - Method in class aterm.pure.PureFactory
 
indexOf(ATerm, int) - Method in interface aterm.ATermList
Gets the index of the first occurance of a term in this list.
insert(ATerm) - Method in interface aterm.ATermList
Inserts a term in front of this list.
insertAt(ATerm, int) - Method in interface aterm.ATermList
Inserts an element at a specific position in this list.
INT - Static variable in interface aterm.ATerm
A term of type INT
isEmpty() - Method in interface aterm.ATermList
Checks if this list is the empty list.
isEqual(ATerm) - Method in interface aterm.ATerm
Checks equality of this term against another term.
isQuoted() - Method in interface aterm.AFun
Checks if this application is quoted.
isQuoted() - Method in interface aterm.ATermAppl
Checks if this application is quoted.

L

lastIndexOf(ATerm, int) - Method in interface aterm.ATermList
Gets the last occurance of a term in this list.
LIST - Static variable in interface aterm.ATerm
A term of type LIST

M

make(ATerm, List) - Method in interface aterm.ATermFactory
Creates a new ATerm given a pattern and a list of arguments.
make(ATerm, List) - Method in class aterm.pure.PureFactory
 
make(List) - Method in interface aterm.ATerm
Create a new term based on this term as a pattern and a list of arguments.
make(String) - Method in interface aterm.ATermFactory
Equivalent of parse.
make(String) - Method in class aterm.pure.PureFactory
 
make(String, List) - Method in interface aterm.ATermFactory
Creates a new ATerm given a string pattern and a list of arguments.
make(String, List) - Method in class aterm.pure.PureFactory
 
make(String, Object) - Method in interface aterm.ATermFactory
Creates a new ATerm given a pattern and a single argument.
make(String, Object) - Method in class aterm.pure.PureFactory
 
make(String, Object, Object) - Method in interface aterm.ATermFactory
Creates a new ATerm given a pattern and a fixed number of arguments.
make(String, Object, Object) - Method in class aterm.pure.PureFactory
 
make(String, Object, Object, Object) - Method in interface aterm.ATermFactory
Creates a new ATerm given a pattern and a fixed number of arguments.
make(String, Object, Object, Object) - Method in class aterm.pure.PureFactory
 
make(String, Object, Object, Object, Object) - Method in interface aterm.ATermFactory
Creates a new ATerm given a pattern and a fixed number of arguments.
make(String, Object, Object, Object, Object) - Method in class aterm.pure.PureFactory
 
make(String, Object, Object, Object, Object, Object) - Method in interface aterm.ATermFactory
Creates a new ATerm given a pattern and a fixed number of arguments.
make(String, Object, Object, Object, Object, Object) - Method in class aterm.pure.PureFactory
 
make(String, Object, Object, Object, Object, Object, Object) - Method in interface aterm.ATermFactory
Creates a new ATerm given a pattern and a fixed number of arguments.
make(String, Object, Object, Object, Object, Object, Object) - Method in class aterm.pure.PureFactory
 
make(String, Object, Object, Object, Object, Object, Object, Object) - Method in interface aterm.ATermFactory
Creates a new ATerm given a pattern and a fixed number of arguments.
make(String, Object, Object, Object, Object, Object, Object, Object) - Method in class aterm.pure.PureFactory
 
makeAFun(String, int, boolean) - Method in interface aterm.ATermFactory
Creates an AFun object
makeAFun(String, int, boolean) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun) - Method in interface aterm.ATermFactory
Creates a function application.
makeAppl(AFun) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATerm) - Method in interface aterm.ATermFactory
Creates a function application.
makeAppl(AFun, ATerm) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATerm[]) - Method in interface aterm.ATermFactory
Creates a function application.
makeAppl(AFun, ATerm[]) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATerm[], ATermList) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATerm, ATerm) - Method in interface aterm.ATermFactory
Creates a function application.
makeAppl(AFun, ATerm, ATerm) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATerm, ATerm, ATerm) - Method in interface aterm.ATermFactory
Creates a function application.
makeAppl(AFun, ATerm, ATerm, ATerm) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATerm, ATerm, ATerm, ATerm) - Method in interface aterm.ATermFactory
Creates a function application.
makeAppl(AFun, ATerm, ATerm, ATerm, ATerm) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATerm, ATerm, ATerm, ATerm, ATerm) - Method in interface aterm.ATermFactory
Creates a function application.
makeAppl(AFun, ATerm, ATerm, ATerm, ATerm, ATerm) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATerm, ATerm, ATerm, ATerm, ATerm, ATerm) - Method in interface aterm.ATermFactory
Creates a function application.
makeAppl(AFun, ATerm, ATerm, ATerm, ATerm, ATerm, ATerm) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATerm, ATerm, ATerm, ATerm, ATerm, ATerm, ATerm) - Method in class aterm.pure.PureFactory
 
makeAppl(AFun, ATermList) - Method in interface aterm.ATermFactory
Creates a function application.
makeAppl(AFun, ATermList) - Method in class aterm.pure.PureFactory
 
makeBlob(byte[]) - Method in interface aterm.ATermFactory
Creates an ATermBlob (Binary Large OBject).
makeBlob(byte[]) - Method in class aterm.pure.PureFactory
 
makeBlob(byte[], ATermList) - Method in class aterm.pure.PureFactory
 
makeInt(int) - Method in interface aterm.ATermFactory
Creates a new ATermInt object
makeInt(int) - Method in class aterm.pure.PureFactory
 
makeInt(int, ATermList) - Method in class aterm.pure.PureFactory
 
makeList() - Method in interface aterm.ATermFactory
Creates an empty ATermList object
makeList() - Method in class aterm.pure.PureFactory
 
makeList(ATerm) - Method in interface aterm.ATermFactory
Creates a singleton ATermList object.
makeList(ATerm) - Method in class aterm.pure.PureFactory
 
makeList(ATerm, ATermList) - Method in interface aterm.ATermFactory
Creates a head-tail style ATermList.
makeList(ATerm, ATermList) - Method in class aterm.pure.PureFactory
 
makeList(ATerm, ATermList, ATermList) - Method in class aterm.pure.PureFactory
 
makePlaceholder(ATerm) - Method in interface aterm.ATermFactory
Creates an ATermPlaceholder object.
makePlaceholder(ATerm) - Method in class aterm.pure.PureFactory
 
makePlaceholder(ATerm, ATermList) - Method in class aterm.pure.PureFactory
 
makeReal(double) - Method in interface aterm.ATermFactory
Creates a new ATermReal object
makeReal(double) - Method in class aterm.pure.PureFactory
 
makeReal(double, ATermList) - Method in class aterm.pure.PureFactory
 
match(ATerm) - Method in interface aterm.ATerm
Matches this term against a term pattern.
match(String) - Method in interface aterm.ATerm
Matches this term against a String pattern.

P

parse(String) - Method in interface aterm.ATermFactory
Creates a new ATerm by parsing a string.
parse(String) - Method in class aterm.pure.PureFactory
 
PLACEHOLDER - Static variable in interface aterm.ATerm
A term of type PLACEHOLDER
PureFactory - class aterm.pure.PureFactory.
 
PureFactory() - Constructor for class aterm.pure.PureFactory
 
PureFactory(int, int) - Constructor for class aterm.pure.PureFactory
 

R

readFromBinaryFile(InputStream) - Method in interface aterm.ATermFactory
Creates an ATerm from a binary stream.
readFromBinaryFile(InputStream) - Method in class aterm.pure.PureFactory
 
readFromFile(InputStream) - Method in interface aterm.ATermFactory
Creates an ATerm from a stream.
readFromFile(InputStream) - Method in class aterm.pure.PureFactory
 
readFromFile(String) - Method in interface aterm.ATermFactory
Creates an ATerm from a given filename.
readFromFile(String) - Method in class aterm.pure.PureFactory
 
readFromSharedTextFile(InputStream) - Method in interface aterm.ATermFactory
Creates an ATerm from a shared text stream.
readFromSharedTextFile(InputStream) - Method in class aterm.pure.PureFactory
 
readFromTextFile(InputStream) - Method in interface aterm.ATermFactory
Creates an ATerm from a text stream.
readFromTextFile(InputStream) - Method in class aterm.pure.PureFactory
 
REAL - Static variable in interface aterm.ATerm
A term of type REAL
remove(ATerm) - Method in interface aterm.ATermList
Removes one occurance of an element from this list.
removeAll(ATerm) - Method in interface aterm.ATermList
Removes all occurances of an element in this list.
removeAnnotation(ATerm) - Method in interface aterm.ATerm
Removes a specific annotation from this term.
removeAnnotations() - Method in interface aterm.ATerm
Removes all annotations of this term.
removeElementAt(int) - Method in interface aterm.ATermList
Removes the element at a specific index in this list.
replace(ATerm, int) - Method in interface aterm.ATermList
Replaces a specific term in this list with another.
reverse() - Method in interface aterm.ATermList
Reverses the elements of this list.

S

setAnnotation(ATerm, ATerm) - Method in interface aterm.ATerm
Sets annotation of this term with given label.
setAnnotations(ATermList) - Method in interface aterm.ATerm
Sets all annotations of this term.
setArgument(ATerm, int) - Method in interface aterm.ATermAppl
Sets a specific argument of this application.
START_OF_SHARED_TEXT_FILE - Static variable in interface aterm.ATermFactory
 

T

toString() - Method in interface aterm.ATerm
Gets a string representation of this term.

W

writeToSharedTextFile(OutputStream) - Method in interface aterm.ATerm
Write a term to a shared text file/stream.
writeToTextFile(OutputStream) - Method in interface aterm.ATerm
Write a term to a text file/stream.

A B C D E G H I L M P R S T W