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