Package at.jku.risc.stout.tgau.data

This package contains the classes which are needed to build up the term graphs and alignments.

See: Description

Class Summary

Class	Description
InputParser	Tiny term parser with the following rules: [A-Za-z1-9_.] are allowed for variable names and function names.
NodeFactory	A factory to create Terms and atomic types ( TermAtoms).
TermAtomEquation	A pair of two term atoms.
TermAtomList	A list of TermAtoms which is Poolable.
TermGraph	A term graph is a system of recursion equations with a predefined root.

Exception Summary

Exception	Description
MalformedTermException	This exception is thrown if something goes wrong while parsing the input term.

Package at.jku.risc.stout.tgau.data Description

This package contains the classes which are needed to build up the term graphs and alignments.