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 ).
|
Modifier and Type | Method and Description |
---|---|
long |
AntiUnify.antiUnify(boolean iterateAll,
boolean justify,
PrintStream out) |
long |
AntiUnify.antiUnifySingleAup(AntiUnifyProblem aup,
boolean iterateAll,
boolean justify,
PrintStream out) |
void |
AntiUnify.AntiUnifyOne.justifyGeneralization(PrintStream out) |