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. |
at.jku.risc.stout.nau.data.atom |
This package contains the classes which are needed to build up the term tree
(E.g.: Atom,
Abstraction,
FunctionApplication,
Suspension,
SortAtom,
SortData,
NodeFactory,...).
|
Modifier and Type | Method and Description |
---|---|
Permutation |
EquivarianceSystem.compute()
Computes the equivariance permutation silently.
|
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.
|
Modifier and Type | Method and Description |
---|---|
static Permutation |
Permutation.compose(Permutation permHeadLeft,
Permutation permTailRight)
Returns a new permutation which is a composition of the two given ones.
|
Permutation |
Permutation.deepCopy() |
Permutation |
Suspension.getPerm() |
Permutation |
Permutation.inverse()
Returns the inverse permutation of this one.
|
Modifier and Type | Method and Description |
---|---|
static Permutation |
Permutation.compose(Permutation permHeadLeft,
Permutation permTailRight)
Returns a new permutation which is a composition of the two given ones.
|
Set<Atom[]> |
Permutation.getDisagreementSet(Permutation otherPerm,
Variable var,
FreshnessCtx nabla)
Returns the set of disagreements between this permutation and another
one.
|
Atom |
Atom.permute(Permutation perm) |
NominalTerm |
FunctionApplication.permute(Permutation perm) |
NominalTerm |
Suspension.permute(Permutation perm) |
Abstraction |
Abstraction.permute(Permutation perm) |
abstract NominalTerm |
NominalTerm.permute(Permutation perm) |
void |
Suspension.setPerm(Permutation perm) |
Constructor and Description |
---|
Suspension(Variable var,
Permutation perm)
Instantiates a new suspension with the given
Permutation . |