Hierarchy For Package org.cesta.trans.java

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • org.cesta.trans.AbstractTransformation (implements org.cesta.trans.Transformation)
    • org.cesta.trans.java.AbstractRewriteTransformation
      • org.cesta.trans.java.CheckTransactions
      • org.cesta.trans.java.IfSwitchReplacement
      • org.cesta.trans.java.ShadowVariables
      • org.cesta.trans.java.ValidateStateTransitions