Hierarchy For All Packages

Package Hierarchies:

forge.cfg, forge.dataflow, forge.program, forge.solve, forge.tests, forge.transform, forge.translate, forge.util

Class Hierarchy

• java.lang.Object
  • java.util.AbstractMap<K,V> (implements java.util.Map<K,V>)
    • edu.mit.csail.sdg.util.collections.OverrideMap<K,V>
      • forge.util.ModifiableMap<V>
  • forge.transform.AbstractTransformer (implements forge.transform.Transformer)
    • forge.transform.InlineTransformer
  • forge.transform.AbstractTransformer.TransformVisitor (implements forge.cfg.CFGVisitor)
  • forge.dataflow.AnalysisResults<D>
  • forge.transform.BatchTransformer (implements forge.transform.Transformer)
  • forge.program.BinaryExpression
  • forge.solve.Binding (implements forge.program.ProgramElement)
  • forge.dataflow.BranchData<D>
  • forge.util.BreadthFirstVisitor (implements forge.cfg.CFGVisitor)
  • forge.cfg.CFGStmt (implements forge.cfg.CFGElement)
    • forge.cfg.ExitStmt
    • forge.cfg.ReferenceStmt
      • forge.cfg.BranchStmt
      • forge.cfg.UpdateStmt
        • forge.cfg.AssignStmt
        • forge.cfg.CallStmt
        • forge.cfg.CreateStmt
        • forge.cfg.SpecStmt
  • forge.program.ConditionalExpression
  • forge.translate.ConstrainStrategy (implements forge.translate.SEStrategy)
  • forge.solve.Coverage
  • forge.solve.Coverage.Score
  • forge.dataflow.DataflowAnalysis<D>
    • forge.dataflow.DominatorAnalysis
    • forge.dataflow.InverseDominatorAnalysis
    • forge.dataflow.ReachabilityAnalysis
  • forge.translate.Environment
  • forge.util.ExpressionUtil
  • forge.program.ExpressionVisitor<T>
    • forge.transform.ExpressionDefaulter<T>
    • forge.transform.ExpressionDescender
    • forge.transform.ExpressionReplacer
  • forge.translate.ExprTranslator
    • forge.translate.SymbolicExecutor
  • forge.solve.ForgeAtom
    • forge.solve.BooleanAtom
    • forge.solve.InstanceAtom
    • forge.solve.IntegerAtom
  • forge.solve.ForgeBounds (implements forge.program.ProgramElement)
  • forge.cfg.ForgeCFG (implements forge.program.ProgramElement)
    • forge.cfg.ForgeCFG.Impl
    • forge.cfg.ForgeCFG.Spec
  • forge.program.ForgeDomain (implements forge.program.ForgeExpression.Leaf)
    • forge.program.BooleanDomain
    • forge.program.InstanceDomain (implements forge.program.ForgeExpression.Modifiable)
    • forge.program.IntegerDomain
  • forge.program.ForgeLiteral (implements forge.program.ForgeExpression.Leaf)
    • forge.program.BooleanLiteral
    • forge.program.InstanceLiteral
    • forge.program.IntegerLiteral
  • forge.program.ForgeProcedure (implements forge.program.ProgramElement)
  • forge.program.ForgeProgram
  • forge.solve.ForgeReporter
    • forge.util.CircuitReporter
    • forge.util.SystemOutReporter
  • forge.solve.ForgeSolution
  • forge.solve.ForgeSolver
  • forge.tests.ForgeTest
    • forge.tests.CopyTreeTest
    • forge.tests.CoverageTest
    • forge.tests.CreateTest
    • forge.tests.ListTest
      • forge.tests.ListTest.Looping
      • forge.tests.ListTest.Recursive
    • forge.tests.MultiplyTest
    • forge.tests.RegisterTest
    • forge.tests.TreeIntSetTest
    • forge.tests.TreeIntSetTest2
    • forge.tests.ZuneTest
  • forge.translate.ForgeTranslation
  • forge.program.ForgeVariable (implements forge.program.ForgeExpression.Modifiable)
    • forge.program.GlobalVariable
    • forge.program.LocalVariable (implements forge.program.LocalDecls)
  • forge.translate.HybridStrategy (implements forge.translate.SEStrategy)
  • forge.translate.InlineStrategy (implements forge.translate.SEStrategy)
  • forge.program.LocalDecls.EmptyDecls (implements forge.program.LocalDecls)
  • forge.program.LocalDecls.MultiDecls (implements forge.program.LocalDecls)
  • forge.program.OldExpression
  • forge.program.ProjectionExpression
  • forge.program.QuantifyExpression (implements forge.program.ForgeExpression)
  • forge.translate.RelationalModel (implements forge.program.ProgramElement)
  • forge.translate.RelationalModel.DomainRelations
  • forge.translate.RelationalModel.StmtRelations (implements java.lang.Iterable<T>)
  • forge.util.RelationFactory<R,U,T,A,O> (implements forge.program.ProgramElement)
  • forge.solve.SolveOptions
  • forge.solve.SolveOptions.Builder
  • forge.solve.Step (implements forge.cfg.CFGElement)
    • forge.solve.Step.Branch
    • forge.solve.Step.Update
      • forge.solve.Step.Call
  • forge.cfg.StmtSet (implements forge.cfg.CFGElement, java.util.Set<E>)
  • forge.tests.StrategyComparison
  • forge.translate.SymbolicExecutor.AssignHook
  • forge.translate.SymbolicExecutor.BranchHook
  • forge.translate.SymbolicExecutor.CreateHook
  • forge.translate.SymbolicExecutor.SpecHook
  • forge.translate.ThesisStrategy (implements forge.translate.SEStrategy)
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • java.lang.RuntimeException
        • forge.program.IllegalArityException
        • forge.cfg.StoreException
  • forge.tests.TopologicalSortTest
  • forge.solve.Trace (implements forge.cfg.CFGElement)
  • forge.program.UnaryExpression
  • forge.transform.UnrollTransformer (implements forge.transform.Transformer)

Interface Hierarchy

• forge.cfg.CFGVisitor
• forge.program.ProgramElement
  • forge.cfg.CFGElement
  • forge.solve.ForgeConstant
    • forge.solve.ForgeConstant.Tuple
    • forge.solve.ForgeConstant.Unary
  • forge.solve.ForgeConstant.Tuple
  • forge.solve.ForgeConstant.Unary
  • forge.program.ForgeExpression
    • forge.program.ForgeExpression.Leaf
      • forge.program.ForgeExpression.Modifiable
    • forge.program.ForgeExpression.Modifiable
    • forge.program.ForgeType
      • forge.program.ForgeType.Tuple
      • forge.program.ForgeType.Unary
    • forge.program.ForgeType.Tuple
    • forge.program.ForgeType.Unary
  • forge.program.ForgeExpression.Leaf
    • forge.program.ForgeExpression.Modifiable
  • forge.program.ForgeExpression.Modifiable
  • forge.program.ForgeType
    • forge.program.ForgeType.Tuple
    • forge.program.ForgeType.Unary
  • forge.program.ForgeType.Tuple
  • forge.program.ForgeType.Unary
  • forge.program.LocalDecls
• forge.translate.SEStrategy
• forge.transform.Transformer

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • forge.program.UnaryExpression.Op
    • forge.program.QuantifyExpression.Op
    • forge.program.ForgeDomain.Kind
    • forge.program.BinaryExpression.Op
    • forge.solve.SolveOptions.SatSolver