Uses of Class
at.jku.risc.stout.uru.util.Printable

Packages that use Printable

Package	Description
at.jku.risc.stout.uru.data	This package contains the classes which are needed to build up the term tree.
at.jku.risc.stout.uru.data.atom	This package contains all the atomic types like Function, TermVar, HedgeVar.

Uses of Printable in at.jku.risc.stout.uru.data

Subclasses of Printable in at.jku.risc.stout.uru.data

Modifier and Type	Class and Description
class	Hedge A Hedge is a sequence of TermNodes.
class	TermNode A term node consists of a TermAtom and a Hedge.

Uses of Printable in at.jku.risc.stout.uru.data.atom

Subclasses of Printable in at.jku.risc.stout.uru.data.atom

Modifier and Type	Class and Description
class	Function A TermAtom which represents a function symbol.
class	HedgeVar A hedge variable can be substituted by a single TermNode or a hedge which is represented by a TermNode with a null-atom TermNode.isNullAtom().
class	TermAtom Base class for all the atomic types like function symbols and variables.
class	TermVar A simple term variable can be substituted by a single TermNode.
class	Variable This is the base class for different types of variables.