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)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)
          Incompleteness
        6. (object)(trait)MulTheory
        7. (object)(class)SimpleArray
        8. (object)(trait)Theory
        9. (object)(class)TheoryBuilder
        10. (class)TheoryCollector
        11. (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