|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |