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 INodeWithNumberBasic interface for a node which lives in one graph ... it's id is used to implement theNumberedGraphinterface.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description intgetGraphNodeId()A non-negative integer which serves as an identifier for this node in it's "dominant" graph.voidsetGraphNodeId(int number)
-
-
-
Method Detail
-
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)
-
-