class icon trait icon trait icon trait icon
    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