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 |
---|---|
AntiUnifyProblem.VariableWithHedges |
AntiUnifyProblem.VariableWithHedges.clone() |
AntiUnifyProblem.VariableWithHedges |
AntiUnifyProblem.getHorizontalPartX()
Returns the horizontal abstraction of this AUP.
|
AntiUnifyProblem.VariableWithHedges |
AntiUnifyProblem.getVerticalPartC()
Returns the vertical abstraction of this AUP.
|
Modifier and Type | Method and Description |
---|---|
List<AntiUnifyProblem.VariableWithHedges> |
AntiUnifySystem.getStoreHorizontalS()
Returns the horizontal store where all the horizontal disagreements are
stored during the computation.
|
List<AntiUnifyProblem.VariableWithHedges> |
AntiUnifySystem.getStoreVerticalQ()
Returns the vertical store where all the vertical disagreements are
stored during the computation.
|