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)(class)FunctionCollector
      19. (object)(class)FunctionEncoder
      20. (object)(class)FunctionPreproc
      21. (case class)IAtom
      22. (case class)IBinFormula
      23. (object)
          IBinJunctor
      24. (case class)IBoolLit
      25. (case class)IConstant
      26. (object)(class)IEpsilon
      27. (case class)IEquation
      28. (object)(class)IExpression
      29. (class)IFormula
      30. (case class)IFormulaITE
      31. (case class)IFunApp
      32. (class)IFunction
      33. (case class)IInterpolantSpec
      34. (case class)IIntFormula
      35. (case class)IIntLit
      36. (object)
          IIntRelation
      37. (object)
          ImplicationCompressor
      38. (case class)INamedPart
      39. (case class)INot
      40. (object)
          InputAbsy2Internal
      41. (object)(class)Internal2InputAbsy
      42. (case class)IPlus
      43. (object)(class)IQuantified
      44. (case class)ISortedEpsilon
      45. (case class)ISortedQuantified
      46. (case class)ISortedVariable
      47. (object)
          IsUniversalFormulaVisitor
      48. (class)ITerm
      49. (case class)ITermITE
      50. (case class)ITimes
      51. (object)(case class)ITrigger
      52. (object)(class)IVariable
      53. (trait)IVariableBinder
      54. (object)(class)IVarShift
      55. (case class)IVarShiftList
      56. (case class)IVarShiftMap
      57. (case class)IVarShiftMapEmptyPrefix
      58. (class)KBO
      59. (object)
          LineariseVisitor
      60. (object)(class)Parser2InputAbsy
      61. (object)(class)PartExtractor
      62. (object)
          PartialEvaluator
      63. (object)(class)PartName
      64. (object)
          PartNameEliminator
      65. (class)Postprocessing
      66. (object)
          PredicateSubstVisitor
      67. (object)
          Preprocessing
      68. (object)(class)PrettyScalaLineariser
      69. (object)
          PrincessLineariser
      70. (object)(class)QuantifierCollectingVisitor
      71. (object)(class)QuantifierCountVisitor
      72. (object)
          Rewriter
      73. (class)SelectiveQuantifierCountVisitor
      74. (object)
          SimpleClausifier
      75. (object)
          SimpleMiniscoper
      76. (class)Simplifier
      77. (object)
          SimplifyingConstantSubstVisitor
      78. (object)
          SimplifyingVariableSubstVisitor
      79. (object)
          SizeVisitor
      80. (object)(class)SMTLineariser
      81. (object)(class)SMTParser2InputAbsy
      82. (class)StdFunctionPreproc
      83. (object)
          SubExprAbbreviator
      84. (object)(class)SymbolCollector
      85. (class)TestInputAbsyVisitor
      86. (object)(class)TPTPLineariser
      87. (object)(class)TPTPTParser
      88. (object)
          Transform2NNF
      89. (object)(class)Transform2Prenex
      90. (object)(class)TriggerGenerator
      91. (object)(class)UniformSubstVisitor
      92. (object)
          VariableIndexCollector
      93. (object)
          VariablePermVisitor
      94. (object)(class)VariableShiftVisitor
      95. (object)
          VariableSortChecker
      96. (object)
          VariableSortInferenceVisitor
      97. (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