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 theNumberedGraph
interface.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description int
getGraphNodeId()
A non-negative integer which serves as an identifier for this node in it's "dominant" graph.void
setGraphNodeId(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)
- Parameters:
number
-
-
-