Package | Description |
---|---|
at.jku.risc.stout.nau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem ) to solve the nominal
anti-unification problem and an algorithm to solve the nominal
equivariance problem (EquivarianceSystem )
which is needed by the anti-unification algorithm. |
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(NodeFactory factory,
EquationSystem<AntiUnifyProblem> problemSet,
FreshnessCtx nablaIn,
Collection<? extends Atom> atoms,
List<AntiUnifyProblem> store,
FreshnessCtx nablaGen,
Substitution sigma)
Creates and initializes the rule based system.
|