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
      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. (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)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)DivZero
        4. (object)(class)ExtArray
        5. (object)
          FunctionalConsistency
        6. (object)(class)Heap
        7. (object)
          Incompleteness
        8. (object)(trait)MulTheory
        9. (object)(class)SimpleArray
        10. (object)(trait)Theory
        11. (object)(class)TheoryBuilder
        12. (class)TheoryCollector
        13. (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)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