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

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

See: Description

Interface Summary

Interface	Description
Term	Terms are the elemental building blocks of a term graph.

Class Summary

Class	Description
FunctionApplication	A function application consists of a FunctionSymbol and a List of variables.
FunctionSymbol	A TermAtom which represents a function symbol.
HedgeVar	A hedge variable can be substituted by a single term or a hedge.
TermAtom	Base class for all the atomic types like function symbols and variables.
TermVar	A simple term variable can be substituted by a single term.
Variable	This is the base class for different types of variables.

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

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