Uses of Interface
org.mindswap.pellet.tableau.completion.rule.TableauRule

Packages that use TableauRule

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

Uses of TableauRule in org.mindswap.pellet.tableau.completion

Fields in org.mindswap.pellet.tableau.completion declared as TableauRule

Modifier and Type	Field and Description
protected TableauRule	CompletionStrategy.chooseRule
protected TableauRule	CompletionStrategy.dataCardRule
protected TableauRule	CompletionStrategy.dataSatRule
protected TableauRule	CompletionStrategy.disjunctionRule
protected TableauRule	CompletionStrategy.guessRule
protected TableauRule	CompletionStrategy.minRule
protected TableauRule	CompletionStrategy.nominalRule
protected TableauRule	CompletionStrategy.selfRule
protected TableauRule	CompletionStrategy.someValuesRule
protected TableauRule	CompletionStrategy.unfoldingRule

Fields in org.mindswap.pellet.tableau.completion with type parameters of type TableauRule

Modifier and Type	Field and Description
protected List<TableauRule>	CompletionStrategy.tableauRules

Uses of TableauRule in org.mindswap.pellet.tableau.completion.rule

Classes in org.mindswap.pellet.tableau.completion.rule that implement TableauRule

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