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 |
---|---|
BoundVariable |
AntiUnifyProblem.abstrItem(int index)
Returns the abstracted bound variable corresponding to the given position
index from the list of abstractions.
|
Modifier and Type | Method and Description |
---|---|
Set<BoundVariable> |
AntiUnifyProblem.abstrSet()
Returns the set of abstracted variables.
|
Modifier and Type | Method and Description |
---|---|
void |
AntiUnifyProblem.addAbstrVar(BoundVariable boundVar)
Adds a bound variable to the list of abstractions
|
Modifier and Type | Method and Description |
---|---|
static BoundVariable |
NodeFactory.obtainFreshBoundVar(String originName,
String type) |
Modifier and Type | Method and Description |
---|---|
void |
TermNode.etaExpand(BoundVariable boundVar) |
void |
Hedge.substitute(BoundVariable from,
BoundVariable to) |
void |
TermNode.substitute(BoundVariable from,
BoundVariable to)
Substitutes one bound variable by another bound variable.
|
Modifier and Type | Method and Description |
---|---|
BoundVariable |
Lambda.getBoundVar()
Returns the variable which is bound by this lambda binding.
|
Constructor and Description |
---|
Lambda(BoundVariable boundVar) |