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