Package | Description |
---|---|
at.jku.risc.stout.hoau.algo |
This package contains the classes of the rule based system
(
AntiUnifySystem )
and its sub-algorighm PermEquivSystem . |
Modifier and Type | Method and Description |
---|---|
AntiUnifySystem |
AntiUnify.getResult()
Returns the entire AntiUnifySystem which is encapsulated by
this class
|
Modifier and Type | Method and Description |
---|---|
void |
AntiUnify.callback(AntiUnifySystem result,
Variable generalizationVar)
This callback function will be invoked for every found generalization.
|