1. inox
   1. (class)BooleanToOption
   2. (object)(case class)Context
   3. (class)DebugSection
   4. (object)
      DebugSectionOptions
   5. (class)DefaultReporter
   6. (case class)DoubleOptionDef
   7. (case class)FatalError
   8. (case class)FlagOptionDef
   9. (object)
      InoxProgram
   10. (case class)IntOptionDef
   11. (case class)LongOptionDef
   12. (object)
       Main
   13. (trait)MainHelpers
   14. (class)OptionDef
   15. (object)
       OptionParsers
   16. (object)(case class)Options
   17. (object)
       OptionsHelpers
   18. (object)(class)OptionValue
   19. (object)
       optSelectedSolvers
   20. (object)
       optTimeout
   21. (class)PlainTextReporter
   22. (trait)Program
   23. (class)Reporter
   24. (case class)StringOptionDef
   25. (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)AbstractPrincessSolver
      2. (trait)AbstractSolver
      3. (trait)ADTManagers
      4. (class)CantResetException
      5. (object)
         DebugSectionSolver
      6. (object)
         optCheckModels
      7. (object)
         optSilentErrors
      8. (object)(trait)SimpleSolverAPI
      9. (trait)Solver
      10. (object)(trait)SolverFactory
      11. (object)
          SolverResponses
      12. (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)PrincessSolver
      3. inox.solvers.smtlib
         1. (trait)CVC4Solver
         2. (trait)CVC4Target
         3. (object)
            optCVC4Options
         4. (trait)SMTLIBDebugger
         5. (trait)SMTLIBSolver
         6. (trait)SMTLIBTarget
         7. (trait)Z3Solver
         8. (trait)Z3Target
      4. inox.solvers.theories
         1. (object)(trait)BagEncoder
         2. (object)(trait)BitvectorEncoder
         3. (trait)CVC4Theories
         4. (trait)NoEncoder
         5. (trait)PrincessTheories
         6. (object)(trait)RealEncoder
         7. (object)
            ReverseEvaluator
         8. (object)(trait)SetEncoder
         9. (trait)SimpleEncoder
         10. (object)(trait)StringEncoder
         11. (trait)TheoryEncoder
         12. (trait)Z3Theories
      5. inox.solvers.unrolling
         1. (trait)AbstractUnrollingSolver
         2. (trait)DatatypeTemplates
         3. (trait)EqualityTemplates
         4. (trait)FunctionTemplates
         5. (trait)LambdaTemplates
         6. (object)
            optFeelingLucky
         7. (object)
            optModelFinding
         8. (object)
            optNoSimplifications
         9. (object)
            optUnrollAssumptions
         10. (object)
             optUnrollFactor
         11. (trait)QuantificationTemplates
         12. (trait)TemplateGenerator
         13. (trait)Templates
         14. (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. (object)
          NoPosition
      19. (case class)OffsetPosition
      20. (object)(class)Position
      21. (trait)Positioned
      22. (case class)RangePosition
      23. (object)
          SCC
      24. (object)
          SearchSpace
      25. (object)
          SeqUtils
      26. (object)
          StreamUtils
      27. (class)TimeoutFor
      28. (class)Timer
      29. (class)TimerStorage
      30. (class)UniqueCounter