Package at.jku.risc.stout.nau.data

This package contains the nominal parser and some container classes like equation systems, freshness context and a container for nominal pairs.

See: Description

Class Summary

Class	Description
Equation<T extends Printable>	An equation consists of two NominalTerms.
EquationSystem<T extends Equation<?>>	A system of Equations
FreshnessCtx	A freshness context is a set of the form {a#X, b#Y,...} where a,b,... are atoms and X,Y,... are variables, stating that the atom a is fresh in X, b is fresh in Y,....
InputParser	Sort of data starts with upper case!!!
NodeFactory	This factory is used to instantiate new NominalTerms, subterms and atomic term blocks.
NominalPair	A nominal pair is a pair consisting of one freshness context ( FreshnessCtx) and one nominal term (NominalTerm).

Exception Summary

Exception	Description

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

This package contains the nominal parser and some container classes like equation systems, freshness context and a container for nominal pairs.