Package com.ibm.wala.util.graph
Interface INodeWithNumber
- All Known Subinterfaces:
IFixedPointStatement<T>
,INodeWithNumberedEdges
,IVariable<T>
- All Known Implementing Classes:
AbstractFixedPointSolver.Statement
,AbstractStatement
,AbstractVariable
,BasicNullaryStatement
,BasicUnaryStatement
,BitVectorVariable
,BooleanVariable
,GeneralStatement
,IntSetVariable
,NodeWithNumber
,NodeWithNumberedEdges
,NullaryStatement
,UnaryStatement
public interface INodeWithNumber
Basic interface for a node which lives in one graph ... it's id is used
to implement the
NumberedGraph
interface.-
Method Summary
Modifier and TypeMethodDescriptionint
A non-negative integer which serves as an identifier for this node in it's "dominant" graph.void
setGraphNodeId
(int number)
-
Method Details
-
getGraphNodeId
int getGraphNodeId()A non-negative integer which serves as an identifier for this node in it's "dominant" graph. Initially this number is -1; a NumberedGraph will set it to a non-negative value when this node is inserted into the graph- Returns:
- the identifier
-
setGraphNodeId
void setGraphNodeId(int number)
-