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 |
---|---|
Alignment |
AntiUnifyProblem.getAlignment() |
Alignment |
AlignFncLAA.AlignmentIter.next() |
Alignment |
AlignFncInput.next() |
Modifier and Type | Method and Description |
---|---|
void |
AlignFncInput.setAlignment(Alignment alignment)
The alignment must be admissible.
|
void |
AntiUnifyProblem.setAlignment(Alignment alignment) |
Constructor and Description |
---|
AntiUnifyProblem(Hedge left,
Hedge right,
Alignment alignment)
Create an AUP with fresh generalization variables and the given hedges.
|
Modifier and Type | Method and Description |
---|---|
Alignment |
Alignment.clone() |
static Alignment |
InputParser.parseAlignment(AntiUnifyProblem aup,
String alignment,
boolean checkAdmissible) |