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. (case class)MarkerOptionDef
   16. (object)(trait)Model
   17. (class)OptionDef
   18. (object)
       OptionParsers
   19. (object)(case class)Options
   20. (object)
       OptionsHelpers
   21. (object)(class)OptionValue
   22. (object)
       optPrintChooses
   23. (object)
       optSelectedSolvers
   24. (object)
       optTimeout
   25. (class)PlainTextReporter
   26. (object)(trait)Program
   27. (class)Reporter
   28. (trait)Semantics
   29. (trait)SemanticsProvider
   30. (class)SeqOptionDef
   31. (class)SetOptionDef
   32. (case class)StringOptionDef
   33. (object)
       trees
   34. (class)Unsupported
   1. inox.ast
      1. (trait)CallGraph
      2. (trait)Constructors
      3. (trait)Deconstructors
      4. (trait)Definitions
      5. (trait)DependencyGraph
      6. (trait)DSL
      7. (trait)Expressions
      8. (trait)ExprOps
      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. (trait)SimpleSymbols
      19. (object)(trait)SymbolOps
      20. (trait)TreeDeconstructor
      21. (trait)TreeExtractor
      22. (trait)TreeOps
      23. (trait)Trees
      24. (trait)TypeOps
      25. (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. (trait)ConstraintSolvers
      4. (trait)DefinitionElaborators
      5. (trait)DefinitionExtractors
      6. (trait)DefinitionIRs
      7. (trait)DefinitionParsers
      8. (trait)Elaborators
      9. (case class)ErrorLocation
      10. (trait)ExpressionDeconstructors
      11. (trait)ExpressionElaborators
      12. (trait)ExpressionExtractors
      13. (trait)ExpressionParsers
      14. (trait)ExprIRs
      15. (trait)Extractors
      16. (case class)InArgumentPosition
      17. (case class)InPartPosition
      18. (trait)Interpolator
      19. (trait)IR
      20. (trait)IRs
      21. (case class)LeftAssoc
      22. (class)Level
      23. (trait)Lexers
      24. (case class)MatchPosition
      25. (object)
          Operators
      26. (trait)Parsers
      27. (trait)PositionalErrors
      28. (case class)RightAssoc
      29. (trait)StringContextLexer
      30. (trait)StringContextParsers
      31. (object)(trait)StringContextPosition
      32. (trait)TypeDeconstructors
      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. (class)InternalSolverError
      7. (object)
         optAssumeChecked
      8. (object)
         optCheckModels
      9. (trait)Optimizer
      10. (object)
          optNoSimplifications
      11. (object)
          optSilentErrors
      12. (object)(class)PurityOptions
      13. (object)(trait)SimpleSolverAPI
      14. (object)(class)SimplificationOptions
      15. (trait)Solver
      16. (object)(trait)SolverFactory
      17. (object)
          SolverResponses
      18. (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)
            NoEncoder
         4. (object)(trait)RealEncoder
         5. (object)
            ReverseEvaluator
         6. (object)(trait)SetEncoder
         7. (trait)SimpleEncoder
         8. (object)(trait)StringEncoder
         9. (trait)TheoryEncoder
         10. (case class)TheoryException
      5. inox.solvers.unrolling
         1. (trait)AbstractUnrollingOptimizer
         2. (trait)AbstractUnrollingSolver
         3. (object)(trait)ChooseEncoder
         4. (trait)EqualityTemplates
         5. (trait)FunctionTemplates
         6. (trait)LambdaTemplates
         7. (object)
            optFeelingLucky
         8. (object)
            optModelFinding
         9. (object)
            optUnrollAssumptions
         10. (object)
             optUnrollBound
         11. (object)
             optUnrollFactor
         12. (trait)QuantificationTemplates
         13. (trait)TemplateGenerator
         14. (trait)Templates
         15. (trait)TypeTemplates
         16. (trait)UnrollingOptimizer
         17. (trait)UnrollingSolver
      6. inox.solvers.z3
         1. (trait)AbstractZ3Solver
         2. (trait)NativeZ3Optimizer
         3. (object)(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. (object)
         DebugSectionTip
      4. (class)MissformedTIPException
      5. (object)(class)Parser
      6. (class)PositionProvider
      7. (class)Printer
      8. (object)
         Terms
      9. (trait)TipDebugger
      10. (class)TipLexer
      11. (class)TipParser
      12. (object)
          Tokens
   6. inox.transformers
      1. (trait)DefinitionTransformer
      2. (trait)DefinitionTraverser
      3. (object)(trait)ProgramEncoder
      4. (trait)ProgramTransformer
      5. (trait)SimpleSymbolTransformer
      6. (trait)SimplifierWithCNFPath
      7. (trait)SimplifierWithPath
      8. (trait)SimplifierWithPC
      9. (object)(trait)SymbolTransformer
      10. (trait)Transformer
      11. (class)TransformerOp
      12. (trait)TransformerWithExprOp
      13. (trait)TransformerWithPC
      14. (trait)TransformerWithTypeOp
      15. (trait)Traverser
      16. (class)TraverserOp
      17. (trait)TraverserWithExprOp
      18. (trait)TraverserWithTypeOp
      19. (trait)TreeTransformer
      20. (trait)TreeTraverser
   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