Uses of Class
org.semanticweb.HermiT.existentials.AbstractExpansionStrategy.SatType

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.