|
||||||||||
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 |