class icon trait icon trait icon trait icon
  1. focushideap
    1. AbstractFileProver
    2. AllTests
    3. CmdlMain
    4. DialogMain
    5. DialogUtil
    6. InputDialog
    7. IntelliFileProver
    8. JavaWrapper
    9. ParallelFileProver
    10. PresburgerTools
    11. PrincessPanel
    12. Prover
    13. ServerMain
    14. Signature
  1. focushideap.algebra
    1. Abelian
    2. CommutativePseudoRing
    3. CommutativeRing
    4. EuclidianRing
    5. Field
    6. Group
    7. IntegerRing
    8. Monoid
    9. OrderedRing
    10. PseudoRing
    11. Ring
    12. RingWithDivision
    13. RingWithIntConversions
    14. RingWithOrder
    15. Semigroup
    16. SymbolicTimes
  1. focushideap.api
    1. APIStack
    2. Evaluator
    3. PartialModel
    4. ProofThreadRunnable
    5. SimpleAPI
  1. focushideap.basetypes
    1. EmptyHeap
    2. HeapCollector
    3. IdealInt
    4. IdealRat
    5. Leaf
    6. LeftistHeap
    7. MultiSet
    8. Node
    9. SortedIterator
    10. TestIdealInt
    11. TestLeftistHeap
    12. Tree
    13. UnionFind
    14. UnsortedIterator
  1. focushideap.interpolants
    1. ArraySimplifier
    2. BitvectorSimplifier
    3. ConcurrentProgram
    4. ExtArraySimplifier
    5. FrameworkVocabulary
    6. InterpolantSimplifier
    7. InterpolationContext
    8. Interpolator
    9. InterpolatorQE
    10. Interval
    11. NonInterferenceChecker
    12. NonInterferenceChecker2
    13. PartialInterpolant
    14. PredicateCollector
    15. PredicateReplace
    16. ProofSimplifier
    17. ResourceFiles
    18. SigTracker
    19. SoftwareInterpolationFramework
    20. StructuredPrograms
    21. SymbolRangeEnvironment
    22. WolverineInterfaceMain
    23. WolverineInterpolantLineariser
  1. focushideap.parameters
    1. GlobalSettings
    2. GoalSettings
    3. Param
    4. ParserSettings
    5. PreprocessingSettings
    6. ReducerSettings
    7. Settings
  1. focushideap.parser
    1. AbstractCompleteFunctionPreproc
    2. AbstractVariableSubstVisitor
    3. ApParser2InputAbsy
    4. BooleanCompactifier
    5. CollectingVisitor
    6. CompleteFrugalFunctionPreproc
    7. CompleteFunctionPreproc
    8. ConstantSubstVisitor
    9. ContainsPredicate
    10. ContainsSymbol
    11. ContainsVariable
    12. Context
    13. ContextAwareVisitor
    14. CSIsatLineariser
    15. DNFConverter
    16. Environment
    17. EquivExpander
    18. EquivInliner
    19. ExMaxiscoper
    20. ExpressionReplacingVisitor
    21. FunctionCollector
    22. FunctionEncoder
    23. FunctionPreproc
    24. IAtom
    25. IBinFormula
    26. IBinJunctor
    27. IBoolLit
    28. IConstant
    29. IEpsilon
    30. IEquation
    31. IExpression
    32. IFormula
    33. IFormulaITE
    34. IFunApp
    35. IFunction
    36. IInterpolantSpec
    37. IIntFormula
    38. IIntLit
    39. IIntRelation
    40. ImplicationCompressor
    41. INamedPart
    42. INot
    43. InputAbsy2Internal
    44. Internal2InputAbsy
    45. IPlus
    46. IQuantified
    47. ISortedEpsilon
    48. ISortedQuantified
    49. ISortedVariable
    50. IsUniversalFormulaVisitor
    51. ITerm
    52. ITermITE
    53. ITimes
    54. ITrigger
    55. IVariable
    56. IVariableBinder
    57. IVarShift
    58. IVarShiftList
    59. IVarShiftMap
    60. IVarShiftMapEmptyPrefix
    61. KBO
    62. LineariseVisitor
    63. Parser2InputAbsy
    64. PartExtractor
    65. PartialEvaluator
    66. PartName
    67. PartNameEliminator
    68. Postprocessing
    69. PredicateSubstVisitor
    70. PredPartNameEliminator
    71. Preprocessing
    72. PrettyScalaLineariser
    73. PrincessLineariser
    74. QuantifierCollectingVisitor
    75. QuantifierCountVisitor
    76. Rewriter
    77. SelectiveQuantifierCountVisitor
    78. SimpleClausifier
    79. SimpleMiniscoper
    80. Simplifier
    81. SimplifyingConstantSubstVisitor
    82. SimplifyingVariableSubstVisitor
    83. SizeVisitor
    84. SMTLineariser
    85. SMTParser2InputAbsy
    86. StdFunctionPreproc
    87. SubExprAbbreviator
    88. SymbolCollector
    89. TestInputAbsyVisitor
    90. TPTPLineariser
    91. TPTPTParser
    92. Transform2NNF
    93. Transform2Prenex
    94. TriggerGenerator
    95. UniformSubstVisitor
    96. VariableIndexCollector
    97. VariablePermVisitor
    98. VariableShiftVisitor
    99. VariableSortChecker
    100. VariableSortInferenceVisitor
    101. VariableSubstVisitor
  1. focushideap.proof
    1. BindingContext
    2. ConstantFreedom
    3. ConstraintSimplifier
    4. ExhaustiveProver
    5. ModelSearchProver
    6. QuantifierElimProver
    7. SimpleSimplifier
    8. TestEquationSystems
    9. TestRandomProving
    10. Vocabulary
  1. focushideap.proof.certificates
    1. AlphaInference
    2. AntiSymmetryInference
    3. BetaCertificate
    4. BetaCertificateHelper
    5. BinaryCertificate
    6. BranchInference
    7. BranchInferenceCertificate
    8. BranchInferenceCollection
    9. BranchInferenceCollector
    10. CertArithLiteral
    11. CertCompoundFormula
    12. CertEquation
    13. CertFormula
    14. Certificate
    15. CertificateOneChild
    16. CertificatePrettyPrinter
    17. CertInequality
    18. CertNegEquation
    19. CertPredLiteral
    20. CloseCertificate
    21. ColumnReduceInference
    22. CombineEquationsInference
    23. CombineInequalitiesInference
    24. CutCertificate
    25. DagCertificateConverter
    26. DirectStrengthenInference
    27. DivRightInference
    28. DotLineariser
    29. GroundInstInference
    30. LemmaBase
    31. LoggingBranchInferenceCollector
    32. MacroInference
    33. NonLoggingBranchInferenceCollector
    34. OmegaCertificate
    35. PartialCertificate
    36. PartialCertificateInference
    37. PartialCombCertificate
    38. PartialCompositionCertificate
    39. PartialFixedCertificate
    40. PartialIdentityCertificate
    41. PartialInferenceCertificate
    42. PredUnifyInference
    43. QuantifierInference
    44. ReduceInference
    45. ReducePredInference
    46. ReusedProofMarker
    47. SimpInference
    48. SplitEqCertificate
    49. StrengthenCertificate
    50. StrengthenCertificateHelper
    51. TheoryAxiomInference
  1. focushideap.proof.goal
    1. AddFactsTask
    2. AliasAnalyser
    3. AllQuantifierTask
    4. BetaFormulaTask
    5. BlockedFormulaTask
    6. BoundStrengthenTask
    7. CompoundFormulas
    8. CountingTaskAggregator
    9. DivisibilityTask
    10. EagerMatchTask
    11. EagerTask
    12. EagerTaskAutomaton
    13. EagerTaskManager
    14. EliminateFactsTask
    15. ExQuantifierTask
    16. FactsNormalisationTask
    17. FormulaTask
    18. Goal
    19. LazyMatchTask
    20. MatchTasks
    21. NegLitClauseTask
    22. OmegaTask
    23. PairCountingTaskAggregator
    24. PrioritisedTask
    25. QuantifierTask
    26. RegularityBlockedTask
    27. SymbolWeights
    28. Task
    29. TaskAggregator
    30. TaskManager
    31. UpdateConstantFreedomTask
    32. UpdateTasksTask
    33. VectorTaskAggregator
    34. WrappedFormulaTask
  1. focushideap.proof.theoryPlugins
    1. EagerPluginTask
    2. IntermediatePluginTask
    3. Plugin
    4. PluginSequence
    5. PluginTask
    6. PrioritisedPluginTask
    7. TheoryProcedure
  1. focushideap.proof.tree
    1. AndTree
    2. IteratingProofTreeFactory
    3. NonRandomDataSource
    4. ProofTree
    5. ProofTreeFactory
    6. ProofTreeOneChild
    7. QuantifiedTree
    8. RandomDataSource
    9. SeededRandomDataSource
    10. SimpleProofTreeFactory
    11. StrengthenTree
    12. TestProofTree
    13. WeakenTree
  1. focushideap.terfor
    1. AliasChecker
    2. AliasStatus
    3. ComputationLogger
    4. ConstantTerm
    5. Formula
    6. OneTerm
    7. RichLinearCombination
    8. RichLinearCombinationSeq
    9. RichPredicate
    10. Sorted
    11. SortedWithOrder
    12. TerFor
    13. TerForConvenience
    14. Term
    15. TermOrder
    16. TestGenConjunctions
    17. TestPropConnectives
    18. TestTermOrder
    19. VariableTerm
  1. focushideap.terfor.arithconj
    1. ArithConj
    2. ElimPredModelElement
    3. EqModelElement
    4. EquivModelElement
    5. InNegEqModelElement
    6. ModelElement
    7. ReducableModelElement
    8. ReduceWithAC
  1. focushideap.terfor.conjunctions
    1. AndLazyConjunction
    2. AtomicLazyConjunction
    3. ConjunctEliminator
    4. Conjunction
    5. IdentityReducerPlugin
    6. IdentityReducerPluginFactory
    7. IterativeClauseMatcher
    8. LazyConjunction
    9. NegatedConjunctions
    10. NegLazyConjunction
    11. Quantifier
    12. ReducerPlugin
    13. ReducerPluginFactory
    14. ReduceWithConjunction
    15. SeqReducerPlugin
    16. SeqReducerPluginFactory
    17. SubsumptionRemover
  1. focushideap.terfor.equations
    1. ColumnSolver
    2. EquationConj
    3. EquationSet
    4. NegEquationConj
    5. ReduceWithEqs
    6. ReduceWithNegEqs
    7. TestEquationSet
  1. focushideap.terfor.inequalities
    1. FMInfsComputer
    2. InEqConj
    3. IntervalProp
    4. ReduceWithEmptyInEqs
    5. ReduceWithInEqs
    6. ReduceWithInEqsImpl
    7. TestInequalities
  1. focushideap.terfor.linearcombination
    1. ArrayLinearCombination
    2. LCBlender
    3. LinearCombination
    4. LinearCombination0
    5. LinearCombination1
    6. LinearCombination2
    7. ScalingIterator
    8. TestLinearCombination
  1. focushideap.terfor.preds
    1. Atom
    2. PredConj
    3. Predicate
    4. ReduceWithPredLits
  1. focushideap.terfor.substitutions
    1. ComposeSubsts
    2. ConstantSubst
    3. IdentitySubst
    4. PseudoConstantSubst
    5. PseudoDivSubstitution
    6. SimpleSubstitution
    7. Substitution
    8. TestSubst
    9. VariableShiftSubst
    10. VariableSubst
  1. focushideap.theories
    1. ADT
    2. BitShiftMultiplication
    3. DivZero
    4. ExtArray
    5. FunctionalConsistency
    6. Heap
    7. Incompleteness
    8. IntValueEnumTheory
    9. MulTheory
    10. SimpleArray
    11. Theory
    12. TheoryBuilder
    13. TheoryCollector
    14. TheoryRegistry
  1. focushideap.theories.bitvectors
    1. ExtractArithEncoder
    2. GaloisField
    3. LShiftCastSplitter
    4. ModCastSplitter
    5. ModPlugin
    6. ModPostprocessor
    7. ModPreprocessor
    8. ModReducer
    9. ModRing
    10. ModuloArithmetic
    11. RShiftCastSplitter
    12. SignedBVRing
    13. UnsignedBVRing
  1. focushideap.theories.nia
    1. Basis
    2. CoeffMonomial
    3. Gaussian
    4. GlexOrdering
    5. GrevlexOrdering
    6. GroebnerMultiplication
    7. InconsistentIntervalsException
    8. Interval
    9. IntervalException
    10. IntervalInt
    11. IntervalNegInf
    12. IntervalPosInf
    13. IntervalPropagator
    14. IntervalSet
    15. IntervalVal
    16. LexOrdering
    17. ListOrdering
    18. Monomial
    19. MonomialOrdering
    20. PartitionOrdering
    21. Polynomial
    22. StringOrdering
  1. focushideap.theories.rationals
    1. Fractions
    2. Rationals
  1. focushideap.theories.sequences
    1. ArraySeqTheory
    2. ArraySeqTheoryBuilder
    3. SeqMonoid
    4. SeqTheory
    5. SeqTheoryBuilder
  1. focushideap.theories.strings
    1. AbstractStringTheory
    2. AbstractStringTheoryWithSort
    3. SeqStringTheory
    4. SeqStringTheoryBuilder
    5. StringMonoid
    6. StringTheory
    7. StringTheoryBuilder
  1. focushideap.types
    1. IntToTermTranslator
    2. MonoSortedIFunction
    3. MonoSortedPredicate
    4. ProxySort
    5. Sort
    6. SortedConstantTerm
    7. SortedIFunction
    8. SortedPredicate
    9. TypeTheory
    10. UninterpretedSortTheory
  1. focushideap.util
    1. APTestCase
    2. CmdlParser
    3. Combinatorics
    4. CountIt
    5. Debug
    6. Dijkstra
    7. FastImmutableMap
    8. FilterIt
    9. IdealRange
    10. IntervalIdealRange
    11. IntervalPlainRange
    12. LazyIndexedSeqConcat
    13. LazyIndexedSeqSlice
    14. LazyMappedMap
    15. LazyMappedSet
    16. Logic
    17. LRUCache
    18. PeekIterator
    19. PeekIteratorTrafo
    20. PlainRange
    21. POGraph
    22. PredicatedIdealRange
    23. PredicatedPlainRange
    24. PriorityQueueWithIterators
    25. RuntimeStatistics
    26. Seqs
    27. Tarjan
    28. Timeout
    29. Timer
    30. UnionMap
    31. UnionSet