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
   15. (object)(class)SimpleAPI
   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.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
   3. 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
   4. 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
   5. 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)
         ContainsSymbol
      10. (object)
          ContainsVariable
      11. (object)(case class)Context
      12. (class)ContextAwareVisitor
      13. (object)
          CSIsatLineariser
      14. (object)
          DNFConverter
      15. (object)(class)Environment
      16. (object)
          EquivExpander
      17. (object)
          ExMaxiscoper
      18. (object)
          ExpressionReplacingVisitor
      19. (object)(class)FunctionCollector
      20. (object)(class)FunctionEncoder
      21. (object)(class)FunctionPreproc
      22. (case class)IAtom
      23. (case class)IBinFormula
      24. (object)
          IBinJunctor
      25. (case class)IBoolLit
      26. (case class)IConstant
      27. (object)(class)IEpsilon
      28. (case class)IEquation
      29. (object)(class)IExpression
      30. (class)IFormula
      31. (case class)IFormulaITE
      32. (case class)IFunApp
      33. (class)IFunction
      34. (case class)IInterpolantSpec
      35. (case class)IIntFormula
      36. (case class)IIntLit
      37. (object)
          IIntRelation
      38. (object)
          ImplicationCompressor
      39. (case class)INamedPart
      40. (case class)INot
      41. (object)
          InputAbsy2Internal
      42. (object)(class)Internal2InputAbsy
      43. (case class)IPlus
      44. (object)(class)IQuantified
      45. (case class)ISortedEpsilon
      46. (case class)ISortedQuantified
      47. (case class)ISortedVariable
      48. (object)
          IsUniversalFormulaVisitor
      49. (class)ITerm
      50. (case class)ITermITE
      51. (case class)ITimes
      52. (object)(case class)ITrigger
      53. (object)(class)IVariable
      54. (trait)IVariableBinder
      55. (object)(class)IVarShift
      56. (case class)IVarShiftList
      57. (case class)IVarShiftMap
      58. (case class)IVarShiftMapEmptyPrefix
      59. (class)KBO
      60. (object)
          LineariseVisitor
      61. (object)(class)Parser2InputAbsy
      62. (object)(class)PartExtractor
      63. (object)
          PartialEvaluator
      64. (object)(class)PartName
      65. (object)
          PartNameEliminator
      66. (class)Postprocessing
      67. (object)
          PredicateSubstVisitor
      68. (object)
          Preprocessing
      69. (object)(class)PrettyScalaLineariser
      70. (object)
          PrincessLineariser
      71. (object)(class)QuantifierCollectingVisitor
      72. (object)(class)QuantifierCountVisitor
      73. (object)
          Rewriter
      74. (class)SelectiveQuantifierCountVisitor
      75. (object)
          SimpleClausifier
      76. (object)
          SimpleMiniscoper
      77. (class)Simplifier
      78. (object)
          SimplifyingConstantSubstVisitor
      79. (object)
          SimplifyingVariableSubstVisitor
      80. (object)
          SizeVisitor
      81. (object)(class)SMTLineariser
      82. (object)(class)SMTParser2InputAbsy
      83. (class)StdFunctionPreproc
      84. (object)
          SubExprAbbreviator
      85. (object)(class)SymbolCollector
      86. (class)TestInputAbsyVisitor
      87. (object)(class)TPTPLineariser
      88. (object)(class)TPTPTParser
      89. (object)
          Transform2NNF
      90. (object)(class)Transform2Prenex
      91. (object)(class)TriggerGenerator
      92. (object)(class)UniformSubstVisitor
      93. (object)
          VariableIndexCollector
      94. (object)
          VariablePermVisitor
      95. (object)(class)VariableShiftVisitor
      96. (object)
          VariableSortChecker
      97. (object)
          VariableSortInferenceVisitor
      98. (object)
          VariableSubstVisitor
   6. 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. (object)(class)DagCertificateConverter
         25. (object)(case class)DirectStrengthenInference
         26. (object)(case class)DivRightInference
         27. (object)(class)DotLineariser
         28. (object)(case class)GroundInstInference
         29. (object)(class)LemmaBase
         30. (object)(class)LoggingBranchInferenceCollector
         31. (object)(class)MacroInference
         32. (object)
             NonLoggingBranchInferenceCollector
         33. (object)(case class)OmegaCertificate
         34. (object)(class)PartialCertificate
         35. (object)(case class)PartialCertificateInference
         36. (class)PartialCombCertificate
         37. (case class)PartialCompositionCertificate
         38. (class)PartialFixedCertificate
         39. (object)
             PartialIdentityCertificate
         40. (class)PartialInferenceCertificate
         41. (object)(case class)PredUnifyInference
         42. (object)(case class)QuantifierInference
         43. (object)(case class)ReduceInference
         44. (object)(case class)ReducePredInference
         45. (object)
             ReusedProofMarker
         46. (object)(case class)SimpInference
         47. (object)(case class)SplitEqCertificate
         48. (object)(case class)StrengthenCertificate
         49. (object)
             StrengthenCertificateHelper
         50. (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)DivisibilityTask
         9. (object)
            EagerMatchTask
         10. (trait)EagerTask
         11. (object)(class)EagerTaskAutomaton
         12. (class)EagerTaskManager
         13. (object)
             EliminateFactsTask
         14. (object)(class)ExQuantifierTask
         15. (object)
             FactsNormalisationTask
         16. (object)(class)FormulaTask
         17. (object)(class)Goal
         18. (object)(class)LazyMatchTask
         19. (object)(class)NegLitClauseTask
         20. (object)
             OmegaTask
         21. (trait)PrioritisedTask
         22. (object)(class)QuantifierTask
         23. (object)(class)RegularityBlockedTask
         24. (object)(trait)SymbolWeights
         25. (trait)Task
         26. (object)(class)TaskInfoCollector
         27. (object)(class)TaskManager
         28. (class)UpdateConstantFreedomTask
         29. (object)
             UpdateTasksTask
         30. (object)(case class)WrappedFormulaTask
      3. ap.proof.theoryPlugins
         1. (class)EagerPluginTask
         2. (object)(trait)Plugin
         3. (object)(class)PluginSequence
         4. (object)(class)PluginTask
         5. (class)PrioritisedPluginTask
         6. (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
   7. 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
   8. ap.theories
      1. (object)(class)ADT
      2. (object)
         BitShiftMultiplication
      3. (object)(class)ExtArray
      4. (object)
         FunctionalConsistency
      5. (object)(class)Heap
      6. (object)
         Incompleteness
      7. (object)(trait)MulTheory
      8. (object)(class)SimpleArray
      9. (object)(trait)Theory
      10. (object)(class)TheoryBuilder
      11. (class)TheoryCollector
      12. (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.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
   9. 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
   10. ap.util
       1. (object)(class)APTestCase
       2. (object)
          CmdlParser
       3. (object)
          Combinatorics
       4. (class)CountIt
       5. (object)
          Debug
       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)(trait)PeekIterator
       18. (class)PeekIteratorTrafo
       19. (object)(class)PlainRange
       20. (object)(class)POGraph
       21. (class)PredicatedIdealRange
       22. (class)PredicatedPlainRange
       23. (class)PriorityQueueWithIterators
       24. (object)
           RuntimeStatistics
       25. (object)
           Seqs
       26. (object)(class)Tarjan
       27. (object)(case class)Timeout
       28. (object)
           Timer
       29. (object)(class)UnionMap
       30. (object)(class)UnionSet