Package | Description |
---|---|
at.jku.risc.stout.hoau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem )
and its sub-algorighm PermEquivSystem . |
at.jku.risc.stout.hoau.data |
This package contains the classes which are needed to build up the term tree
and the
DataStructureFactory which
instantiates common data structures like List s,
Map s, Set s. |
at.jku.risc.stout.hoau.data.atom |
Class and Description |
---|
BoundVariable
A bound variable is special type of Variable which stores it's
origin name because it may be renamed by alpha conversion.
|
TermAtom
Base class for all the atomic types like function symbols and variables.
|
Variable
A TermAtom which represents a variable.
|
Class and Description |
---|
BoundVariable
A bound variable is special type of Variable which stores it's
origin name because it may be renamed by alpha conversion.
|
TermAtom
Base class for all the atomic types like function symbols and variables.
|
Variable
A TermAtom which represents a variable.
|
Class and Description |
---|
BoundVariable
A bound variable is special type of Variable which stores it's
origin name because it may be renamed by alpha conversion.
|
Function
A TermAtom which represents a function symbol.
|
TermAtom
Base class for all the atomic types like function symbols and variables.
|
Variable
A TermAtom which represents a variable.
|