|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use AtLeast | |
|---|---|
| org.semanticweb.HermiT.existentials | |
| org.semanticweb.HermiT.model | |
| org.semanticweb.HermiT.tableau | |
| Uses of AtLeast in org.semanticweb.HermiT.existentials |
|---|
| Methods in org.semanticweb.HermiT.existentials with parameters of type AtLeast | |
|---|---|
protected void |
IndividualReuseStrategy.expandExistential(AtLeast atLeast,
Node forNode)
|
protected void |
CreationOrderStrategy.expandExistential(AtLeast atLeast,
Node forNode)
|
protected abstract void |
AbstractExpansionStrategy.expandExistential(AtLeast atLeast,
Node forNode)
This method performs the actual expansion. |
protected AbstractExpansionStrategy.SatType |
AbstractExpansionStrategy.isSatisfied(AtLeast atLeast,
Node forNode)
|
| Uses of AtLeast in org.semanticweb.HermiT.model |
|---|
| Subclasses of AtLeast in org.semanticweb.HermiT.model | |
|---|---|
class |
AtLeastConcept
Represents at-least concept. |
class |
AtLeastDataRange
Represents at-least concept. |
| Uses of AtLeast in org.semanticweb.HermiT.tableau |
|---|
| Methods in org.semanticweb.HermiT.tableau with parameters of type AtLeast | |
|---|---|
void |
ExistentialExpansionManager.expand(AtLeast atLeast,
Node forNode)
|
boolean |
ExistentialExpansionManager.tryFunctionalExpansion(AtLeast atLeast,
Node forNode)
Creates a new node in the tableau if the at least concept that caused the expansion is for cardinality 1. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||