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.
|
Modifier and Type | Method and Description |
---|---|
EquationSystem<AntiUnifyProblem> |
AntiUnify.getEqOrig()
Returns the original system of equations.
|
EquationSystem<AntiUnifyProblem> |
AntiUnifySystem.getProblemSet() |
Constructor and Description |
---|
AntiUnify(RigidityFnc rigidFnc,
EquationSystem<AntiUnifyProblem> eq,
DebugLevel debugLevel) |
AntiUnifySystem(Queue<AntiUnifySystem> eqBranch,
RigidityFnc rFnc,
EquationSystem<AntiUnifyProblem> problemSet,
boolean setUID)
Most likely you don't need this constructor because the algorithm is
encapsulated in the class AntiUnify which is much easier to
use.
|
Modifier and Type | Method and Description |
---|---|
EquationSystem<T> |
EquationSystem.clone() |
Constructor and Description |
---|
InputParser(EquationSystem<T> system) |