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 |
---|---|
EquationSystem<EquivarianceProblem> |
Equivariance.getEqSys() |
Constructor and Description |
---|
Equivariance(EquationSystem<EquivarianceProblem> eqSys,
Collection<? extends Atom> atoms,
FreshnessCtx nablaIn)
Creates and initializes the encapsulated rule based system
EquivarianceSystem with the given equation system, atoms and
freshness context.
|
EquivarianceSystem(NodeFactory factory,
EquationSystem<EquivarianceProblem> problemSet) |