Package | Description |
---|---|
at.jku.risc.stout.urau.algo |
This package contains the classes of the rule based system
AntiUnifySystem, the corresponding
problem definition AntiUnifyProblem
and some standard implementations of a rigidity function
(RigidityFncSubsequence,
RigidityFncSubstring ).
|
at.jku.risc.stout.urau.data |
This package contains the classes which are needed to build up the term tree.
|
at.jku.risc.stout.urau.data.atom |
Class and Description |
---|
TermAtom
Base class for all the atomic types like function symbols and variables.
|
Variable
This is the base class for different types of variables.
|
Class and Description |
---|
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().
|
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.
|
Class and Description |
---|
TermAtom
Base class for all the atomic types like function symbols and variables.
|
Variable
This is the base class for different types of variables.
|