Interface GraphVertex<ActualVertexType>

All Superinterfaces:
Comparable<ActualVertexType>
All Known Implementing Classes:
AbstractVertex, BasicBlock, CallGraphNode, DetectorNode, InterproceduralCallGraphVertex

public interface GraphVertex<ActualVertexType> extends Comparable<ActualVertexType>
GraphVertex interface; represents a vertex in a graph.
  • Method Summary

    Modifier and Type
    Method
    Description
    int
    Get the numeric label for this vertex.
    void
    setLabel(int label)
    Set the numeric label for this vertex.

    Methods inherited from interface java.lang.Comparable

    compareTo
  • Method Details

    • getLabel

      int getLabel()
      Get the numeric label for this vertex.
    • setLabel

      void setLabel(int label)
      Set the numeric label for this vertex.