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 |
This package contains the nominal parser and some container classes like
equation systems, freshness context and a container for nominal pairs.
|
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 |
---|---|
Variable |
AntiUnifyProblem.getGeneralizationVar()
The most general generalization.
|
Modifier and Type | Method and Description |
---|---|
Map<Variable,NominalTerm> |
Substitution.getMapping() |
Modifier and Type | Method and Description |
---|---|
void |
AntiUnify.callback(AntiUnifySystem result,
Variable generalizationVar)
This callback function will be invoked for every found generalization.
|
void |
Substitution.composeInRange(Variable fromVar,
NominalTerm toTerm)
Substitution composition which does not add new variables to the mapping.
|
NominalTerm |
Substitution.get(Variable var)
Returns the associated NominalTerm for a given
Variable or null if no mapping exists.
|
static void |
AntiUnifyProblem.printString(Writer toPrint,
NominalTerm left,
NominalTerm right,
Variable genVar) |
void |
Substitution.put(Variable fromVar,
NominalTerm toTerm)
Add a new mapping of the form: Variable -> Term.
|
Modifier and Type | Field and Description |
---|---|
Class<? extends Variable> |
NodeFactory.classVariable
Class to use for variable instantiation.
|
Modifier and Type | Method and Description |
---|---|
Variable |
NodeFactory.newVarAtom(String name,
String sort)
Instantiates a variable of the specified sort.
|
Variable |
NodeFactory.newVarData(String name,
String sort)
Instantiates a variable of the specified sort.
|
Variable |
NodeFactory.newVariable(String name)
Instantiates an untyped variable.
|
Variable |
NodeFactory.newVariable(String name,
Sort sort)
Instantiates a variable of the specified sort.
|
Variable |
NodeFactory.obtainFreshVar(Sort sort) |
Modifier and Type | Method and Description |
---|---|
Set<Variable> |
FreshnessCtx.get(Atom fresh) |
Set<Variable> |
FreshnessCtx.removeAll(Atom atom) |
Modifier and Type | Method and Description |
---|---|
boolean |
FreshnessCtx.contains(Atom atom,
Variable var) |
Set<Atom> |
FreshnessCtx.get(Variable fresh) |
void |
FreshnessCtx.put(Atom freshA,
Variable... forVar) |
void |
FreshnessCtx.put(Variable forVar,
Atom... freshA) |
void |
FreshnessCtx.put(Variable forVar,
Collection<Atom> freshA) |
void |
FreshnessCtx.remove(Atom freshA,
Variable forVar) |
Set<Atom> |
FreshnessCtx.removeAll(Variable var) |
void |
NominalPair.substitute(Variable fromVar,
NominalTerm toTerm)
Applies a substitution to the nominal pair.
|
void |
FreshnessCtx.substitute(Variable fromVar,
NominalTerm toTerm) |
Modifier and Type | Method and Description |
---|---|
void |
FreshnessCtx.put(Atom freshA,
Collection<Variable> forVar) |
Modifier and Type | Method and Description |
---|---|
Variable |
Suspension.getVar() |
Modifier and Type | Method and Description |
---|---|
Set<Atom[]> |
Permutation.getDisagreementSet(Permutation otherPerm,
Variable var,
FreshnessCtx nabla)
Returns the set of disagreements between this permutation and another
one.
|
void |
Suspension.setVar(Variable var) |
NominalTerm |
Atom.substitute(Variable fromVar,
NominalTerm toTerm) |
NominalTerm |
FunctionApplication.substitute(Variable fromVar,
NominalTerm toTerm) |
NominalTerm |
Suspension.substitute(Variable fromVar,
NominalTerm toTerm) |
NominalTerm |
Abstraction.substitute(Variable fromVar,
NominalTerm toTerm) |
abstract NominalTerm |
NominalTerm.substitute(Variable fromVar,
NominalTerm toTerm) |
Constructor and Description |
---|
Suspension(Variable var)
Instantiates a new suspension with an empty
Permutation . |
Suspension(Variable var,
Permutation perm)
Instantiates a new suspension with the given
Permutation . |