Package at.jku.risc.stout.uru.data.atom

This package contains all the atomic types like Function, TermVar, HedgeVar.

See: Description

Class Summary

Class	Description
Function	A TermAtom which represents a function symbol.
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().
NodeFactory	A factory to create TermNodes, Hedges and atomic types ( TermAtoms).
TermAtom	Base class for all the atomic types like function symbols and variables.
TermVar	A simple term variable can be substituted by a single TermNode.
Variable	This is the base class for different types of variables.

Package at.jku.risc.stout.uru.data.atom Description

This package contains all the atomic types like Function, TermVar, HedgeVar.