Package org.mindswap.pellet.tableau.completion.rule

Interface Summary

Interface	Description
TableauRule	Title:

Class Summary

Class	Description
AbstractTableauRule	Title:
AllValuesRule	Title:
ChooseRule	Title:
DataCardinalityRule	Title:
DataSatisfiabilityRule	Title:
DisjunctionRule	Title:
GuessRule	Title:
MaxRule	Title:
MinRule	Title:
NominalRule	Title:
SelfRule	Title:
SimpleAllValuesRule	Title:
SomeValuesRule	Title:
UnfoldingRule	Title:

Enum Summary

Enum	Description
AbstractTableauRule.BlockingType