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.atom |
Modifier and Type | Method and Description |
---|---|
ContextVar |
AntiUnifyProblem.getVerticalVarC()
Returns the context generalization variable, which is used for vertical
abstraction.
|
Modifier and Type | Class and Description |
---|---|
class |
FunctionVar
A function variable can be substituted by a bounded context, that is an
application of a function to a hedge with a hole in it.
|