1. ap
   1. (object)(class)AbstractFileProver
   2. (object)
      CmdlMain
   3. (object)
      DialogMain
   4. (object)
      DialogUtil
   5. (class)InputDialog
   6. (object)(class)IntelliFileProver
   7. (object)
      JavaWrapper
   8. (object)(class)ParallelFileProver
   9. (object)
      PresburgerTools
   10. (class)PrincessPanel
   11. (object)(trait)Prover
   12. (object)
       ServerMain
   13. (object)(class)Signature
   1. ap.algebra
      1. (trait)Abelian
      2. (trait)CommutativePseudoRing
      3. (trait)CommutativeRing
      4. (trait)EuclidianRing
      5. (trait)Field
      6. (trait)Group
      7. (object)
         IntegerRing
      8. (trait)Monoid
      9. (trait)OrderedRing
      10. (trait)PseudoRing
      11. (trait)Ring
      12. (trait)RingWithDivision
      13. (trait)RingWithIntConversions
      14. (trait)RingWithOrder
      15. (trait)Semigroup
      16. (trait)SymbolicTimes
   2. ap.api
      1. (class)APIStack
      2. (object)(class)Evaluator
      3. (class)PartialModel
      4. (object)(class)ProofThreadRunnable
      5. (object)(class)SimpleAPI
   3. ap.basetypes
      1. (class)EmptyHeap
      2. (object)(trait)HeapCollector
      3. (object)(class)IdealInt
      4. (object)(class)IdealRat
      5. (object)
         Leaf
      6. (object)(class)LeftistHeap
      7. (object)(class)MultiSet
      8. (case class)Node
      9. (object)(class)SetTrie
      10. (class)SortedIterator
      11. (case class)Tree
      12. (class)UnionFind
      13. (class)UnsortedIterator
   4. ap.interpolants
      1. (class)ArraySimplifier
      2. (class)BitvectorSimplifier
      3. (class)ConcurrentProgram
      4. (class)ExtArraySimplifier
      5. (class)FrameworkVocabulary
      6. (class)InterpolantSimplifier
      7. (object)(class)InterpolationContext
      8. (object)
         Interpolator
      9. (object)
         InterpolatorQE
      10. (object)(case class)Interval
      11. (object)(class)NonInterferenceChecker
      12. (object)(class)NonInterferenceChecker2
      13. (object)(class)PartialInterpolant
      14. (object)(class)PredicateCollector
      15. (object)(class)PredicateReplace
      16. (object)
          ProofSimplifier
      17. (object)
          ResourceFiles
      18. (class)SigTracker
      19. (class)SoftwareInterpolationFramework
      20. (object)
          StructuredPrograms
      21. (class)SymbolRangeEnvironment
      22. (object)
          WolverineInterfaceMain
      23. (class)WolverineInterpolantLineariser
   5. ap.parameters
      1. (object)(class)GlobalSettings
      2. (object)(class)GoalSettings
      3. (object)(class)Param
      4. (object)(class)ParserSettings
      5. (object)(class)PreprocessingSettings
      6. (object)(class)ReducerSettings
      7. (object)(class)Settings
   6. ap.parser
      1. (class)AbstractCompleteFunctionPreproc
      2. (class)AbstractVariableSubstVisitor
      3. (object)(class)ApParser2InputAbsy
      4. (object)
         BooleanCompactifier
      5. (object)(class)CollectingVisitor
      6. (class)CompleteFrugalFunctionPreproc
      7. (class)CompleteFunctionPreproc
      8. (object)
         ConstantSubstVisitor
      9. (object)
         ContainsPredicate
      10. (object)
          ContainsSymbol
      11. (object)
          ContainsVariable
      12. (object)(case class)Context
      13. (class)ContextAwareVisitor
      14. (object)
          CSIsatLineariser
      15. (object)
          DNFConverter
      16. (object)(class)Environment
      17. (object)
          EquivExpander
      18. (object)
          EquivInliner
      19. (object)
          ExMaxiscoper
      20. (object)
          ExpressionReplacingVisitor
      21. (object)(class)FunctionCollector
      22. (object)(class)FunctionEncoder
      23. (object)(class)FunctionPreproc
      24. (class)GenExpressionReplacingVisitor
      25. (case class)IAtom
      26. (case class)IBinFormula
      27. (object)
          IBinJunctor
      28. (case class)IBoolLit
      29. (case class)IConstant
      30. (object)(class)IEpsilon
      31. (case class)IEquation
      32. (object)(class)IExpression
      33. (class)IFormula
      34. (case class)IFormulaITE
      35. (case class)IFunApp
      36. (class)IFunction
      37. (case class)IInterpolantSpec
      38. (case class)IIntFormula
      39. (case class)IIntLit
      40. (object)
          IIntRelation
      41. (object)
          ImplicationCompressor
      42. (case class)INamedPart
      43. (case class)INot
      44. (object)
          InputAbsy2Internal
      45. (object)(class)Internal2InputAbsy
      46. (case class)IPlus
      47. (object)(class)IQuantified
      48. (case class)ISortedEpsilon
      49. (case class)ISortedQuantified
      50. (case class)ISortedVariable
      51. (object)
          IsUniversalFormulaVisitor
      52. (class)ITerm
      53. (case class)ITermITE
      54. (case class)ITimes
      55. (object)(case class)ITrigger
      56. (object)(class)IVariable
      57. (trait)IVariableBinder
      58. (object)(class)IVarShift
      59. (case class)IVarShiftList
      60. (case class)IVarShiftMap
      61. (case class)IVarShiftMapEmptyPrefix
      62. (class)KBO
      63. (object)
          LineariseVisitor
      64. (object)(class)Parser2InputAbsy
      65. (object)(class)PartExtractor
      66. (object)
          PartialEvaluator
      67. (object)(class)PartName
      68. (object)
          PartNameEliminator
      69. (class)Postprocessing
      70. (object)
          PredicateSubstVisitor
      71. (class)PredPartNameEliminator
      72. (object)
          Preprocessing
      73. (object)(class)PrettyScalaLineariser
      74. (object)
          PrincessLineariser
      75. (object)(class)QuantifierCollectingVisitor
      76. (object)(class)QuantifierCountVisitor
      77. (object)
          Rewriter
      78. (class)SelectiveQuantifierCountVisitor
      79. (object)(class)SimpleClausifier
      80. (object)
          SimpleMiniscoper
      81. (class)Simplifier
      82. (object)
          SimplifyingConstantSubstVisitor
      83. (object)
          SimplifyingExpressionReplacingVisitor
      84. (object)
          SimplifyingVariableSubstVisitor
      85. (object)
          SizeVisitor
      86. (trait)SMTLinearisableTheory
      87. (object)(class)SMTLineariser
      88. (trait)SMTParseableTheory
      89. (object)(class)SMTParser2InputAbsy
      90. (object)
          SMTParsingUtils
      91. (object)
          SMTTypes
      92. (class)StdFunctionPreproc
      93. (object)
          SubExprAbbreviator
      94. (object)(class)SymbolCollector
      95. (object)(class)TPTPLineariser
      96. (object)(class)TPTPTParser
      97. (object)
          Transform2NNF
      98. (object)(class)Transform2Prenex
      99. (object)(class)TriggerGenerator
      100. (object)(class)UniformSubstVisitor
      101. (object)
           VariableIndexCollector
      102. (object)
           VariablePermVisitor
      103. (object)(class)VariableShiftVisitor
      104. (object)
           VariableSortChecker
      105. (object)
           VariableSortInferenceVisitor
      106. (object)
           VariableSubstVisitor
   7. ap.proof
      1. (object)(case class)BindingContext
      2. (object)(class)ConstantFreedom
      3. (object)(class)ConstraintSimplifier
      4. (object)(class)ExhaustiveProver
      5. (object)(class)ModelSearchProver
      6. (object)
         QuantifierElimProver
      7. (class)SimpleSimplifier
      8. (object)(case class)Vocabulary
      1. ap.proof.certificates
         1. (object)(case class)AlphaInference
         2. (object)(case class)AntiSymmetryInference
         3. (object)(case class)BetaCertificate
         4. (object)
            BetaCertificateHelper
         5. (class)BinaryCertificate
         6. (object)(class)BranchInference
         7. (object)(case class)BranchInferenceCertificate
         8. (object)(class)BranchInferenceCollection
         9. (trait)BranchInferenceCollector
         10. (class)CertArithLiteral
         11. (object)(case class)CertCompoundFormula
         12. (case class)CertEquation
         13. (object)(class)CertFormula
         14. (object)(class)Certificate
         15. (class)CertificateOneChild
         16. (object)(class)CertificatePrettyPrinter
         17. (case class)CertInequality
         18. (case class)CertNegEquation
         19. (case class)CertPredLiteral
         20. (object)(case class)CloseCertificate
         21. (object)(case class)ColumnReduceInference
         22. (object)(case class)CombineEquationsInference
         23. (object)(case class)CombineInequalitiesInference
         24. (case class)CutCertificate
         25. (object)(class)DagCertificateConverter
         26. (object)(case class)DirectStrengthenInference
         27. (object)(case class)DivRightInference
         28. (object)(class)DotLineariser
         29. (object)(case class)GroundInstInference
         30. (object)(class)LemmaBase
         31. (object)(class)LoggingBranchInferenceCollector
         32. (object)(class)MacroInference
         33. (object)
             NonLoggingBranchInferenceCollector
         34. (object)(case class)OmegaCertificate
         35. (object)(class)PartialCertificate
         36. (object)(case class)PartialCertificateInference
         37. (class)PartialCombCertificate
         38. (case class)PartialCompositionCertificate
         39. (class)PartialFixedCertificate
         40. (object)
             PartialIdentityCertificate
         41. (class)PartialInferenceCertificate
         42. (object)(case class)PredUnifyInference
         43. (object)(case class)QuantifierInference
         44. (object)(case class)ReduceInference
         45. (object)(case class)ReducePredInference
         46. (object)
             ReusedProofMarker
         47. (object)(case class)SimpInference
         48. (object)(case class)SplitEqCertificate
         49. (object)(case class)StrengthenCertificate
         50. (object)
             StrengthenCertificateHelper
         51. (case class)TheoryAxiomInference
      2. ap.proof.goal
         1. (object)(class)AddFactsTask
         2. (object)(class)AliasAnalyser
         3. (object)(class)AllQuantifierTask
         4. (object)(class)BetaFormulaTask
         5. (object)(class)BlockedFormulaTask
         6. (object)(class)BoundStrengthenTask
         7. (object)(case class)CompoundFormulas
         8. (object)(class)CountingTaskAggregator
         9. (object)(class)DivisibilityTask
         10. (object)
             EagerMatchTask
         11. (trait)EagerTask
         12. (object)(class)EagerTaskAutomaton
         13. (class)EagerTaskManager
         14. (object)
             EliminateFactsTask
         15. (object)(class)ExQuantifierTask
         16. (object)
             FactsNormalisationTask
         17. (object)(class)FormulaTask
         18. (object)(class)Goal
         19. (object)(class)LazyMatchTask
         20. (object)
             MatchTasks
         21. (object)(class)NegLitClauseTask
         22. (object)
             OmegaTask
         23. (object)(class)PairCountingTaskAggregator
         24. (trait)PrioritisedTask
         25. (object)(class)QuantifierTask
         26. (object)(class)RegularityBlockedTask
         27. (object)(trait)SymbolWeights
         28. (trait)Task
         29. (object)(trait)TaskAggregator
         30. (object)(class)TaskManager
         31. (class)UpdateConstantFreedomTask
         32. (object)
             UpdateTasksTask
         33. (class)VectorTaskAggregator
         34. (object)(case class)WrappedFormulaTask
      3. ap.proof.theoryPlugins
         1. (class)EagerPluginTask
         2. (object)(class)IntermediatePluginTask
         3. (object)(trait)Plugin
         4. (object)(class)PluginSequence
         5. (object)(class)PluginTask
         6. (class)PrioritisedPluginTask
         7. (trait)TheoryProcedure
      4. ap.proof.tree
         1. (object)(class)AndTree
         2. (class)IteratingProofTreeFactory
         3. (object)
            NonRandomDataSource
         4. (object)(trait)ProofTree
         5. (class)ProofTreeFactory
         6. (object)(trait)ProofTreeOneChild
         7. (object)(class)QuantifiedTree
         8. (class)RandomDataSource
         9. (class)SeededRandomDataSource
         10. (class)SimpleProofTreeFactory
         11. (object)(class)StrengthenTree
         12. (object)
             TestProofTree
         13. (object)(class)WeakenTree
   8. ap.terfor
      1. (trait)AliasChecker
      2. (object)
         AliasStatus
      3. (object)(trait)ComputationLogger
      4. (class)ConstantTerm
      5. (object)(class)Formula
      6. (object)
         OneTerm
      7. (class)RichLinearCombination
      8. (class)RichLinearCombinationSeq
      9. (class)RichPredicate
      10. (trait)Sorted
      11. (trait)SortedWithOrder
      12. (class)TerFor
      13. (object)
          TerForConvenience
      14. (class)Term
      15. (object)(class)TermOrder
      16. (object)(case class)VariableTerm
      1. ap.terfor.arithconj
         1. (object)(class)ArithConj
         2. (case class)ElimPredModelElement
         3. (case class)EqModelElement
         4. (case class)EquivModelElement
         5. (object)(case class)InNegEqModelElement
         6. (object)(class)ModelElement
         7. (case class)ReducableModelElement
         8. (object)(class)ReduceWithAC
      2. ap.terfor.conjunctions
         1. (case class)AndLazyConjunction
         2. (case class)AtomicLazyConjunction
         3. (object)(class)ConjunctEliminator
         4. (object)(class)Conjunction
         5. (object)
            IdentityReducerPlugin
         6. (object)
            IdentityReducerPluginFactory
         7. (object)(class)IterativeClauseMatcher
         8. (object)(class)LazyConjunction
         9. (object)(class)NegatedConjunctions
         10. (case class)NegLazyConjunction
         11. (object)(class)Quantifier
         12. (object)(class)ReducerPlugin
         13. (class)ReducerPluginFactory
         14. (object)(class)ReduceWithConjunction
         15. (class)SeqReducerPlugin
         16. (object)(class)SeqReducerPluginFactory
         17. (class)SubsumptionRemover
      3. ap.terfor.equations
         1. (class)ColumnSolver
         2. (object)(class)EquationConj
         3. (object)(class)EquationSet
         4. (object)(class)NegEquationConj
         5. (object)(class)ReduceWithEqs
         6. (object)(class)ReduceWithNegEqs
      4. ap.terfor.inequalities
         1. (object)
            FMInfsComputer
         2. (object)(class)InEqConj
         3. (object)(class)IntervalProp
         4. (class)ReduceWithEmptyInEqs
         5. (object)(class)ReduceWithInEqs
         6. (class)ReduceWithInEqsImpl
      5. ap.terfor.linearcombination
         1. (class)ArrayLinearCombination
         2. (class)LCBlender
         3. (object)(class)LinearCombination
         4. (class)LinearCombination0
         5. (class)LinearCombination1
         6. (class)LinearCombination2
         7. (object)(class)ScalingIterator
      6. ap.terfor.preds
         1. (object)(class)Atom
         2. (object)(class)PredConj
         3. (class)Predicate
         4. (object)(class)ReduceWithPredLits
      7. ap.terfor.substitutions
         1. (object)(class)ComposeSubsts
         2. (object)(class)ConstantSubst
         3. (object)(class)IdentitySubst
         4. (object)(class)PseudoConstantSubst
         5. (object)(class)PseudoDivSubstitution
         6. (object)(class)SimpleSubstitution
         7. (object)(class)Substitution
         8. (object)(class)VariableShiftSubst
         9. (object)(class)VariableSubst
   9. ap.theories
      1. (object)(class)AbstractSaturationProcedure
      2. (object)(class)ADT
      3. (object)
         BitShiftMultiplication
      4. (object)(class)DivZero
      5. (object)
         FunctionalConsistency
      6. (object)
         Incompleteness
      7. (object)(class)IntValueEnumTheory
      8. (object)(trait)MulTheory
      9. (class)SaturationProcedure
      10. (class)TermBasedSaturationProcedure
      11. (object)(trait)Theory
      12. (object)(class)TheoryBuilder
      13. (class)TheoryCollector
      14. (object)
          TheoryRegistry
      1. ap.theories.arrays
         1. (object)(class)CombArray
         2. (object)(class)ExtArray
         3. (object)(class)MinMaxArray
         4. (object)(class)SetTheory
         5. (object)(class)SimpleArray
      2. ap.theories.bitvectors
         1. (trait)AtomSplitHandler
         2. (object)
            BitwiseOpIntervalPropagator
         3. (object)
            BitwiseOpSplitter
         4. (object)
            CastAtomSplitter
         5. (object)
            ExtractArithEncoder
         6. (object)
            ExtractIntervalPropagator
         7. (object)
            ExtractPartitioner
         8. (case class)GaloisField
         9. (object)
            InEqSimplifier
         10. (object)
             LShiftCastSplitHandler
         11. (object)
             ModCastSplitHandler
         12. (object)
             ModPlugin
         13. (object)
             ModPostprocessor
         14. (object)
             ModPreprocessor
         15. (object)
             ModReducer
         16. (object)(class)ModRing
         17. (object)
             ModuloArithmetic
         18. (object)
             ModuloArithmeticConstants
         19. (object)
             RShiftCastSplitHandler
         20. (case class)SignedBVRing
         21. (case class)UnsignedBVRing
      3. ap.theories.heaps
         1. (object)(class)ArrayHeap
         2. (object)(trait)Heap
         3. (object)(class)NativeHeap
      4. ap.theories.nia
         1. (class)Basis
         2. (object)
            Buchberger
         3. (class)BufferingIntervalStore
         4. (case class)CoeffMonomial
         5. (object)(class)Gaussian
         6. (class)GlexOrdering
         7. (class)GrevlexOrdering
         8. (object)
            GroebnerMultiplication
         9. (object)
            InconsistentIntervalsException
         10. (case class)Interval
         11. (case class)IntervalException
         12. (class)IntervalInt
         13. (object)
             IntervalNegInf
         14. (object)
             IntervalPosInf
         15. (object)(class)IntervalPropagator
         16. (class)IntervalSet
         17. (trait)IntervalStore
         18. (case class)IntervalVal
         19. (class)LexOrdering
         20. (class)ListOrdering
         21. (object)(case class)Monomial
         22. (class)MonomialOrdering
         23. (class)NIASplitter
         24. (object)(class)PartitionOrdering
         25. (object)(case class)Polynomial
         26. (object)
             StringOrdering
      5. ap.theories.rationals
         1. (object)(class)Fractions
         2. (class)OrderedFractions
         3. (object)
            Rationals
      6. ap.theories.sequences
         1. (object)(class)ArraySeqTheory
         2. (class)ArraySeqTheoryBuilder
         3. (case class)SeqMonoid
         4. (object)(trait)SeqTheory
         5. (object)(class)SeqTheoryBuilder
      7. ap.theories.strings
         1. (class)AbstractStringTheory
         2. (object)(class)AbstractStringTheoryWithSort
         3. (object)(class)SeqStringTheory
         4. (class)SeqStringTheoryBuilder
         5. (case class)StringMonoid
         6. (object)(trait)StringTheory
         7. (object)(class)StringTheoryBuilder
   10. ap.types
       1. (object)(class)IntToTermTranslator
       2. (object)(class)MonoSortedIFunction
       3. (object)(class)MonoSortedPredicate
       4. (class)ProxySort
       5. (object)(trait)Sort
       6. (object)(class)SortedConstantTerm
       7. (object)(class)SortedIFunction
       8. (object)(class)SortedPredicate
       9. (object)
          TypeTheory
       10. (object)(class)UninterpretedSortTheory
   11. ap.util
       1. (object)
          CmdlParser
       2. (object)
          Combinatorics
       3. (class)CountIt
       4. (object)
          Debug
       5. (object)(class)Dijkstra
       6. (object)(class)FastImmutableMap
       7. (object)(class)FilterIt
       8. (object)(class)IdealRange
       9. (class)IntervalIdealRange
       10. (class)IntervalPlainRange
       11. (object)(class)LazyIndexedSeqConcat
       12. (class)LazyIndexedSeqSlice
       13. (object)(class)LazyMappedMap
       14. (object)(class)LazyMappedSet
       15. (object)
           Logic
       16. (class)LRUCache
       17. (object)
           OpCounters
       18. (object)(trait)PeekIterator
       19. (class)PeekIteratorTrafo
       20. (object)(class)PlainRange
       21. (object)(class)POGraph
       22. (class)PredicatedIdealRange
       23. (class)PredicatedPlainRange
       24. (class)PriorityQueueWithIterators
       25. (object)
           RuntimeStatistics
       26. (object)
           Seqs
       27. (object)(class)Tarjan
       28. (object)(case class)Timeout
       29. (object)
           Timer
       30. (object)(class)UnionMap
       31. (object)(class)UnionSet
       32. (object)
           Warmup