Hierarchy For All Packages

Package Hierarchies:

edu.nyu.cascade.c, edu.nyu.cascade.fds, edu.nyu.cascade.fds.impl, edu.nyu.cascade.ir, edu.nyu.cascade.ir.expr, edu.nyu.cascade.ir.impl, edu.nyu.cascade.ir.type, edu.nyu.cascade.prover, edu.nyu.cascade.prover.type, edu.nyu.cascade.util

Class Hierarchy

• java.lang.Object
  • edu.nyu.cascade.ir.expr.AbstractExpressionFactory<Int,Bool,StateT> (implements edu.nyu.cascade.ir.expr.ExpressionFactory<Int,Bool,StateT>)
    • edu.nyu.cascade.ir.expr.BitVectorExpressionFactory
    • edu.nyu.cascade.ir.expr.DualExpressionFactory<Int,Bool,StateT>
      • edu.nyu.cascade.fds.DualStateExpressionFactory<Int,Bool,StateT> (implements edu.nyu.cascade.fds.StateExpressionFactory<Int,Bool,StateT>)
    • edu.nyu.cascade.ir.expr.IntExpressionFactory
    • edu.nyu.cascade.ir.expr.IntLambdaExpressionFactory
    • edu.nyu.cascade.ir.expr.IntPredicateExpressionFactory
  • edu.nyu.cascade.prover.AbstractExpressionManager (implements edu.nyu.cascade.prover.ExpressionManager)
  • edu.nyu.cascade.ir.AbstractLocation (implements edu.nyu.cascade.ir.IRLocation)
  • com.google.inject.AbstractModule (implements com.google.inject.Module)
    • edu.nyu.cascade.util.CascadeModule
  • edu.nyu.cascade.ir.expr.AbstractPathFactory<Expr,Bool,Path> (implements edu.nyu.cascade.ir.expr.PathFactory<Expr,Bool,Path>)
    • edu.nyu.cascade.ir.expr.LambdaPathFactory<Expr,Bool>
  • edu.nyu.cascade.prover.type.AbstractType<T> (implements edu.nyu.cascade.prover.type.Type<T>)
  • edu.nyu.cascade.ir.impl.BasicBlock (implements java.lang.Comparable<T>, edu.nyu.cascade.ir.IRBasicBlock)
  • edu.nyu.cascade.c.CAnalyzer.CompletenessCheck
  • edu.nyu.cascade.c.CAnalyzer.Initializer
  • edu.nyu.cascade.ir.impl.CaseGuard (implements edu.nyu.cascade.ir.IRBooleanExpression)
  • edu.nyu.cascade.ir.CfgTraversal
  • edu.nyu.cascade.util.CommandTokenizer
  • edu.nyu.cascade.util.CommandTokenizer.ArgList
  • edu.nyu.cascade.ir.impl.ControlFlowGraph (implements edu.nyu.cascade.ir.IRControlFlowGraph)
  • edu.nyu.cascade.util.ConvertibleValues
  • edu.nyu.cascade.c.CParserState (implements xtc.util.State)
  • edu.nyu.cascade.c.CParserState.Context
  • edu.nyu.cascade.ir.impl.DefaultCaseGuard (implements edu.nyu.cascade.ir.IRBooleanExpression)
  • edu.nyu.cascade.ir.expr.DualExpressionImpl<Int,Bool> (implements edu.nyu.cascade.ir.expr.DualExpression<Int,Bool>)
  • edu.nyu.cascade.ir.impl.Edge (implements edu.nyu.cascade.ir.IREdge<Block>)
  • edu.nyu.cascade.prover.ExpressionTraversal
  • edu.nyu.cascade.fds.impl.FairDiscreteSystemImpl (implements edu.nyu.cascade.fds.FairDiscreteSystem)
    • edu.nyu.cascade.fds.impl.ReasonedFairDiscreteSystem
  • edu.nyu.cascade.fds.impl.FairDiscreteSystemImpl.Builder
    • edu.nyu.cascade.fds.impl.ReasonedFairDiscreteSystem.Builder
  • edu.nyu.cascade.util.FileUtils
  • edu.nyu.cascade.ir.impl.Guard (implements edu.nyu.cascade.ir.IRBooleanExpression)
  • edu.nyu.cascade.util.Identifiers
  • edu.nyu.cascade.util.IOUtils
  • edu.nyu.cascade.ir.impl.IRExpressionImpl (implements edu.nyu.cascade.ir.IRExpression)
  • edu.nyu.cascade.ir.IRLocations
  • edu.nyu.cascade.ir.type.IRType
    • edu.nyu.cascade.ir.type.IRArrayType<T>
    • edu.nyu.cascade.ir.type.IRAsyncChannelType<T>
    • edu.nyu.cascade.ir.type.IRBooleanType
    • edu.nyu.cascade.ir.type.IRChannelType<T>
    • edu.nyu.cascade.ir.type.IRIntegerType
    • edu.nyu.cascade.ir.type.IRListType<T>
    • edu.nyu.cascade.ir.type.IRProcessType
    • edu.nyu.cascade.ir.type.IRRangeType<T>
  • edu.nyu.cascade.util.Pair<T,U>
  • edu.nyu.cascade.util.PipedInputProcess (implements java.util.concurrent.Future<V>, java.lang.Runnable)
  • edu.nyu.cascade.util.Preferences
  • edu.nyu.cascade.fds.ProofRules
  • edu.nyu.cascade.util.RecursionStrategies
  • edu.nyu.cascade.prover.SatResult<T>
  • edu.nyu.cascade.fds.impl.StateExpressionFactoryImpl (implements edu.nyu.cascade.fds.StateExpressionFactory<Int,Bool,StateT>)
  • edu.nyu.cascade.fds.impl.StateExpressionImpl<T> (implements edu.nyu.cascade.fds.StateExpression<T>)
    • edu.nyu.cascade.fds.impl.StateVariableImpl<T> (implements edu.nyu.cascade.fds.StateVariable<T>)
  • edu.nyu.cascade.ir.impl.Statement (implements edu.nyu.cascade.ir.IRStatement)
  • edu.nyu.cascade.fds.StateProperties
  • edu.nyu.cascade.fds.impl.StatePropertyImpl (implements edu.nyu.cascade.fds.StateProperty)
  • edu.nyu.cascade.fds.StateVariables
  • edu.nyu.cascade.ir.impl.SymbolTableImpl (implements edu.nyu.cascade.ir.SymbolTable)
  • edu.nyu.cascade.util.TestUtils
  • edu.nyu.cascade.prover.TheoremProverFactory
  • java.lang.Throwable (implements java.io.Serializable)
    • java.lang.Exception
      • edu.nyu.cascade.util.ConversionException
      • edu.nyu.cascade.ir.expr.PathFactoryException
      • edu.nyu.cascade.util.Preferences.PreferencesException
      • java.lang.RuntimeException
        • edu.nyu.cascade.ir.expr.ExpressionFactoryException
        • java.lang.SecurityException
          • edu.nyu.cascade.util.TestUtils.ExitException
        • edu.nyu.cascade.prover.TheoremProverException
      • edu.nyu.cascade.prover.TheoremProverFactory.TheoremProverFactoryException
      • edu.nyu.cascade.prover.TheoremProverFactory.UnsupportedCapabilitiesException
      • edu.nyu.cascade.prover.type.TypeCastException
  • edu.nyu.cascade.prover.type.Types
  • edu.nyu.cascade.util.Unit
  • xtc.tree.Utility
    • xtc.tree.Printer
      • edu.nyu.cascade.util.FlushingPrinter
  • edu.nyu.cascade.prover.ValidityResult<T>
  • edu.nyu.cascade.ir.impl.VarInfo (implements edu.nyu.cascade.ir.IRVarInfo)
  • xtc.tree.Visitor
    • edu.nyu.cascade.c.CAnalyzer
    • edu.nyu.cascade.c.CAnalyzer.Specifiers
    • edu.nyu.cascade.c.CCounter
    • edu.nyu.cascade.c.CPrinter

Interface Hierarchy

• edu.nyu.cascade.ir.CfgTraversal.BlockVisitor
• java.lang.Comparable<T>
  • edu.nyu.cascade.ir.IRLocation
• edu.nyu.cascade.prover.type.Constructor
• edu.nyu.cascade.util.ConversionStrategy<Left,Right>
• edu.nyu.cascade.util.ConvertibleValue<Left,Right>
• edu.nyu.cascade.ir.expr.DualExpression<Int,Bool>
• edu.nyu.cascade.prover.Expression<T>
  • edu.nyu.cascade.prover.ArrayExpression<I,E>
    • edu.nyu.cascade.prover.ArrayVariableExpression<I,E> (also extends edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.ArrayVariableExpression<I,E> (also extends edu.nyu.cascade.prover.ArrayExpression<I,E>, edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.BitVectorExpression
    • edu.nyu.cascade.prover.BitVectorVariableExpression (also extends edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.BitVectorVariableExpression (also extends edu.nyu.cascade.prover.BitVectorExpression, edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.BooleanExpression
    • edu.nyu.cascade.prover.BooleanVariableExpression (also extends edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.BooleanVariableExpression (also extends edu.nyu.cascade.prover.BooleanExpression, edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.FunctionExpression<R>
    • edu.nyu.cascade.prover.FunctionVariableExpression<R> (also extends edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.FunctionVariableExpression<R> (also extends edu.nyu.cascade.prover.FunctionExpression<R>, edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.InductiveExpression
  • edu.nyu.cascade.prover.IntegerExpression
    • edu.nyu.cascade.prover.IntegerVariableExpression (also extends edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.IntegerVariableExpression (also extends edu.nyu.cascade.prover.IntegerExpression, edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.LvalExpression<T>
    • edu.nyu.cascade.prover.ArrayVariableExpression<I,E> (also extends edu.nyu.cascade.prover.ArrayExpression<I,E>, edu.nyu.cascade.prover.VariableExpression<T>)
    • edu.nyu.cascade.prover.BitVectorVariableExpression (also extends edu.nyu.cascade.prover.BitVectorExpression, edu.nyu.cascade.prover.VariableExpression<T>)
    • edu.nyu.cascade.prover.BooleanVariableExpression (also extends edu.nyu.cascade.prover.BooleanExpression, edu.nyu.cascade.prover.VariableExpression<T>)
    • edu.nyu.cascade.prover.FunctionVariableExpression<R> (also extends edu.nyu.cascade.prover.FunctionExpression<R>, edu.nyu.cascade.prover.VariableExpression<T>)
    • edu.nyu.cascade.prover.IntegerVariableExpression (also extends edu.nyu.cascade.prover.IntegerExpression, edu.nyu.cascade.prover.VariableExpression<T>)
    • edu.nyu.cascade.prover.RationalVariableExpression (also extends edu.nyu.cascade.prover.RationalExpression, edu.nyu.cascade.prover.VariableExpression<T>)
    • edu.nyu.cascade.fds.StateVariable<T> (also extends edu.nyu.cascade.fds.StateExpression<T>, edu.nyu.cascade.prover.VariableExpression<T>)
    • edu.nyu.cascade.prover.UnaryFunctionVariableExpression<D,R> (also extends edu.nyu.cascade.prover.UnaryFunctionExpression<D,R>, edu.nyu.cascade.prover.VariableExpression<T>)
    • edu.nyu.cascade.prover.VariableExpression<T>
      • edu.nyu.cascade.prover.ArrayVariableExpression<I,E> (also extends edu.nyu.cascade.prover.ArrayExpression<I,E>)
      • edu.nyu.cascade.prover.BitVectorVariableExpression (also extends edu.nyu.cascade.prover.BitVectorExpression)
      • edu.nyu.cascade.prover.BooleanVariableExpression (also extends edu.nyu.cascade.prover.BooleanExpression)
      • edu.nyu.cascade.prover.FunctionVariableExpression<R> (also extends edu.nyu.cascade.prover.FunctionExpression<R>)
      • edu.nyu.cascade.prover.IntegerVariableExpression (also extends edu.nyu.cascade.prover.IntegerExpression)
      • edu.nyu.cascade.prover.RationalVariableExpression (also extends edu.nyu.cascade.prover.RationalExpression)
      • edu.nyu.cascade.fds.StateVariable<T> (also extends edu.nyu.cascade.fds.StateExpression<T>)
      • edu.nyu.cascade.prover.UnaryFunctionVariableExpression<D,R> (also extends edu.nyu.cascade.prover.UnaryFunctionExpression<D,R>)
  • edu.nyu.cascade.prover.RationalExpression
    • edu.nyu.cascade.prover.RationalVariableExpression (also extends edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.RationalVariableExpression (also extends edu.nyu.cascade.prover.RationalExpression, edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.fds.StateExpression<T>
    • edu.nyu.cascade.fds.StateVariable<T> (also extends edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.fds.StateVariable<T> (also extends edu.nyu.cascade.fds.StateExpression<T>, edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.TupleExpression
  • edu.nyu.cascade.prover.UnaryFunctionExpression<D,R>
    • edu.nyu.cascade.prover.UnaryFunctionVariableExpression<D,R> (also extends edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.UnaryFunctionVariableExpression<D,R> (also extends edu.nyu.cascade.prover.UnaryFunctionExpression<D,R>, edu.nyu.cascade.prover.VariableExpression<T>)
  • edu.nyu.cascade.prover.VariableExpression<T>
    • edu.nyu.cascade.prover.ArrayVariableExpression<I,E> (also extends edu.nyu.cascade.prover.ArrayExpression<I,E>)
    • edu.nyu.cascade.prover.BitVectorVariableExpression (also extends edu.nyu.cascade.prover.BitVectorExpression)
    • edu.nyu.cascade.prover.BooleanVariableExpression (also extends edu.nyu.cascade.prover.BooleanExpression)
    • edu.nyu.cascade.prover.FunctionVariableExpression<R> (also extends edu.nyu.cascade.prover.FunctionExpression<R>)
    • edu.nyu.cascade.prover.IntegerVariableExpression (also extends edu.nyu.cascade.prover.IntegerExpression)
    • edu.nyu.cascade.prover.RationalVariableExpression (also extends edu.nyu.cascade.prover.RationalExpression)
    • edu.nyu.cascade.fds.StateVariable<T> (also extends edu.nyu.cascade.fds.StateExpression<T>)
    • edu.nyu.cascade.prover.UnaryFunctionVariableExpression<D,R> (also extends edu.nyu.cascade.prover.UnaryFunctionExpression<D,R>)
• edu.nyu.cascade.ir.expr.ExpressionFactory<Int,Bool,StateT>
  • edu.nyu.cascade.fds.StateExpressionFactory<Int,Bool,StateT>
• edu.nyu.cascade.ir.expr.ExpressionFactoryException.ThrowingFunction<F,T>
• edu.nyu.cascade.ir.expr.ExpressionInterpreter<Int,Bool,StateT>
• edu.nyu.cascade.prover.ExpressionManager
• edu.nyu.cascade.prover.ExpressionTraversal.Visitor<T>
• edu.nyu.cascade.ir.IRBasicBlock
• edu.nyu.cascade.ir.IRControlFlowGraph
• edu.nyu.cascade.ir.IREdge<Block>
• edu.nyu.cascade.ir.IRExpression
  • edu.nyu.cascade.ir.IRBooleanExpression
• edu.nyu.cascade.ir.IRStatement
• edu.nyu.cascade.ir.IRVarInfo
• edu.nyu.cascade.ir.expr.PathFactory<Expr,Bool,Path>
• edu.nyu.cascade.util.PipedInputProcess.CleanupStrategy
• edu.nyu.cascade.util.RecursionStrategies.BinaryInfixRecursionStrategy<T,R>
• edu.nyu.cascade.util.RecursionStrategies.BinaryRecursionStrategy<T,R>
• edu.nyu.cascade.util.RecursionStrategies.UnaryRecursionStrategy<T,R>
• edu.nyu.cascade.prover.type.Selector<T>
• edu.nyu.cascade.fds.StateExpressionFactory.Provider
• edu.nyu.cascade.fds.StateProperty
• edu.nyu.cascade.ir.SymbolTable
• edu.nyu.cascade.ir.SymbolTableFactory
• edu.nyu.cascade.util.TestUtils.Tester<T>
• edu.nyu.cascade.prover.TheoremProver
• edu.nyu.cascade.fds.TransitionSystem
  • edu.nyu.cascade.fds.FairDiscreteSystem
• edu.nyu.cascade.prover.type.Type<T>
  • edu.nyu.cascade.prover.type.AddableType<T>
    • edu.nyu.cascade.prover.type.IntegerType (also extends edu.nyu.cascade.prover.type.ComparableType<T>, edu.nyu.cascade.prover.type.MultiplicativeType<T>, edu.nyu.cascade.prover.type.Type<T>)
    • edu.nyu.cascade.prover.type.RationalType (also extends edu.nyu.cascade.prover.type.ComparableType<T>, edu.nyu.cascade.prover.type.MultiplicativeType<T>, edu.nyu.cascade.prover.type.Type<T>)
  • edu.nyu.cascade.prover.type.ArrayType<I,E>
  • edu.nyu.cascade.prover.type.BitVectorType (also extends edu.nyu.cascade.prover.type.ComparableType<T>)
  • edu.nyu.cascade.prover.type.BooleanType
  • edu.nyu.cascade.prover.type.ComparableType<T>
    • edu.nyu.cascade.prover.type.BitVectorType (also extends edu.nyu.cascade.prover.type.Type<T>)
    • edu.nyu.cascade.prover.type.IntegerType (also extends edu.nyu.cascade.prover.type.AddableType<T>, edu.nyu.cascade.prover.type.MultiplicativeType<T>, edu.nyu.cascade.prover.type.Type<T>)
    • edu.nyu.cascade.prover.type.RationalType (also extends edu.nyu.cascade.prover.type.AddableType<T>, edu.nyu.cascade.prover.type.MultiplicativeType<T>, edu.nyu.cascade.prover.type.Type<T>)
  • edu.nyu.cascade.prover.type.FunctionType<R>
  • edu.nyu.cascade.prover.type.InductiveType
  • edu.nyu.cascade.prover.type.IntegerType (also extends edu.nyu.cascade.prover.type.AddableType<T>, edu.nyu.cascade.prover.type.ComparableType<T>, edu.nyu.cascade.prover.type.MultiplicativeType<T>)
  • edu.nyu.cascade.prover.type.MultiplicativeType<T>
    • edu.nyu.cascade.prover.type.IntegerType (also extends edu.nyu.cascade.prover.type.AddableType<T>, edu.nyu.cascade.prover.type.ComparableType<T>, edu.nyu.cascade.prover.type.Type<T>)
    • edu.nyu.cascade.prover.type.RationalType (also extends edu.nyu.cascade.prover.type.AddableType<T>, edu.nyu.cascade.prover.type.ComparableType<T>, edu.nyu.cascade.prover.type.Type<T>)
  • edu.nyu.cascade.prover.type.PredicateType<T>
  • edu.nyu.cascade.prover.type.RangeType<T>
  • edu.nyu.cascade.prover.type.RationalType (also extends edu.nyu.cascade.prover.type.AddableType<T>, edu.nyu.cascade.prover.type.ComparableType<T>, edu.nyu.cascade.prover.type.MultiplicativeType<T>)
  • edu.nyu.cascade.prover.type.TupleType
  • edu.nyu.cascade.prover.type.TypeKind<T>
  • edu.nyu.cascade.prover.type.UnaryFunctionType<D,R>
  • edu.nyu.cascade.prover.type.UniversalType

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • edu.nyu.cascade.util.Identifiers.IdType
    • edu.nyu.cascade.ir.IRStatement.StatementType
    • edu.nyu.cascade.ir.IRBasicBlock.Type
    • edu.nyu.cascade.ir.type.IRType.Kind
    • edu.nyu.cascade.prover.Expression.Kind
    • edu.nyu.cascade.prover.ValidityResult.Type
    • edu.nyu.cascade.prover.SatResult.Type
    • edu.nyu.cascade.prover.TheoremProverFactory.Capability
    • edu.nyu.cascade.prover.type.Type.DomainType