1. ap
   1. (object)(class)AbstractFileProver
   2. (object)
      AllTests
   3. (object)
      CmdlMain
   4. (object)
      DialogMain
   5. (object)
      DialogUtil
   6. (class)InputDialog
   7. (object)(class)IntelliFileProver
   8. (object)
      JavaWrapper
   9. (object)(class)ParallelFileProver
   10. (object)
       PresburgerTools
   11. (class)PrincessPanel
   12. (object)(trait)Prover
   13. (object)
       ServerMain
   14. (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. (class)SortedIterator
      10. (class)TestIdealInt
      11. (class)TestLeftistHeap
      12. (case class)Tree
      13. (class)UnionFind
      14. (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. (case class)IAtom
      25. (case class)IBinFormula
      26. (object)
          IBinJunctor
      27. (case class)IBoolLit
      28. (case class)IConstant
      29. (object)(class)IEpsilon
      30. (case class)IEquation
      31. (object)(class)IExpression
      32. (class)IFormula
      33. (case class)IFormulaITE
      34. (case class)IFunApp
      35. (class)IFunction
      36. (case class)IInterpolantSpec
      37. (case class)IIntFormula
      38. (case class)IIntLit
      39. (object)
          IIntRelation
      40. (object)
          ImplicationCompressor
      41. (case class)INamedPart
      42. (case class)INot
      43. (object)
          InputAbsy2Internal
      44. (object)(class)Internal2InputAbsy
      45. (case class)IPlus
      46. (object)(class)IQuantified
      47. (case class)ISortedEpsilon
      48. (case class)ISortedQuantified
      49. (case class)ISortedVariable
      50. (object)
          IsUniversalFormulaVisitor
      51. (class)ITerm
      52. (case class)ITermITE
      53. (case class)ITimes
      54. (object)(case class)ITrigger
      55. (object)(class)IVariable
      56. (trait)IVariableBinder
      57. (object)(class)IVarShift
      58. (case class)IVarShiftList
      59. (case class)IVarShiftMap
      60. (case class)IVarShiftMapEmptyPrefix
      61. (class)KBO
      62. (object)
          LineariseVisitor
      63. (object)(class)Parser2InputAbsy
      64. (object)(class)PartExtractor
      65. (object)
          PartialEvaluator
      66. (object)(class)PartName
      67. (object)
          PartNameEliminator
      68. (class)Postprocessing
      69. (object)
          PredicateSubstVisitor
      70. (class)PredPartNameEliminator
      71. (object)
          Preprocessing
      72. (object)(class)PrettyScalaLineariser
      73. (object)
          PrincessLineariser
      74. (object)(class)QuantifierCollectingVisitor
      75. (object)(class)QuantifierCountVisitor
      76. (object)
          Rewriter
      77. (class)SelectiveQuantifierCountVisitor
      78. (object)(class)SimpleClausifier
      79. (object)
          SimpleMiniscoper
      80. (class)Simplifier
      81. (object)
          SimplifyingConstantSubstVisitor
      82. (object)
          SimplifyingVariableSubstVisitor
      83. (object)
          SizeVisitor
      84. (object)(class)SMTLineariser
      85. (object)(class)SMTParser2InputAbsy
      86. (class)StdFunctionPreproc
      87. (object)
          SubExprAbbreviator
      88. (object)(class)SymbolCollector
      89. (class)TestInputAbsyVisitor
      90. (object)(class)TPTPLineariser
      91. (object)(class)TPTPTParser
      92. (object)
          Transform2NNF
      93. (object)(class)Transform2Prenex
      94. (object)(class)TriggerGenerator
      95. (object)(class)UniformSubstVisitor
      96. (object)
          VariableIndexCollector
      97. (object)
          VariablePermVisitor
      98. (object)(class)VariableShiftVisitor
      99. (object)
          VariableSortChecker
      100. (object)
           VariableSortInferenceVisitor
      101. (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. (class)TestEquationSystems
      9. (class)TestRandomProving
      10. (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. (class)TestGenConjunctions
      17. (class)TestPropConnectives
      18. (class)TestTermOrder
      19. (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
         7. (class)TestEquationSet
      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
         7. (class)TestInequalities
      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
         8. (class)TestLinearCombination
      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. (class)TestSubst
         9. (object)(class)VariableShiftSubst
         10. (object)(class)VariableSubst
   9. ap.theories
      1. (object)(class)ADT
      2. (object)
         BitShiftMultiplication
      3. (object)(class)DivZero
      4. (object)(class)ExtArray
      5. (object)
         FunctionalConsistency
      6. (object)(class)Heap
      7. (object)
         Incompleteness
      8. (object)(class)IntValueEnumTheory
      9. (object)(trait)MulTheory
      10. (object)(class)SimpleArray
      11. (object)(trait)Theory
      12. (object)(class)TheoryBuilder
      13. (class)TheoryCollector
      14. (object)
          TheoryRegistry
      1. ap.theories.bitvectors
         1. (object)
            ExtractArithEncoder
         2. (case class)GaloisField
         3. (object)
            LShiftCastSplitter
         4. (object)
            ModCastSplitter
         5. (object)
            ModPlugin
         6. (object)
            ModPostprocessor
         7. (object)
            ModPreprocessor
         8. (object)
            ModReducer
         9. (object)(class)ModRing
         10. (object)
             ModuloArithmetic
         11. (object)
             RShiftCastSplitter
         12. (case class)SignedBVRing
         13. (case class)UnsignedBVRing
      2. ap.theories.nia
         1. (class)Basis
         2. (case class)CoeffMonomial
         3. (object)(class)Gaussian
         4. (class)GlexOrdering
         5. (class)GrevlexOrdering
         6. (object)
            GroebnerMultiplication
         7. (object)
            InconsistentIntervalsException
         8. (object)(case class)Interval
         9. (case class)IntervalException
         10. (class)IntervalInt
         11. (object)
             IntervalNegInf
         12. (object)
             IntervalPosInf
         13. (object)(class)IntervalPropagator
         14. (class)IntervalSet
         15. (case class)IntervalVal
         16. (class)LexOrdering
         17. (class)ListOrdering
         18. (object)(case class)Monomial
         19. (class)MonomialOrdering
         20. (object)(class)PartitionOrdering
         21. (object)(case class)Polynomial
         22. (object)
             StringOrdering
      3. ap.theories.rationals
         1. (class)Fractions
         2. (object)
            Rationals
      4. ap.theories.sequences
         1. (object)(class)ArraySeqTheory
         2. (class)ArraySeqTheoryBuilder
         3. (case class)SeqMonoid
         4. (object)(trait)SeqTheory
         5. (object)(class)SeqTheoryBuilder
      5. 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)(class)APTestCase
       2. (object)
          CmdlParser
       3. (object)
          Combinatorics
       4. (class)CountIt
       5. (object)
          Debug
       6. (object)(class)Dijkstra
       7. (object)(class)FastImmutableMap
       8. (object)(class)FilterIt
       9. (object)(class)IdealRange
       10. (class)IntervalIdealRange
       11. (class)IntervalPlainRange
       12. (object)(class)LazyIndexedSeqConcat
       13. (class)LazyIndexedSeqSlice
       14. (object)(class)LazyMappedMap
       15. (object)(class)LazyMappedSet
       16. (object)
           Logic
       17. (class)LRUCache
       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