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 |
---|---|
boolean |
AntiUnifyProblem.abstrContains(TermAtom boundVar)
Tests whether the set of abstracted variables contains the given
variable.
|
Modifier and Type | Field and Description |
---|---|
static TermAtom |
TermNode.nullAtom |
Modifier and Type | Method and Description |
---|---|
TermAtom |
TermNode.getAtom() |
Modifier and Type | Method and Description |
---|---|
abstract boolean |
TermNode.TraverseCallBack.exec(TermAtom atom,
Hedge hedge)
Propagation will stop as soon as this method returns true.
|
void |
Hedge.print(Writer out,
TermAtom atom,
boolean needLamdaBracket) |
void |
LambdaHedge.print(Writer out,
TermAtom atom,
boolean needLamdaBracket) |
void |
TermNode.setAtom(TermAtom atom)
Null values are transformed to unique objects which represent the null
value.
|
Constructor and Description |
---|
TermNode(TermAtom atom,
Hedge hedge)
Instantiates a new term node.
|
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.
|
class |
Function
A TermAtom which represents a function symbol.
|
class |
Lambda
A TermAtom which represents a lambda binding.
|
class |
Variable
A TermAtom which represents a variable.
|
Modifier and Type | Method and Description |
---|---|
TermAtom |
TermAtom.clone() |
TermAtom |
Lambda.clone() |
Modifier and Type | Method and Description |
---|---|
int |
TermAtom.compareTo(TermAtom o) |