|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use AbstractExpansionStrategy.SatType | |
|---|---|
| org.semanticweb.HermiT.existentials | |
| Uses of AbstractExpansionStrategy.SatType in org.semanticweb.HermiT.existentials |
|---|
| Methods in org.semanticweb.HermiT.existentials that return AbstractExpansionStrategy.SatType | |
|---|---|
protected AbstractExpansionStrategy.SatType |
AbstractExpansionStrategy.isSatisfied(AtLeast atLeast,
Node forNode)
|
static AbstractExpansionStrategy.SatType |
AbstractExpansionStrategy.SatType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. |
static AbstractExpansionStrategy.SatType[] |
AbstractExpansionStrategy.SatType.values()
Returns an array containing the constants of this enum type, in the order they are declared. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||