Package | Description |
---|---|
at.jku.risc.stout.hoau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem )
and its sub-algorighm PermEquivSystem . |
at.jku.risc.stout.hoau.data |
This package contains the classes which are needed to build up the term tree
and the
DataStructureFactory which
instantiates common data structures like List s,
Map s, Set s. |
at.jku.risc.stout.hoau.data.atom |
Modifier and Type | Method and Description |
---|---|
Variable |
AntiUnifyProblem.getGeneralizationVar()
Returns the generalization variable, which represents the most general
generalization of this AUP.
|
Modifier and Type | Method and Description |
---|---|
Map<Variable,Variable> |
PermEquiv.compute(DebugLevel debugLevel,
PrintStream out)
Calls the rule based system PermEquivSystem and returns the
result.
|
Map<Variable,Variable> |
PermEquiv.compute(DebugLevel debugLevel,
PrintStream out)
Calls the rule based system PermEquivSystem and returns the
result.
|
Map<Variable,Variable> |
PermEquivSystem.compute(DebugLevel debugLevel,
PrintStream out)
Computes a permuting matcher for given matching problems (see
PermEquivSystem.addEquation(TermNode, TermNode)) and given domain/range
(see PermEquivSystem.start(Set, Set)).
|
Map<Variable,Variable> |
PermEquivSystem.compute(DebugLevel debugLevel,
PrintStream out)
Computes a permuting matcher for given matching problems (see
PermEquivSystem.addEquation(TermNode, TermNode)) and given domain/range
(see PermEquivSystem.start(Set, Set)).
|
Set<Variable> |
PermEquiv.getDom() |
Map<Variable,TermNode> |
Substitution.getMapping() |
Set<Variable> |
PermEquiv.getRan() |
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,
TermNode toTerm)
Substitution composition which does not add new variables to the mapping.
|
TermNode |
Substitution.get(Variable var)
|
void |
Substitution.put(Variable fromVar,
TermNode toTerm)
Add a new mapping of the form: Variable -> Term
Beta reduction is triggered automatically. |
Modifier and Type | Method and Description |
---|---|
TermNode |
AntiUnifyProblem.createHO_Fnc(Map<Variable,Variable> pi)
X(x,y,...) where X is the generalization variable and x,y,...
|
TermNode |
AntiUnifyProblem.createHO_Fnc(Map<Variable,Variable> pi)
X(x,y,...) where X is the generalization variable and x,y,...
|
void |
PermEquivSystem.start(Set<? extends Variable> domain,
Set<? extends Variable> range)
Initializes the permutation computation.
|
void |
PermEquivSystem.start(Set<? extends Variable> domain,
Set<? extends Variable> range)
Initializes the permutation computation.
|
Constructor and Description |
---|
PermEquiv(EquationSystem<PermEquivProblem> eqSys,
Set<Variable> dom,
Set<Variable> ran)
Creates and initializes the encapsulated rule based system
PermEquivSystem with the given equation system, domain and
range.
|
PermEquiv(EquationSystem<PermEquivProblem> eqSys,
Set<Variable> dom,
Set<Variable> ran)
Creates and initializes the encapsulated rule based system
PermEquivSystem with the given equation system, domain and
range.
|
Modifier and Type | Method and Description |
---|---|
static Variable |
NodeFactory.obtainFreshVar(String type) |
Modifier and Type | Method and Description |
---|---|
boolean |
TermNode.hasFreeVar(Variable var)
Checks whether a variable occurs freely inside inside the term.
|
void |
Hedge.substitute(Variable from,
TermNode to) |
void |
TermNode.substitute(Variable fromVar,
TermNode toTerm)
Substitutes a variable by a term and returns the result.
|
Modifier and Type | Class and Description |
---|---|
class |
BoundVariable
A bound variable is special type of Variable which stores it's
origin name because it may be renamed by alpha conversion.
|