Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Tree
Deprecated
Index
Help
PREV NEXT
FRAMES
NO FRAMES
All Classes