org.dllearner.refinementoperators

Interfaces

• CustomHierarchyRefinementOperator
• CustomStartRefinementOperator
• LengthLimitedRefinementOperator
• ReasoningBasedRefinementOperator
• RefinementOperator

Classes

• ELDown
• MathOperations
• OperatorInverter
• PsiDown
• PsiUp
• RefinementOperatorAdapter
• RhoDRDown
• SynchronizedRefinementOperator
• Utility