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. (object)(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)Printer
      17. (trait)Printers
      18. (object)(trait)ProgramEncoder
      19. (trait)ProgramTransformer
      20. (trait)SimpleSymbols
      21. (trait)SimpleSymbolTransformer
      22. (object)(trait)SymbolOps
      23. (object)(trait)SymbolTransformer
      24. (trait)TreeDeconstructor
      25. (trait)TreeExtractor
      26. (trait)TreeOps
      27. (trait)Trees
      28. (trait)TreeTransformer
      29. (trait)TypeOps
      30. (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)
         optEvalQuantifiers
      9. (object)
         optIgnoreContracts
      10. (object)
          optMaxCalls
      11. (object)(trait)RecursiveEvaluator
      12. (trait)SolvingEvaluator
   3. inox.parsing
      1. (case class)AnyAssoc
      2. (trait)BuiltIns
      3. (case class)ConstraintException
      4. (trait)Constraints
      5. (trait)ConstraintSolvers
      6. (class)ElaborationException
      7. (case class)ErrorLocation
      8. (trait)ExpressionConvertors
      9. (trait)ExpressionDeconstructors
      10. (case class)ExpressionElaborationException
      11. (trait)ExpressionElaborators
      12. (trait)ExpressionExtractors
      13. (trait)ExpressionParsers
      14. (trait)ExprIRs
      15. (trait)Extractor
      16. (case class)InArgumentPosition
      17. (case class)InPartPosition
      18. (trait)Interpolator
      19. (trait)IR
      20. (case class)LeftAssoc
      21. (class)Level
      22. (trait)Lexers
      23. (case class)MatchPosition
      24. (object)
          Operators
      25. (case class)ParsingException
      26. (trait)PositionalErrors
      27. (case class)RightAssoc
      28. (trait)StringContextLexer
      29. (trait)StringContextParsers
      30. (object)(trait)StringContextPosition
      31. (trait)TypeConvertors
      32. (case class)TypeElaborationException
      33. (trait)TypeElaborators
      34. (trait)TypeExtractors
      35. (trait)TypeIRs
      36. (trait)TypeParsers
      37. (object)
          Utils
   4. inox.solvers
      1. (trait)AbstractOptimizer
      2. (trait)AbstractSolver
      3. (trait)ADTManagers
      4. (class)CantResetException
      5. (object)
         DebugSectionSolver
      6. (object)
         optAssumeChecked
      7. (object)
         optCheckModels
      8. (trait)Optimizer
      9. (object)
         optNoSimplifications
      10. (object)
          optSilentErrors
      11. (object)(class)PurityOptions
      12. (object)(trait)SimpleSolverAPI
      13. (object)(class)SimplificationOptions
      14. (trait)Solver
      15. (object)(trait)SolverFactory
      16. (object)
          SolverResponses
      17. (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
         1. inox.solvers.smtlib.optimization
            1. (object)
               Commands
            2. (class)Lexer
            3. (class)Parser
            4. (object)
               Tokens
            5. (trait)Z3Optimizer
      4. inox.solvers.theories
         1. (object)(trait)ASCIIStringEncoder
         2. (object)(trait)BagEncoder
         3. (object)(trait)BitvectorEncoder
         4. (object)
            NoEncoder
         5. (object)(trait)RealEncoder
         6. (object)
            ReverseEvaluator
         7. (object)(trait)SetEncoder
         8. (trait)SimpleEncoder
         9. (object)(trait)StringEncoder
         10. (trait)TheoryEncoder
         11. (case class)TheoryException
      5. inox.solvers.unrolling
         1. (trait)AbstractUnrollingOptimizer
         2. (trait)AbstractUnrollingSolver
         3. (object)(trait)ChooseEncoder
         4. (trait)DatatypeTemplates
         5. (trait)EqualityTemplates
         6. (trait)FunctionTemplates
         7. (trait)LambdaTemplates
         8. (object)
            optFeelingLucky
         9. (object)
            optModelFinding
         10. (object)
             optUnrollAssumptions
         11. (object)
             optUnrollFactor
         12. (trait)QuantificationTemplates
         13. (trait)TemplateGenerator
         14. (trait)Templates
         15. (trait)UnrollingOptimizer
         16. (trait)UnrollingSolver
      6. inox.solvers.z3
         1. (trait)AbstractZ3Solver
         2. (trait)NativeZ3Optimizer
         3. (trait)NativeZ3Solver
         4. (trait)UninterpretedZ3Solver
         5. (case class)UnsoundExtractionException
         6. (trait)Z3Native
         7. (trait)Z3Unrolling
   5. 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
   6. inox.transformers
      1. (trait)Collector
      2. (object)(trait)CollectorWithPC
      3. (trait)SimplifierWithPC
      4. (trait)Transformer
      5. (trait)TransformerWithPC
   7. inox.utils
      1. (object)
         ASCIIHelpers
      2. (object)(class)Bijection
      3. (trait)Cache
      4. (class)CartesianView
      5. (object)
         DebugSectionTimers
      6. (class)DefinedPosition
      7. (case class)DeserializationError
      8. (object)(class)FreeableIterator
      9. (object)
         GraphOps
      10. (object)
          GraphPrinters
      11. (object)
          Graphs
      12. (class)IncrementalBijection
      13. (class)IncrementalMap
      14. (class)IncrementalSeq
      15. (class)IncrementalSet
      16. (trait)IncrementalState
      17. (trait)IncrementalStateWrapper
      18. (class)InoxSerializer
      19. (trait)Interruptible
      20. (class)InterruptManager
      21. (object)(class)Lazy
      22. (class)LruCache
      23. (object)
          NoPosition
      24. (case class)OffsetPosition
      25. (object)(class)Position
      26. (trait)Positioned
      27. (class)PriorityCache
      28. (case class)RangePosition
      29. (object)
          SCC
      30. (object)
          SearchSpace
      31. (object)
          SeqUtils
      32. (case class)SerializationError
      33. (object)(trait)Serializer
      34. (object)
          StreamUtils
      35. (object)
          StringUtils
      36. (class)TimeoutFor
      37. (class)Timer
      38. (object)(class)TimerStorage
      39. (class)UniqueCounter