Uses of Class
org.semanticweb.HermiT.tableau.Node.NodeState

Packages that use Node.NodeState
org.semanticweb.HermiT.tableau   
 

Uses of Node.NodeState in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as Node.NodeState
protected  Node.NodeState Node.m_nodeState
           
 

Methods in org.semanticweb.HermiT.tableau that return Node.NodeState
static Node.NodeState Node.NodeState.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static Node.NodeState[] Node.NodeState.values()
          Returns an array containing the constants of this enum type, in the order they are declared.