Uses of Class
org.semanticweb.HermiT.tableau.NodeType

Packages that use NodeType
org.semanticweb.HermiT.tableau   
 

Uses of NodeType in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as NodeType
protected  NodeType Node.m_nodeType
           
 

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

Methods in org.semanticweb.HermiT.tableau with parameters of type NodeType
protected  Node Tableau.createNewNodeRaw(DependencySet dependencySet, Node parent, NodeType nodeType, int treeDepth)
           
protected  void Node.initialize(int nodeID, Node parent, NodeType nodeType, int treeDepth)