Package | Description |
---|---|
at.jku.risc.stout.tgau.algo |
This package contains the entry point for the anti-unification algorithm
AntiUnify, the rule based system
AntiUnifySystem, the corresponding
problem definitions TermAUP and
HedgeAUP, and some standard
implementations of a rigidity function
(RigidityFncSubsequence,
RigidityFncSubstring ).
|
at.jku.risc.stout.tgau.data |
This package contains the classes which are needed to build up the term
graphs and alignments.
|
at.jku.risc.stout.tgau.data.atom |
This package contains all the atomic types like
FunctionSymbol,
TermVar,
HedgeVar,
FunctionApplication.
|
at.jku.risc.stout.tgau.util |
This package contains utility classes like the
DataStructureFactory which
instantiates common data structures like Lists,
Maps, Sets.
|
Class and Description |
---|
ControlledException
Every exception which will be thrown by intention is a sub-class of this one.
|
Poolable
This interface defines the two methods which are needed to enable object
pooling.
|
Printable
Interface demands a function to print an object representation into an
arbitrary Writer.
|
PrintableX
Implements
Printable and overrides the method
PrintableX.toString() by redirecting it to the method
Printable.print(Writer). |
Class and Description |
---|
ControlledException
Every exception which will be thrown by intention is a sub-class of this one.
|
Poolable
This interface defines the two methods which are needed to enable object
pooling.
|
Printable
Interface demands a function to print an object representation into an
arbitrary Writer.
|
PrintableX
Implements
Printable and overrides the method
PrintableX.toString() by redirecting it to the method
Printable.print(Writer). |
TinyList
Tiny abstract list.
|
Class and Description |
---|
Printable
Interface demands a function to print an object representation into an
arbitrary Writer.
|
PrintableX
Implements
Printable and overrides the method
PrintableX.toString() by redirecting it to the method
Printable.print(Writer). |
Class and Description |
---|
CoordList
A pooled list of x,y coordinates.
|
DataStructureFactory
This factory class defines which data structures to use.
|
Pool
A pool of objects of a certain type.
|
Poolable
This interface defines the two methods which are needed to enable object
pooling.
|
Printable
Interface demands a function to print an object representation into an
arbitrary Writer.
|
TinyList
Tiny abstract list.
|