Package | Description |
---|---|
at.jku.risc.stout.urauc.algo |
This package contains the classes of the rule based system
AntiUnifySystem, the corresponding
problem definition AntiUnifyProblem
and some standard implementations of a rigidity function
(AlignFncLAA,
AlignFncInput ).
|
at.jku.risc.stout.urauc.data |
This package contains the classes which are needed to build up the term tree.
|
Modifier and Type | Method and Description |
---|---|
TermAtomList |
AntiUnifyProblem.CommutativeArrangementIter.getLeftWord() |
TermAtomList |
AntiUnifyProblem.CommutativeArrangementIter.getRightWord() |
Modifier and Type | Method and Description |
---|---|
TermAtomList |
Hedge.top() |
TermAtomList |
Hedge.word()
Returns the word representation of this hedge
|
TermAtomList |
TermNode.word() |
Modifier and Type | Method and Description |
---|---|
void |
Hedge.word(TermAtomList atomList)
Adds the word representation of this hedge at the end of the list
|
void |
TermNode.word(TermAtomList atomList) |