Class Graph


  • public final class Graph
    extends java.lang.Object
    Graph represents a memory subsystem's control flow graph (CFG).

    Graph is constructed from the memory specification and reduced based on settings.

    • Method Detail

      • getNextLabels

        public java.util.Set<java.lang.Object> getNextLabels​(MmuAction vertex)
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object