1. inox
   1. (class)BooleanToOption
   2. (object)
      Build
   3. (object)(case class)Context
   4. (class)DebugSection
   5. (object)
      DebugSectionOptions
   6. (class)DefaultReporter
   7. (case class)DoubleOptionDef
   8. (case class)FatalError
   9. (case class)FlagOptionDef
   10. (object)
       InoxProgram
   11. (case class)IntOptionDef
   12. (case class)LongOptionDef
   13. (object)
       Main
   14. (trait)MainHelpers
   15. (object)(trait)Model
   16. (class)OptionDef
   17. (object)
       OptionParsers
   18. (object)(case class)Options
   19. (object)
       OptionsHelpers
   20. (object)(class)OptionValue
   21. (object)
       optPrintChooses
   22. (object)
       optSelectedSolvers
   23. (object)
       optTimeout
   24. (class)PlainTextReporter
   25. (trait)Program
   26. (class)Reporter
   27. (trait)Semantics
   28. (trait)SemanticsProvider
   29. (case class)StringOptionDef
   30. (object)
       trees
   1. inox.ast
      1. (trait)CallGraph
      2. (trait)Constructors
      3. (object)
         DebugSectionTrees
      4. (trait)Definitions
      5. (trait)DSL
      6. (trait)Expressions
      7. (trait)ExprOps
      8. (trait)Extractors
      9. (object)
         FreshIdentifier
      10. (trait)GenTreeOps
      11. (class)Identifier
      12. (object)
          optPrintPositions
      13. (object)
          optPrintTypes
      14. (object)
          optPrintUniqueIds
      15. (trait)Paths
      16. (trait)Printers
      17. (object)(trait)ProgramEncoder
      18. (trait)ProgramTransformer
      19. (trait)SimpleSymbols
      20. (trait)SimpleSymbolTransformer
      21. (trait)SymbolOps
      22. (object)(trait)SymbolTransformer
      23. (trait)TreeDeconstructor
      24. (trait)TreeExtractor
      25. (trait)TreeOps
      26. (trait)Trees
      27. (trait)TreeTransformer
      28. (trait)TypeOps
      29. (trait)Types
   2. inox.evaluators
      1. (trait)ContextualEvaluator
      2. (trait)DeterministicEvaluator
      3. (object)(trait)EncodingEvaluator
      4. (object)
         EvaluationResults
      5. (trait)Evaluator
      6. (trait)HasDefaultGlobalContext
      7. (trait)HasDefaultRecContext
      8. (object)
         optIgnoreContracts
      9. (object)
         optMaxCalls
      10. (object)(trait)RecursiveEvaluator
      11. (trait)SolvingEvaluator
   3. inox.solvers
      1. (trait)AbstractSolver
      2. (trait)ADTManagers
      3. (class)CantResetException
      4. (object)
         DebugSectionSolver
      5. (object)
         optCheckModels
      6. (object)
         optSilentErrors
      7. (object)(trait)SimpleSolverAPI
      8. (trait)Solver
      9. (object)(trait)SolverFactory
      10. (object)
          SolverResponses
      11. (trait)TimeoutableFactory
      1. inox.solvers.combinators
         1. (trait)EncodingSolver
         2. (object)
            EncodingSolverFactory
         3. (trait)PortfolioSolver
         4. (object)(trait)PortfolioSolverFactory
         5. (object)(trait)SolverPoolFactory
         6. (trait)TimeoutSolver
         7. (trait)TimeoutSolverFactory
      2. inox.solvers.princess
         1. (trait)AbstractPrincessSolver
         2. (trait)PrincessSolver
      3. inox.solvers.smtlib
         1. (trait)CVC4Solver
         2. (trait)CVC4Target
         3. (class)MissformedSMTException
         4. (object)
            optCVC4Options
         5. (trait)SMTLIBDebugger
         6. (trait)SMTLIBParser
         7. (trait)SMTLIBSolver
         8. (trait)SMTLIBTarget
         9. (trait)Z3Solver
         10. (trait)Z3Target
      4. inox.solvers.theories
         1. (object)(trait)BagEncoder
         2. (object)(trait)BitvectorEncoder
         3. (trait)NoEncoder
         4. (object)(trait)RealEncoder
         5. (object)
            ReverseEvaluator
         6. (object)(trait)SetEncoder
         7. (trait)SimpleEncoder
         8. (object)(trait)StringEncoder
         9. (trait)TheoryEncoder
      5. inox.solvers.unrolling
         1. (trait)AbstractUnrollingSolver
         2. (object)(trait)ChooseEncoder
         3. (trait)DatatypeTemplates
         4. (trait)EqualityTemplates
         5. (trait)FunctionTemplates
         6. (trait)LambdaTemplates
         7. (object)
            optFeelingLucky
         8. (object)
            optModelFinding
         9. (object)
            optNoSimplifications
         10. (object)
             optUnrollAssumptions
         11. (object)
             optUnrollFactor
         12. (trait)QuantificationTemplates
         13. (trait)TemplateGenerator
         14. (trait)Templates
         15. (trait)UnrollingSolver
      6. inox.solvers.z3
         1. (trait)AbstractZ3Solver
         2. (trait)NativeZ3Solver
         3. (trait)UninterpretedZ3Solver
         4. (case class)UnsoundExtractionException
   4. inox.tip
      1. (object)
         Bags
      2. (object)
         Commands
      3. (class)MissformedTIPException
      4. (class)Parser
      5. (class)PositionProvider
      6. (class)Printer
      7. (object)
         Terms
      8. (trait)TipDebugger
      9. (class)TipLexer
      10. (class)TipParser
      11. (object)
          Tokens
   5. inox.transformers
      1. (trait)Collector
      2. (object)(trait)CollectorWithPC
      3. (trait)ScopeSimplifier
      4. (trait)SimplifierWithPC
      5. (trait)Transformer
      6. (trait)TransformerWithPC
   6. inox.utils
      1. (object)
         ASCIIHelpers
      2. (object)(class)Bijection
      3. (class)CartesianView
      4. (object)
         DebugSectionTimers
      5. (class)DefinedPosition
      6. (object)(class)FreeableIterator
      7. (object)
         GraphOps
      8. (object)
         GraphPrinters
      9. (object)
         Graphs
      10. (class)IncrementalBijection
      11. (class)IncrementalMap
      12. (class)IncrementalSeq
      13. (class)IncrementalSet
      14. (trait)IncrementalState
      15. (trait)IncrementalStateWrapper
      16. (trait)Interruptible
      17. (class)InterruptManager
      18. (class)LruCache
      19. (object)
          NoPosition
      20. (case class)OffsetPosition
      21. (object)(class)Position
      22. (trait)Positioned
      23. (case class)RangePosition
      24. (object)
          SCC
      25. (object)
          SearchSpace
      26. (object)
          SeqUtils
      27. (object)
          StreamUtils
      28. (class)TimeoutFor
      29. (class)Timer
      30. (class)TimerStorage
      31. (class)UniqueCounter