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



Copyright © 2012. All Rights Reserved.