Hierarchy For Package galois.runtime

Package Hierarchies:

All Packages

Class Hierarchy

• java.lang.Object
  • galois.runtime.AbstractExecutorContext<T> (implements galois.runtime.ForeachContext<T>)
  • galois.runtime.Features
  • galois.runtime.GaloisRuntime
  • galois.runtime.Iteration
  • galois.runtime.ReplayFeature
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • galois.runtime.IterationAbortException
        • galois.runtime.WorkNotProgressiveException
        • galois.runtime.WorkNotUsefulException

Interface Hierarchy

• galois.runtime.Callback
  • galois.runtime.NonDeterministicCallback (also extends galois.runtime.Replayable)
• galois.runtime.ForeachContext<T>
• galois.runtime.MapInternalContext
• galois.runtime.ReleaseCallback
• galois.runtime.Replayable
  • galois.runtime.NonDeterministicCallback (also extends galois.runtime.Callback)