org.dllearner.refinementoperators
Interfaces
CustomHierarchyRefinementOperator
CustomStartRefinementOperator
LengthLimitedRefinementOperator
ReasoningBasedRefinementOperator
RefinementOperator
Classes
AbstractRefinementOperator
ELDown
MathOperations
OperatorInverter
PsiDown
PsiUp
RefinementOperatorAdapter
RhoDRDown
SynchronizedRefinementOperator
Utility