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