Package | Description |
---|---|
at.jku.risc.stout.urauc.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
(AlignFncLAA,
AlignFncInput ).
|
Modifier and Type | Method and Description |
---|---|
Substitution |
Substitution.clone() |
Substitution |
AntiUnifySystem.getSigma()
The substitution sigma contains the generalization after
AntiUnifySystem.compute() succeeded.
|
Constructor and Description |
---|
AntiUnifySystem(EquationSystem<AntiUnifyProblem> problemSet,
Substitution sigma)
Creates and initializes the rule based system.
|
AntiUnifySystem(EquationSystem<AntiUnifyProblem> problemSet,
Substitution sigma,
boolean applyResH)
Creates and initializes the rule based system.
|
AntiUnifySystem4V(EquationSystem<AntiUnifyProblem> problemSet,
Substitution sigma) |