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 |
---|---|
static DebugLevel |
DebugLevel.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static DebugLevel[] |
DebugLevel.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifySystem.compute(DebugLevel debugLevel,
PrintStream debugOut)
Computes the result and prints progress information to
PrintStream according to DebugLevel.
|
Permutation |
EquivarianceSystem.compute(DebugLevel debugLevel,
PrintStream out)
Computes an equivariance permutation for given equivariance problems (see
EquivarianceSystem.addEquation(NominalTerm, NominalTerm, boolean)) and given
atoms/nabla (see EquivarianceSystem.start(Collection, FreshnessCtx)).
|
Permutation |
Equivariance.compute(NodeFactory factory,
boolean justify,
DebugLevel debugLevel,
PrintStream out)
Calls the rule based system EquivarianceSystem and tries to
justify the computed result if the second argument of this method is
true.
|
boolean |
EquivarianceSystem.putAtom(DebugLevel debugLevel,
PrintStream out,
Atom lAtom,
Atom rAtom) |
Constructor and Description |
---|
AntiUnify(EquationSystem<AntiUnifyProblem> eqSys,
FreshnessCtx nablaIn,
DebugLevel debugLevel,
NodeFactory factory)
Creates and initializes the encapsulated rule based system
AntiUnifySystem with the given equation system and freshness
context.
|