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

A

abbrevSize(int) - Static method in class aterm.pure.PureFactory

accept(Visitor) - Method in class aterm.pure.AFunImpl

accept(Visitor) - Method in class aterm.pure.ATermApplImpl

accept(Visitor) - Method in class aterm.pure.ATermBlobImpl

accept(Visitor) - Method in class aterm.pure.ATermIntImpl

accept(Visitor) - Method in class aterm.pure.ATermListImpl

accept(Visitor) - Method in class aterm.pure.ATermLongImpl

accept(Visitor) - Method in class aterm.pure.ATermPlaceholderImpl

accept(Visitor) - Method in class aterm.pure.ATermRealImpl

accept(Visitor) - Method in interface aterm.Visitable

AFun - Interface in aterm

An AFun represents a function symbol

AFUN - Static variable in interface aterm.ATerm

A term of type AFUN (function symbol)

AFunImpl - Class in aterm.pure

AFunImpl(PureFactory) - Constructor for class aterm.pure.AFunImpl

AFunImpl(PureFactory, String, int, boolean) - Constructor for class aterm.pure.AFunImpl

append(ATerm) - Method in interface aterm.ATermList

Appends an element to this list.

append(ATerm) - Method in class aterm.pure.ATermListImpl

APPL - Static variable in interface aterm.ATerm

A term of type APPL (function application)

aterm - package aterm

ATerm - Interface in 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

aterm.pure.binary - package aterm.pure.binary

aterm.stream - package aterm.stream

ATermAppl - Interface in aterm

An ATermAppl represents a function application.

ATermApplImpl - Class in aterm.pure

ATermApplImpl(PureFactory) - Constructor for class aterm.pure.ATermApplImpl

ATermApplImpl(PureFactory, ATermList, AFun, ATerm[]) - Constructor for class aterm.pure.ATermApplImpl

ATermBlob - Interface in aterm

This interface describes the functionality of an ATermBlob (Binary Large OBject).

ATermBlobImpl - Class in aterm.pure

ATermBlobImpl(PureFactory) - Constructor for class aterm.pure.ATermBlobImpl

ATermBlobImpl(PureFactory, ATermList, byte[]) - Constructor for class aterm.pure.ATermBlobImpl

ATermFactory - Interface in aterm

An ATermFactory is responsible for making new ATerms.

ATermFwd - Class in aterm

ATermFwd(Visitor) - Constructor for class aterm.ATermFwd

ATermFwdVoid - Class in aterm

ATermFwdVoid() - Constructor for class aterm.ATermFwdVoid

ATermImpl - Class in aterm.pure

ATermImpl(PureFactory) - Constructor for class aterm.pure.ATermImpl

ATermImpl(PureFactory, ATermList) - Constructor for class aterm.pure.ATermImpl

ATermInt - Interface in aterm

This interface describes the functionality of an ATermInt

ATermIntImpl - Class in aterm.pure

ATermIntImpl(PureFactory) - Constructor for class aterm.pure.ATermIntImpl

ATermIntImpl(PureFactory, ATermList, int) - Constructor for class aterm.pure.ATermIntImpl

ATermList - Interface in aterm

This interface describes the functionality of an ATermList

ATermListImpl - Class in aterm.pure

ATermListImpl(PureFactory) - Constructor for class aterm.pure.ATermListImpl

ATermListImpl(PureFactory, ATermList, ATerm, ATermList) - Constructor for class aterm.pure.ATermListImpl

ATermLong - Interface in aterm

This interface describes the functionality of an ATermLong

ATermLongImpl - Class in aterm.pure

ATermLongImpl(PureFactory) - Constructor for class aterm.pure.ATermLongImpl

ATermLongImpl(PureFactory, ATermList, long) - Constructor for class aterm.pure.ATermLongImpl

ATermPlaceholder - Interface in aterm

This interface describes the functionality of an ATermPlaceholder

ATermPlaceholderImpl - Class in aterm.pure

ATermPlaceholderImpl(PureFactory) - Constructor for class aterm.pure.ATermPlaceholderImpl

ATermPlaceholderImpl(PureFactory, ATermList, ATerm) - Constructor for class aterm.pure.ATermPlaceholderImpl

ATermReal - Interface in aterm

This interface describes the functionality of an ATermReal

ATermRealImpl - Class in aterm.pure

ATermRealImpl(PureFactory) - Constructor for class aterm.pure.ATermRealImpl

ATermRealImpl(PureFactory, ATermList, double) - Constructor for class aterm.pure.ATermRealImpl

ATermVisitableImpl - Class in aterm.pure

ATermVisitableImpl() - Constructor for class aterm.pure.ATermVisitableImpl

B

BAFReader - Class in aterm.pure.binary

Reader for the binary aterm format (BAF).

BAFReader(PureFactory, InputStream) - Constructor for class aterm.pure.binary.BAFReader

BAFReader.BitStream - Class in aterm.pure.binary

BAFReader.BitStream(InputStream) - Constructor for class aterm.pure.binary.BAFReader.BitStream

BinaryReader - Class in aterm.pure.binary

Reconstructs an ATerm from the given (series of) buffer(s).

BinaryReader(PureFactory) - Constructor for class aterm.pure.binary.BinaryReader

Constructor.

BinaryWriter - Class in aterm.pure.binary

Writes the given ATerm to a (streamable) binary format.

BinaryWriter(ATerm) - Constructor for class aterm.pure.binary.BinaryWriter

Constructor.

BLOB - Static variable in interface aterm.ATerm

A term of type BLOB (Binary Large OBject)

BufferedOutputStreamWriter - Class in aterm.stream

This is an unsynchronized buffered outputstream writer.

BufferedOutputStreamWriter(OutputStream) - Constructor for class aterm.stream.BufferedOutputStreamWriter

Contructor.

BufferedOutputStreamWriter(OutputStream, int) - Constructor for class aterm.stream.BufferedOutputStreamWriter

Constructor.

C

close() - Method in class aterm.stream.BufferedOutputStreamWriter

Closes this writer and its underlaying stream.

concat(ATermList) - Method in interface aterm.ATermList

Concatenates a list to this list.

concat(ATermList) - Method in class aterm.pure.ATermListImpl

D

deserialize(ByteBuffer) - Method in class aterm.pure.binary.BinaryReader

Constructs (a part of) the ATerm from the binary representation present in the given buffer.

dictGet(ATerm) - Method in interface aterm.ATermList

Retrieves an element from a dictionary list.

dictGet(ATerm) - Method in class aterm.pure.ATermListImpl

dictPut(ATerm, ATerm) - Method in interface aterm.ATermList

Sets the value for an element in a dictionary list.

dictPut(ATerm, ATerm) - Method in class aterm.pure.ATermListImpl

dictRemove(ATerm) - Method in interface aterm.ATermList

Removes an element from a dictionary list.

dictRemove(ATerm) - Method in class aterm.pure.ATermListImpl

duplicate() - Method in class aterm.pure.AFunImpl

duplicate() - Method in class aterm.pure.ATermApplImpl

duplicate() - Method in class aterm.pure.ATermBlobImpl

duplicate() - Method in class aterm.pure.ATermIntImpl

duplicate() - Method in class aterm.pure.ATermListImpl

duplicate() - Method in class aterm.pure.ATermLongImpl

duplicate() - Method in class aterm.pure.ATermPlaceholderImpl

duplicate() - Method in class aterm.pure.ATermRealImpl

E

elementAt(int) - Method in interface aterm.ATermList

Gets the element at a specific index of this list.

elementAt(int) - Method in class aterm.pure.ATermListImpl

equals(Object) - Method in interface aterm.ATerm

Checks equality of this term against any java object.

equals(Object) - Method in class aterm.pure.ATermImpl

equivalent(SharedObject) - Method in class aterm.pure.AFunImpl

equivalent(SharedObject) - Method in class aterm.pure.ATermApplImpl

equivalent(SharedObject) - Method in class aterm.pure.ATermBlobImpl

equivalent(SharedObject) - Method in class aterm.pure.ATermIntImpl

equivalent(SharedObject) - Method in class aterm.pure.ATermListImpl

equivalent(SharedObject) - Method in class aterm.pure.ATermLongImpl

equivalent(SharedObject) - Method in class aterm.pure.ATermPlaceholderImpl

equivalent(SharedObject) - Method in class aterm.pure.ATermRealImpl

F

factory - Variable in class aterm.pure.ATermImpl

findEmptyHashCode() - Method in class aterm.pure.ATermListImpl

flush() - Method in class aterm.stream.BufferedOutputStreamWriter

Forces the writing of all buffered data.

flushBitsFromReader() - Method in class aterm.pure.binary.BAFReader.BitStream

G

getAFun() - Method in interface aterm.ATermAppl

Gets the AFun object that represents the function symbol of this application

getAFun() - Method in class aterm.pure.ATermApplImpl

getAnnotation(ATerm) - Method in interface aterm.ATerm

Gets a annotation associated with specific label from this term.

getAnnotation(ATerm) - Method in class aterm.pure.AFunImpl

getAnnotation(ATerm) - Method in class aterm.pure.ATermImpl

getAnnotations() - Method in interface aterm.ATerm

Gets all annotations of this term.

getAnnotations() - Method in class aterm.pure.AFunImpl

getAnnotations() - Method in class aterm.pure.ATermImpl

getArgument(int) - Method in interface aterm.ATermAppl

Gets a specific argument of this application.

getArgument(int) - Method in class aterm.pure.ATermApplImpl

getArgumentArray() - Method in interface aterm.ATermAppl

Gets the arguments of this application as an array of ATerm objects.

getArgumentArray() - Method in class aterm.pure.ATermApplImpl

getArguments() - Method in interface aterm.ATermAppl

Gets the arguments of this application.

getArguments() - Method in class aterm.pure.ATermApplImpl

getArity() - Method in interface aterm.AFun

Gets the arity of this application.

getArity() - Method in interface aterm.ATermAppl

Gets the arity of this application.

getArity() - Method in class aterm.pure.AFunImpl

getArity() - Method in class aterm.pure.ATermApplImpl

getBlobData() - Method in interface aterm.ATermBlob

Gets the data in this blob.

getBlobData() - Method in class aterm.pure.ATermBlobImpl

getBlobSize() - Method in interface aterm.ATermBlob

Gets the size (in bytes) of the data in this blob.

getBlobSize() - Method in class aterm.pure.ATermBlobImpl

getChildAt(int) - Method in class aterm.pure.ATermVisitableImpl

getChildCount() - Method in class aterm.pure.ATermVisitableImpl

getEmpty() - Method in interface aterm.ATermList

Gets the empty list associated to this list.

getEmpty() - Method in class aterm.pure.ATermListImpl

getEmpty() - Method in class aterm.pure.PureFactory

getFactory() - Method in interface aterm.ATerm

Retrieves the factory responsible for creating this ATerm.

getFactory() - Method in class aterm.pure.ATermImpl

getFirst() - Method in interface aterm.ATermList

Gets the first element of this list.

getFirst() - Method in class aterm.pure.ATermListImpl

getInstance() - Static method in class aterm.pure.SingletonFactory

getInt() - Method in interface aterm.ATermInt

Gets the integer value from this term.

getInt() - Method in class aterm.pure.ATermIntImpl

getLast() - Method in interface aterm.ATermList

Gets the last element of this list.

getLast() - Method in class aterm.pure.ATermListImpl

getLength() - Method in interface aterm.ATermList

Gets the length (number of elements) of this list.

getLength() - Method in class aterm.pure.ATermListImpl

getLong() - Method in interface aterm.ATermLong

Gets the long value from this term.

getLong() - Method in class aterm.pure.ATermLongImpl

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.

getName() - Method in class aterm.pure.AFunImpl

getName() - Method in class aterm.pure.ATermApplImpl

getNext() - Method in interface aterm.ATermList

Gets the tail (all but the first element) of this list.

getNext() - Method in class aterm.pure.ATermListImpl

getNrSubTerms() - Method in class aterm.pure.ATermApplImpl

getNrSubTerms() - Method in class aterm.pure.ATermImpl

getNrSubTerms() - Method in class aterm.pure.ATermListImpl

getNrSubTerms() - Method in class aterm.pure.ATermPlaceholderImpl

getNrSubTerms() - Method in class aterm.pure.ATermVisitableImpl

getPlaceholder() - Method in interface aterm.ATermPlaceholder

Gets the type of this placeholder.

getPlaceholder() - Method in class aterm.pure.ATermPlaceholderImpl

getPrefix() - Method in interface aterm.ATermList

Gets the prefix (all but the last element) of this list.

getPrefix() - Method in class aterm.pure.ATermListImpl

getPureFactory() - Method in class aterm.pure.ATermImpl

getReal() - Method in interface aterm.ATermReal

Gets the real value from this term as a double.

getReal() - Method in class aterm.pure.ATermRealImpl

getRoot() - Method in class aterm.pure.binary.BinaryReader

Returns the reconstructed ATerm.

getSlice(int, int) - Method in interface aterm.ATermList

Gets a portion (slice) of this list.

getSlice(int, int) - Method in class aterm.pure.ATermListImpl

getSubTerm(int) - Method in class aterm.pure.ATermApplImpl

getSubTerm(int) - Method in class aterm.pure.ATermImpl

getSubTerm(int) - Method in class aterm.pure.ATermListImpl

getSubTerm(int) - Method in class aterm.pure.ATermPlaceholderImpl

getSubTerm(int) - Method in class aterm.pure.ATermVisitableImpl

getType() - Method in interface aterm.ATerm

Gets the type of this term.

getType() - Method in class aterm.pure.AFunImpl

getType() - Method in class aterm.pure.ATermApplImpl

getType() - Method in class aterm.pure.ATermBlobImpl

getType() - Method in class aterm.pure.ATermIntImpl

getType() - Method in class aterm.pure.ATermListImpl

getType() - Method in class aterm.pure.ATermLongImpl

getType() - Method in class aterm.pure.ATermPlaceholderImpl

getType() - Method in class aterm.pure.ATermRealImpl

getUniqueIdentifier() - Method in interface aterm.Identifiable

getUniqueIdentifier() - Method in class aterm.pure.ATermImpl

H

hasAnnotations() - Method in interface aterm.ATerm

hasAnnotations() - Method in class aterm.pure.ATermImpl

hasFailed() - Method in class aterm.stream.BufferedOutputStreamWriter

Returns whether or not an error occured during operation of this writer.

hashCode() - Method in interface aterm.ATerm

Gets a hashcode value of this term.

hashCode() - Method in class aterm.pure.ATermImpl

hashFunction() - Method in class aterm.pure.ATermApplImpl

I

Identifiable - Interface in aterm

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.

indexOf(ATerm, int) - Method in class aterm.pure.ATermListImpl

init(int, String, int, boolean) - Method in class aterm.pure.AFunImpl

init(int, ATermList, AFun, ATerm[]) - Method in class aterm.pure.ATermApplImpl

init(int, ATermList, byte[]) - Method in class aterm.pure.ATermBlobImpl

init(int, ATermList) - Method in class aterm.pure.ATermImpl

init(int, ATermList, int) - Method in class aterm.pure.ATermIntImpl

init(int, ATermList, ATerm, ATermList) - Method in class aterm.pure.ATermListImpl

init(int, ATermList, long) - Method in class aterm.pure.ATermLongImpl

init(int, ATermList, ATerm) - Method in class aterm.pure.ATermPlaceholderImpl

init(int, ATermList, double) - Method in class aterm.pure.ATermRealImpl

initHashCode(String, int, boolean) - Method in class aterm.pure.AFunImpl

initHashCode(ATermList, AFun, ATerm[]) - Method in class aterm.pure.ATermApplImpl

initHashCode(ATermList, int) - Method in class aterm.pure.ATermIntImpl

initHashCode(ATermList, ATerm, ATermList) - Method in class aterm.pure.ATermListImpl

initHashCode(ATermList, long) - Method in class aterm.pure.ATermLongImpl

insert(ATerm) - Method in interface aterm.ATermList

Inserts a term in front of this list.

insert(ATerm) - Method in class aterm.pure.ATermListImpl

insertAt(ATerm, int) - Method in interface aterm.ATermList

Inserts an element at a specific position in this list.

insertAt(ATerm, int) - Method in class aterm.pure.ATermListImpl

INT - Static variable in interface aterm.ATerm

A term of type INT

internSetAnnotations(ATermList) - Method in class aterm.pure.ATermImpl

isBinaryATerm(BufferedInputStream) - Static method in class aterm.pure.binary.BAFReader

isDebugging - Static variable in class aterm.pure.binary.BAFReader

isDeepEqual(ATermImpl, ATerm) - Method in class aterm.pure.PureFactory

isDone() - Method in class aterm.pure.binary.BinaryReader

Checks if we are done serializing.

isEmpty() - Method in interface aterm.ATermList

Checks if this list is the empty list.

isEmpty() - Method in class aterm.pure.ATermListImpl

isEqual(ATerm) - Method in interface aterm.ATerm

Checks equality of this term against another term.

isEqual(ATerm) - Method in class aterm.pure.ATermImpl

isFinished() - Method in class aterm.pure.binary.BinaryWriter

Checks if we are done serializing.

isQuoted() - Method in interface aterm.AFun

Checks if this application is quoted.

isQuoted() - Method in interface aterm.ATermAppl

Checks if this application is quoted.

isQuoted() - Method in class aterm.pure.AFunImpl

isQuoted() - Method in class aterm.pure.ATermApplImpl

L

lastIndexOf(ATerm, int) - Method in interface aterm.ATermList

Gets the last occurance of a term in this list.

lastIndexOf(ATerm, int) - Method in class aterm.pure.ATermListImpl

LIST - Static variable in interface aterm.ATerm

A term of type LIST

LONG - Static variable in interface aterm.ATerm

A term of type LONG

M

make(List<Object>) - 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, List<Object>) - Method in interface aterm.ATermFactory

Creates a new ATerm given a string pattern and a list of arguments.

make(ATerm, List<Object>) - Method in interface aterm.ATermFactory

Creates a new ATerm given a pattern and a list of arguments.

make(String, Object) - Method in interface aterm.ATermFactory

Creates a new ATerm given a pattern and a single argument.

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, 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 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 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 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 interface aterm.ATermFactory

Creates a new ATerm given a pattern and a fixed number of arguments.

make(AFun, ATerm[], ATermList) - Method in class aterm.pure.ATermApplImpl

make(AFun, ATerm[]) - Method in class aterm.pure.ATermApplImpl

make(List<Object>) - Method in class aterm.pure.ATermApplImpl

make(List<Object>) - Method in class aterm.pure.ATermImpl

make(ATerm, ATermList) - Method in class aterm.pure.ATermListImpl

make(ATerm, ATermList, ATermList) - Method in class aterm.pure.ATermListImpl

make(List<Object>) - Method in class aterm.pure.ATermListImpl

make(List<Object>) - Method in class aterm.pure.ATermPlaceholderImpl

make(String) - Method in class aterm.pure.PureFactory

make(String, List<Object>) - Method in class aterm.pure.PureFactory

make(String, Object) - Method in class aterm.pure.PureFactory

make(String, Object, Object) - Method in class aterm.pure.PureFactory

make(String, Object, Object, Object) - Method in class aterm.pure.PureFactory

make(String, Object, Object, Object, Object) - Method in class aterm.pure.PureFactory

make(String, Object, Object, Object, Object, Object) - Method in class aterm.pure.PureFactory

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 class aterm.pure.PureFactory

make(ATerm, List<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, ATerm) - Method in interface aterm.ATermFactory

Creates a function application.

makeAppl(AFun, ATerm, ATerm) - Method in interface aterm.ATermFactory

Creates a function application.

makeAppl(AFun, ATerm, ATerm, ATerm) - Method in interface aterm.ATermFactory

Creates a function application.

makeAppl(AFun, ATerm, ATerm, ATerm, ATerm) - Method in interface aterm.ATermFactory

Creates a function application.

makeAppl(AFun, ATerm, ATerm, ATerm, ATerm, ATerm) - Method in interface aterm.ATermFactory

Creates a function application.

makeAppl(AFun, ATerm, ATerm, ATerm, ATerm, ATerm, ATerm) - Method in interface aterm.ATermFactory

Creates a function application.

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) - Method in class aterm.pure.PureFactory

makeAppl(AFun, ATerm) - Method in class aterm.pure.PureFactory

makeAppl(AFun, ATerm, ATerm) - Method in class aterm.pure.PureFactory

makeAppl(AFun, ATerm, ATerm, ATerm) - Method in class aterm.pure.PureFactory

makeAppl(AFun, ATerm, ATerm, ATerm, ATerm) - Method in class aterm.pure.PureFactory

makeAppl(AFun, ATerm, ATerm, ATerm, ATerm, ATerm) - Method in class aterm.pure.PureFactory

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

makeApplList(AFun, ATermList) - Method in interface aterm.ATermFactory

Creates a function application.

makeApplList(AFun, ATermList) - Method in class aterm.pure.PureFactory

makeApplList(AFun, ATermList, 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(ATerm) - Method in interface aterm.ATermFactory

Creates a singleton ATermList object.

makeList(ATerm, ATermList) - Method in interface aterm.ATermFactory

Creates a head-tail style ATermList.

makeList() - Method in class aterm.pure.PureFactory

makeList(ATerm) - Method in class aterm.pure.PureFactory

makeList(ATerm, ATermList) - Method in class aterm.pure.PureFactory

makeList(ATerm, ATermList, ATermList) - Method in class aterm.pure.PureFactory

makeLong(long) - Method in interface aterm.ATermFactory

Creates a new ATermLong object

makeLong(long) - Method in class aterm.pure.PureFactory

makeLong(long, 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(String) - Method in interface aterm.ATerm

Matches this term against a String pattern.

match(ATerm) - Method in interface aterm.ATerm

Matches this term against a term pattern.

match(ATerm, List<Object>) - Method in class aterm.pure.ATermApplImpl

match(ATerm, List<Object>) - Method in class aterm.pure.ATermBlobImpl

match(String) - Method in class aterm.pure.ATermImpl

match(ATerm) - Method in class aterm.pure.ATermImpl

match(ATerm, List<Object>) - Method in class aterm.pure.ATermIntImpl

match(ATerm, List<Object>) - Method in class aterm.pure.ATermListImpl

match(ATerm, List<Object>) - Method in class aterm.pure.ATermLongImpl

match(ATerm, List<Object>) - Method in class aterm.pure.ATermPlaceholderImpl

match(ATerm, List<Object>) - Method in class aterm.pure.ATermRealImpl

P

parse(String) - Method in interface aterm.ATermFactory

Creates a new ATerm by parsing a string.

parse(String) - Method in class aterm.pure.PureFactory

ParseError - Exception in aterm

A ParseError is thrown when an error occurs during the parsing of a term.

ParseError(String) - Constructor for exception aterm.ParseError

Constructs a ParseError given a description of the error

PLACEHOLDER - Static variable in interface aterm.ATerm

A term of type PLACEHOLDER

PureFactory - Class in aterm.pure

PureFactory() - Constructor for class aterm.pure.PureFactory

PureFactory(int) - Constructor for class aterm.pure.PureFactory

R

readBits(int) - Method in class aterm.pure.binary.BAFReader.BitStream

readFromBinaryFile(InputStream) - Method in interface aterm.ATermFactory

Creates an ATerm from a binary stream.

readFromBinaryFile(boolean) - Method in class aterm.pure.binary.BAFReader

readFromBinaryFile(InputStream) - Method in class aterm.pure.PureFactory

readFromFile(InputStream) - Method in interface aterm.ATermFactory

Creates an ATerm from a stream.

readFromFile(String) - Method in interface aterm.ATermFactory

Creates an ATerm from a given filename.

readFromFile(InputStream) - Method in class aterm.pure.PureFactory

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

readInt() - Method in class aterm.pure.binary.BAFReader.BitStream

readString() - Method in class aterm.pure.binary.BAFReader.BitStream

readTermFromSAFFile(PureFactory, File) - Static method in class aterm.pure.binary.BinaryReader

Reads the ATerm from the given SAF encoded file.

readTermFromSAFString(PureFactory, byte[]) - Static method in class aterm.pure.binary.BinaryReader

Reads the ATerm from the given SAF encoded data.

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.

remove(ATerm) - Method in class aterm.pure.ATermListImpl

removeAll(ATerm) - Method in interface aterm.ATermList

Removes all occurances of an element in this list.

removeAll(ATerm) - Method in class aterm.pure.ATermListImpl

removeAnnotation(ATerm) - Method in interface aterm.ATerm

Removes a specific annotation from this term.

removeAnnotation(ATerm) - Method in class aterm.pure.ATermImpl

removeAnnotations() - Method in interface aterm.ATerm

Removes all annotations of this term.

removeAnnotations() - Method in class aterm.pure.ATermImpl

removeElementAt(int) - Method in interface aterm.ATermList

Removes the element at a specific index in this list.

removeElementAt(int) - Method in class aterm.pure.ATermListImpl

replace(ATerm, int) - Method in interface aterm.ATermList

Replaces a specific term in this list with another.

replace(ATerm, int) - Method in class aterm.pure.ATermListImpl

reverse() - Method in interface aterm.ATermList

Reverses the elements of this list.

reverse() - Method in class aterm.pure.ATermListImpl

S

serialize(BufferedOutputStreamWriter) - Method in interface aterm.AFun

serialize(BufferedOutputStreamWriter) - Method in class aterm.pure.AFunImpl

serialize(ByteBuffer) - Method in class aterm.pure.binary.BinaryWriter

Serializes the term from the position where it left of the last time this method was called.

setAnnotation(ATerm, ATerm) - Method in interface aterm.ATerm

Sets annotation of this term with given label.

setAnnotation(ATerm, ATerm) - Method in class aterm.pure.ATermImpl

setAnnotations(ATermList) - Method in interface aterm.ATerm

Sets all annotations of this term.

setAnnotations(ATermList) - Method in class aterm.pure.AFunImpl

setAnnotations(ATermList) - Method in class aterm.pure.ATermApplImpl

setAnnotations(ATermList) - Method in class aterm.pure.ATermBlobImpl

setAnnotations(ATermList) - Method in class aterm.pure.ATermIntImpl

setAnnotations(ATermList) - Method in class aterm.pure.ATermListImpl

setAnnotations(ATermList) - Method in class aterm.pure.ATermLongImpl

setAnnotations(ATermList) - Method in class aterm.pure.ATermPlaceholderImpl

setAnnotations(ATermList) - Method in class aterm.pure.ATermRealImpl

setArgument(ATerm, int) - Method in interface aterm.ATermAppl

Sets a specific argument of this application.

setArgument(ATerm, int) - Method in class aterm.pure.ATermApplImpl

setChildAt(int, Visitable) - Method in class aterm.pure.ATermVisitableImpl

setHashCode(int) - Method in class aterm.pure.ATermImpl

setPlaceholder(ATerm) - Method in class aterm.pure.ATermPlaceholderImpl

setSubTerm(int, ATerm) - Method in class aterm.pure.ATermApplImpl

setSubTerm(int, ATerm) - Method in class aterm.pure.ATermImpl

setSubTerm(int, ATerm) - Method in class aterm.pure.ATermListImpl

setSubTerm(int, ATerm) - Method in class aterm.pure.ATermPlaceholderImpl

setSubTerm(int, ATerm) - Method in class aterm.pure.ATermVisitableImpl

setUniqueIdentifier(int) - Method in class aterm.pure.ATermImpl

SingletonFactory - Class in aterm.pure

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.

toString() - Method in class aterm.pure.AFunImpl

toString() - Method in class aterm.pure.ATermImpl

V

visit(Visitable) - Method in class aterm.ATermFwd

visit(Visitable) - Method in class aterm.ATermFwdVoid

Visitable - Interface in aterm

visitAFun(AFun) - Method in class aterm.ATermFwd

visitAFun(AFun) - Method in class aterm.ATermFwdVoid

visitAFun(AFun) - Method in interface aterm.Visitor

visitAppl(ATermAppl) - Method in class aterm.ATermFwd

visitAppl(ATermAppl) - Method in class aterm.ATermFwdVoid

visitAppl(ATermAppl) - Method in interface aterm.Visitor

visitATerm(ATerm) - Method in class aterm.ATermFwd

visitATerm(ATerm) - Method in class aterm.ATermFwdVoid

visitATerm(ATerm) - Method in interface aterm.Visitor

visitBlob(ATermBlob) - Method in class aterm.ATermFwd

visitBlob(ATermBlob) - Method in class aterm.ATermFwdVoid

visitBlob(ATermBlob) - Method in interface aterm.Visitor

visitInt(ATermInt) - Method in class aterm.ATermFwd

visitInt(ATermInt) - Method in class aterm.ATermFwdVoid

visitInt(ATermInt) - Method in interface aterm.Visitor

visitList(ATermList) - Method in class aterm.ATermFwd

visitList(ATermList) - Method in class aterm.ATermFwdVoid

visitList(ATermList) - Method in interface aterm.Visitor

visitLong(ATermLong) - Method in class aterm.ATermFwd

visitLong(ATermLong) - Method in class aterm.ATermFwdVoid

visitLong(ATermLong) - Method in interface aterm.Visitor

Visitor - Interface in aterm

visitPlaceholder(ATermPlaceholder) - Method in class aterm.ATermFwd

visitPlaceholder(ATermPlaceholder) - Method in class aterm.ATermFwdVoid

visitPlaceholder(ATermPlaceholder) - Method in interface aterm.Visitor

visitReal(ATermReal) - Method in class aterm.ATermFwd

visitReal(ATermReal) - Method in class aterm.ATermFwdVoid

visitReal(ATermReal) - Method in interface aterm.Visitor

voidVisitAppl(ATermAppl) - Method in class aterm.ATermFwdVoid

voidVisitAppl(ATermAppl) - Method in class aterm.pure.binary.BinaryWriter

Serializes the given appl.

voidVisitATerm(ATerm) - Method in class aterm.ATermFwdVoid

voidVisitBlob(ATermBlob) - Method in class aterm.ATermFwdVoid

voidVisitBlob(ATermBlob) - Method in class aterm.pure.binary.BinaryWriter

Serializes the given blob.

voidVisitInt(ATermInt) - Method in class aterm.ATermFwdVoid

voidVisitInt(ATermInt) - Method in class aterm.pure.binary.BinaryWriter

Serializes the given int.

voidVisitList(ATermList) - Method in class aterm.ATermFwdVoid

voidVisitList(ATermList) - Method in class aterm.pure.binary.BinaryWriter

Serializes the given list.

voidVisitLong(ATermLong) - Method in class aterm.ATermFwdVoid

voidVisitLong(ATermLong) - Method in class aterm.pure.binary.BinaryWriter

Serializes the given long.

voidVisitPlaceholder(ATermPlaceholder) - Method in class aterm.ATermFwdVoid

voidVisitPlaceholder(ATermPlaceholder) - Method in class aterm.pure.binary.BinaryWriter

Serializes the given placeholder.

voidVisitReal(ATermReal) - Method in class aterm.ATermFwdVoid

voidVisitReal(ATermReal) - Method in class aterm.pure.binary.BinaryWriter

Serializes the given real.

W

write(char) - Method in class aterm.stream.BufferedOutputStreamWriter

Writes a single character.

write(char[], int, int) - Method in class aterm.stream.BufferedOutputStreamWriter

Bulk write function.

write(String) - Method in class aterm.stream.BufferedOutputStreamWriter

Bulk write function, specificly meant for strings.

writeTermToSAFFile(ATerm, File) - Static method in class aterm.pure.binary.BinaryWriter

Writes the given aterm to the given file.

writeTermToSAFString(ATerm) - Static method in class aterm.pure.binary.BinaryWriter

Writes the given aterm to a byte array.

writeToSharedTextFile(OutputStream) - Method in interface aterm.ATerm

Write a term to a shared text file/stream.

writeToSharedTextFile(OutputStream) - Method in class aterm.pure.ATermImpl

writeToTextFile(OutputStream) - Method in interface aterm.ATerm

Write a term to a text file/stream.

writeToTextFile(ATermWriter) - Method in class aterm.pure.ATermImpl

writeToTextFile(OutputStream) - Method in class aterm.pure.ATermImpl

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