Hierarchy For Package de.rwth.i2.attestor.refinement.visited

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • de.rwth.i2.attestor.refinement.visited.StatelessVisitedAutomaton (implements de.rwth.i2.attestor.refinement.StatelessHeapAutomaton)
  • de.rwth.i2.attestor.refinement.visited.StatelessVisitedByAutomaton (implements de.rwth.i2.attestor.refinement.StatelessHeapAutomaton)