1. at
   1. at.logic
      1. at.logic.gapt
         1. at.logic.gapt.cutintro
            1. (object)
               beautifySolution
            2. (object)
               CutIntroduction
            3. (trait)GrammarFindingMethod
            4. (object)
               improveSolutionLK
            5. (object)(case class)MaxSATMethod
            6. (object)
               ReforestMethod
            7. (case class)SchematicExtendedHerbrandSequent
            8. (object)
               sehsToVTRATG
            9. (case class)SolutionStructure
            10. (object)
                vtratgToSEHS
         2. at.logic.gapt.expr
            1. (case class)->
            2. (object)(class)Abs
            3. (object)
               All
            4. (object)
               And
            5. (object)
               AndC
            6. (object)(class)App
            7. (object)
               Apps
            8. (object)
               arity
            9. (object)
               baseTypes
            10. (object)
                BetaReduction
            11. (class)BinaryPropConnectiveHelper
            12. (object)
                Bottom
            13. (object)
                BottomC
            14. (object)
                clauseSubsumption
            15. (trait)ClosedUnderReplacement
            16. (object)(class)Const
            17. (object)
                constants
            18. (object)
                containedNames
            19. (case class)Definition
            20. (object)
                Eq
            21. (object)
                EqC
            22. (object)
                Ex
            23. (object)
                ExistsC
            24. (object)(class)ExpressionParseHelper
            25. (object)
                expressionSize
            26. (class)ExprNameGenerator
            27. (object)(trait)FOLAtom
            28. (object)(trait)FOLAtomConst
            29. (object)(trait)FOLConst
            30. (trait)FOLExpression
            31. (trait)FOLFormula
            32. (object)
                FOLFunction
            33. (object)(trait)FOLFunctionConst
            34. (object)
                FOLHeadType
            35. (trait)FOLPartialAtom
            36. (trait)FOLPartialTerm
            37. (trait)FOLQuantifier
            38. (object)(class)FOLSubstitution
            39. (trait)FOLTerm
            40. (object)(trait)FOLVar
            41. (object)
                ForallC
            42. (object)
                freeVariables
            43. (object)
                FunctionType
            44. (object)(trait)HOLAtom
            45. (object)(trait)HOLAtomConst
            46. (trait)HOLFormula
            47. (object)
                HOLFunction
            48. (trait)HOLPartialAtom
            49. (object)
                Imp
            50. (object)
                ImpC
            51. (object)
                isInVNF
            52. (class)LambdaExpression
            53. (object)(class)LambdaPosition
            54. (class)LogicalC
            55. (trait)LogicalConstant
            56. (object)
                longNormalForm
            57. (trait)MatchingAlgorithm
            58. (class)MonoidalBinaryPropConnectiveHelper
            59. (class)MonomorphicLogicalC
            60. (object)
                Neg
            61. (object)
                NegC
            62. (object)
                NonLogicalConstant
            63. (class)NullaryPropConnectiveHelper
            64. (object)
                Or
            65. (object)
                OrC
            66. (object)(class)Polarity
            67. (trait)PropAtom
            68. (trait)PropConnective
            69. (trait)PropFormula
            70. (object)
                Quant
            71. (class)QuantifierC
            72. (class)QuantifierHelper
            73. (object)
                rename
            74. (object)(trait)Replaceable
            75. (object)
                replacementContext
            76. (object)(trait)Substitutable
            77. (object)(class)Substitution
            78. (object)
                subTerms
            79. (object)(class)syntacticMatching
            80. (object)
                syntacticMGU
            81. (case class)TBase
            82. (object)
                TermReplacement
            83. (object)
                Ti
            84. (object)
                To
            85. (object)
                toImplications
            86. (object)
                Top
            87. (object)
                TopC
            88. (object)
                toVNF
            89. (case class)TVar
            90. (class)Ty
            91. (object)
                typeMatching
            92. (object)
                typeVars
            93. (class)UnaryPropConnectiveHelper
            94. (object)(class)Var
            95. (object)
                variables
            96. (object)(trait)VarOrConst
            1. at.logic.gapt.expr.fol
               1. (object)
                  BinaryConnective
               2. (object)
                  changeTypeIn
               3. (trait)CountingFormulas
               4. (object)
                  Delta
               5. (object)
                  FOLFunctionArgs
               6. (object)
                  FOLFunctionName
               7. (object)(class)FOLPosition
               8. (object)
                  folSubTerms
               9. (object)
                  folTermSize
               10. (object)
                   getArityOfConstants
               11. (object)
                   isFOLFunction
               12. (object)
                   isFOLPrenexPi1
               13. (object)
                   isFOLPrenexSigma1
               14. (object)
                   naive
               15. (object)
                   Numeral
               16. (object)
                   Pi
               17. (object)(class)reduceHolToFol
               18. (object)(class)replaceAbstractions
               19. (object)
                   Sigma
               20. (object)
                   thresholds
               21. (object)(class)TseitinCNF
               22. (object)
                   undoHol2Fol
               23. (object)(class)undoReplaceAbstractions
               24. (object)
                   Utils
            2. at.logic.gapt.expr.hol
               1. (object)
                  atoms
               2. (object)
                  BinaryConnective
               3. (object)
                  CNFn
               4. (object)
                  CNFp
               5. (object)
                  containsQuantifier
               6. (object)
                  containsQuantifierOnLogicalLevel
               7. (object)
                  containsStrongQuantifier
               8. (object)
                  containsWeakQuantifier
               9. (object)
                  DNFn
               10. (object)
                   DNFp
               11. (object)
                   dualize
               12. (object)
                   existsclosure
               13. (case class)fastStructuralCNF
               14. (object)
                   formulaToSequent
               15. (object)
                   freeHOVariables
               16. (object)(class)HOLOrdering
               17. (object)(class)HOLPosition
               18. (object)
                   instantiate
               19. (object)
                   isAtom
               20. (object)
                   isExtendedAtom
               21. (object)
                   isLogicalConstant
               22. (object)
                   isNeg
               23. (object)
                   isPrenex
               24. (object)
                   isReflexivity
               25. (object)
                   lcomp
               26. (object)
                   normalizeFreeVariables
               27. (object)
                   numOfAtoms
               28. (object)
                   removeAllQuantifiers
               29. (object)
                   removeNeg
               30. (object)
                   removeQuantifiers
               31. (object)
                   simplify
               32. (object)(case class)SkolemFunctions
               33. (class)SkolemSymbolFactory
               34. (object)(class)TAOrdering
               35. (object)
                   toNNF
               36. (object)
                   univclosure
               37. (object)
                   variablesAll
               38. (object)
                   variablesEx
         3. at.logic.gapt.formats
            1. (object)(case class)ClasspathInputFile
            2. (object)(trait)InputFile
            3. (case class)OnDiskInputFile
            4. (case class)StringInputFile
            1. at.logic.gapt.formats.babel
               1. (object)
                  ast
               2. (class)BabelExporter
               3. (object)
                  BabelLexical
               4. (class)BabelParseError
               5. (object)
                  BabelParser
               6. (object)
                  BabelParserCombinators
               7. (case class)BabelParsingError
               8. (object)(class)BabelSignature
               9. (case class)BabelUnificationError
               10. (object)(case class)MapBabelSignature
            2. at.logic.gapt.formats.dimacs
               1. (object)
                  DIMACS
               2. (class)DIMACSEncoding
               3. (object)
                  readDIMACS
               4. (object)
                  readDRUP
               5. (object)
                  readWDIMACS
               6. (object)
                  writeDIMACS
               7. (object)
                  writeWDIMACS
            3. at.logic.gapt.formats.hoare
               1. (object)
                  ProgramParser
               2. (trait)ProgramParserA
            4. at.logic.gapt.formats.ivy
               1. (case class)Flip
               2. (case class)InitialClause
               3. (case class)Instantiate
               4. (object)
                  IvyParser
               5. (trait)IvyResolutionProof
               6. (case class)NewSymbol
               7. (case class)Paramodulation
               8. (case class)Propositional
               9. (case class)Resolution
               1. at.logic.gapt.formats.ivy.conversion
                  1. (object)
                     IvyToResolution
            5. at.logic.gapt.formats.latex
               1. (object)
                  LatexExporter
               2. (trait)SequentsListLatexExporter
            6. at.logic.gapt.formats.leancop
               1. (class)LeanCoPLeanPredWrongArityException
               2. (class)LeanCoPNoLeanPredException
               3. (class)LeanCoPNoMatchException
               4. (object)
                  LeanCoPParser
               5. (class)LeanCoPParserException
            7. at.logic.gapt.formats.lisp
               1. (case class)LAtom
               2. (case class)LCons
               3. (object)
                  LFun
               4. (object)
                  LFunOrAtom
               5. (case class)LList
               6. (class)SExpression
               7. (object)(class)SExpressionParser
            8. at.logic.gapt.formats.llk
               1. (case class)AToken
               2. (object)(class)DeclarationParser
               3. (object)
                  EquationVerifier
               4. (object)
                  exportLLK
               5. (case class)ExtendedProofDatabase
               6. (class)HybridLatexParserException
               7. (object)
                  LatexLLKExporter
               8. (trait)LatexReplacementParser
               9. (object)(class)LLKASTParser
               10. (object)(class)LLKExporter
               11. (object)
                   LLKFormatter
               12. (object)(class)LLKFormulaParser
               13. (object)(class)LLKProofParser
               14. (object)
                   LLKTypes
               15. (object)
                   loadLLK
               16. (object)
                   parseLLKExp
               17. (object)
                   parseLLKFormula
               18. (case class)RToken
               19. (class)Token
               20. (trait)TokenToLKConverter
               21. (object)
                   toLatexString
               22. (object)
                   toLLKString
               23. (case class)TToken
               24. (object)
                   UnicodeToLatex
               1. at.logic.gapt.formats.llk.ast
                  1. (case class)Abs
                  2. (case class)All
                  3. (case class)And
                  4. (case class)App
                  5. (case class)Bottom
                  6. (case class)Eq
                  7. (case class)Exists
                  8. (case class)Imp
                  9. (class)LambdaAST
                  10. (case class)Neg
                  11. (case class)Or
                  12. (case class)Top
                  13. (case class)Var
               2. at.logic.gapt.formats.llk.short
                  1. (object)
                     hof
                  2. (object)
                     hot
                  3. (object)
                     sig
            9. at.logic.gapt.formats.prover9
               1. (object)
                  Prover9TermParser
               2. (trait)Prover9TermParserA
               3. (object)
                  Prover9TermParserLadrStyle
            10. at.logic.gapt.formats.tip
                1. (case class)TipConstructor
                2. (case class)TipDatatype
                3. (case class)TipFun
                4. (case class)TipProblem
                5. (object)(class)TipSmtParser
            11. at.logic.gapt.formats.tptp
                1. (case class)AnnotatedFormula
                2. (object)
                   GeneralColon
                3. (object)
                   GeneralList
                4. (case class)IncludeDirective
                5. (object)
                   resolutionToTptp
                6. (object)
                   resolveIncludes
                7. (object)
                   TPTPAxiom
                8. (object)
                   TPTPConjecture
                9. (object)
                   TPTPDefinition
                10. (case class)TptpFile
                11. (object)
                    TPTPFOLExporter
                12. (class)TPTPFormulaRole
                13. (object)(class)TPTPHOLExporter
                14. (trait)TptpInput
                15. (object)
                    TPTPNegatedConjecture
                16. (object)(class)TptpParser
                17. (object)
                    tptpProblemToResolution
                18. (object)
                    TptpProofParser
                19. (object)
                    TptpTerm
                20. (object)
                    tptpToString
            12. at.logic.gapt.formats.verit
                1. (object)
                   SmtLibExporter
                2. (object)
                   VeriTParser
                3. (class)VeriTParserException
                4. (class)VeriTUnfoldingTransitivityException
         4. at.logic.gapt.grammars
            1. (object)
               canonicalVars
            2. (object)
               deltaTableAlgorithm
            3. (case class)DeltaTableMethod
            4. (object)
               findMinimalSipGrammar
            5. (object)
               findMinimalVTRATG
            6. (object)
               instantiateRS
            7. (object)(class)leastGeneralGeneralization
            8. (object)
               leastGeneralGeneralization1
            9. (object)
               minimizeRecursionScheme
            10. (object)
                minimizeSipGrammar
            11. (object)
                minimizeVTRATG
            12. (object)
                preOrderTraversal
            13. (class)RecSchemGenLangFormula
            14. (object)
                recSchemIsReplaceable
            15. (object)(case class)RecSchemTemplate
            16. (object)
                recSchemToVTRATG
            17. (object)(case class)RecursionScheme
            18. (case class)Rule
            19. (object)
                ruleIsReplaceable
            20. (object)
                rulesClosedUnderSubstitution
            21. (object)(case class)SipGrammar
            22. (case class)SipGrammarMinimizationFormula
            23. (object)
                SipRecSchem
            24. (object)
                stableSipGrammar
            25. (object)
                stableTerms
            26. (object)
                stableVTRATG
            27. (object)
                stsSubsumedByLGG
            28. (object)
                subsetLGGs
            29. (object)
                TargetFilter
            30. (class)VectGrammarMinimizationFormula
            31. (object)(case class)VTRATG
            32. (object)(case class)VtratgParameter
            33. (class)VtratgTermGenerationFormula
            1. at.logic.gapt.grammars.reforest
               1. (case class)Digram
               2. (class)Feature
               3. (object)
                  Reforest
               4. (case class)ReforestState
               5. (case class)RigidTrigram
         5. at.logic.gapt.models
            1. (trait)Interpretation
            2. (case class)MapBasedInterpretation
         6. at.logic.gapt.proofs
            1. (case class)Ant
            2. (object)(trait)Checkable
            3. (object)(class)Context
            4. (trait)ContextRule
            5. (object)(trait)DagProof
            6. (object)
               loadExpansionProof
            7. (object)(case class)OccConnector
            8. (class)RichClause
            9. (class)RichFOLSequent
            10. (class)RichFormulaSequent
            11. (object)(case class)Sequent
            12. (class)SequentFlatMapOp
            13. (class)SequentFlattenOp
            14. (object)(class)SequentIndex
            15. (trait)SequentProof
            16. (class)SeqWrapper
            17. (case class)Suc
            1. at.logic.gapt.proofs.ceres
               1. (object)(case class)A
               2. (object)(class)CERES
               3. (object)(class)CharacteristicClauseSet
               4. (object)
                  coloredStructString
               5. (object)
                  deleteTautologies
               6. (object)
                  DeleteTautology
               7. (case class)Dual
               8. (case class)EmptyPlusJunction
               9. (case class)EmptyTimesJunction
               10. (object)
                   extractStruct
               11. (object)
                   Pickrule
               12. (case class)Plus
               13. (object)
                   PlusN
               14. (object)
                   Projections
               15. (object)
                   simpleUnitResolutionNormalization
               16. (object)
                   SimplifyStruct
               17. (trait)Struct
               18. (object)
                   StructCreators
               19. (object)
                   subsumedClausesRemoval
               20. (object)(class)Times
            2. at.logic.gapt.proofs.ceres_omega
               1. (class)AnalysisWithCeresOmega
               2. (object)(class)ceres_omega
               3. (object)
                  CharacteristicSequentSet
               4. (object)
                  DeleteTautology
               5. (object)
                  extractStructFromLKsk
               6. (object)
                  Pickrule
               7. (case class)ProjectionException
               8. (object)
                  Projections
               9. (object)(class)StandardClauseSet
            3. at.logic.gapt.proofs.drup
               1. (case class)DrupDerive
               2. (case class)DrupForget
               3. (case class)DrupInput
               4. (object)(case class)DrupProof
               5. (class)DrupProofLine
               6. (object)
                  DrupToResolutionProof
            4. at.logic.gapt.proofs.epsilon
               1. (case class)CriticalFormula
               2. (object)
                  Epsilon
               3. (object)
                  EpsilonC
               4. (object)
                  epsilonize
               5. (case class)EpsilonProof
               6. (object)
                  ExpansionProofToEpsilon
            5. at.logic.gapt.proofs.expansion
               1. (object)
                  addSymmetry
               2. (trait)BinaryExpansionTree
               3. (object)
                  cleanStructureET
               4. (object)
                  eigenVariablesET
               5. (object)
                  eliminateCutsET
               6. (object)
                  eliminateDefsET
               7. (object)
                  eliminateMerges
               8. (case class)ETAnd
               9. (case class)ETAtom
               10. (case class)ETBottom
               11. (case class)ETDefinedAtom
               12. (case class)ETDefinition
               13. (case class)ETImp
               14. (object)(case class)ETMerge
               15. (case class)ETNeg
               16. (case class)ETOr
               17. (object)(trait)ETQuantifier
               18. (case class)ETSkolemQuantifier
               19. (case class)ETStrongQuantifier
               20. (object)
                   ETStrongQuantifierBlock
               21. (case class)ETTop
               22. (case class)ETWeakening
               23. (object)(case class)ETWeakQuantifier
               24. (object)
                   ETWeakQuantifierBlock
               25. (case class)ExpansionProof
               26. (object)
                   expansionProofsAreReplaceable
               27. (object)
                   expansionProofsWithCutAreReplaceable
               28. (object)(class)ExpansionProofToLK
               29. (object)(case class)ExpansionProofWithCut
               30. (trait)ExpansionTree
               31. (class)ExpansionTreePrettyPrinter
               32. (object)
                   expansionTreesAreReplaceable
               33. (object)
                   extractInstances
               34. (object)
                   formulaToExpansionTree
               35. (object)
                   freeVariablesET
               36. (object)
                   generalizeET
               37. (object)
                   groundTerms
               38. (object)(class)InstanceTermEncoding
               39. (object)
                   minimalExpansionSequent
               40. (object)
                   minimalExpansionSequents
               41. (object)
                   numberOfInstancesET
               42. (object)
                   prenexifyET
               43. (object)
                   PropositionalExpansionProofToLK
               44. (object)
                   replaceAtHOLPosition
               45. (object)
                   replaceWithContext
               46. (class)RichExpansionSequent
               47. (trait)UnaryExpansionTree
               48. (object)
                   unifyInstancesET
            6. at.logic.gapt.proofs.gaptic
               1. (object)
                  AnyFormula
               2. (trait)BinaryTactic
               3. (object)
                  IncompleteLemma
               4. (object)
                  Lemma
               5. (object)
                  LemmaMacros
               6. (object)
                  NewLabel
               7. (object)
                  NewLabels
               8. (case class)OnLabel
               9. (case class)OpenAssumption
               10. (class)OpenAssumptionIndex
               11. (object)(case class)ProofState
               12. (class)QedFailureException
               13. (object)(trait)Tactic
               14. (object)(trait)Tactical
               15. (case class)TacticalFailure
               16. (object)
                   TacticalMonad
               17. (class)TacticalOptionOps
               18. (class)TacticApplyMode
               19. (object)(trait)TacticCommands
               20. (class)TacticFailureException
               21. (class)TacticsProof
               22. (object)
                   UniqueFormula
               1. at.logic.gapt.proofs.gaptic.tactics
                  1. (case class)AndLeftTactic
                  2. (case class)AndRightTactic
                  3. (object)
                     BottomAxiomTactic
                  4. (case class)ChainTactic
                  5. (case class)CutTactic
                  6. (case class)DestructTactic
                  7. (case class)EqualityTactic
                  8. (object)
                     EscargotTactic
                  9. (case class)ExistsLeftTactic
                  10. (case class)ExistsRightTactic
                  11. (case class)FocusTactical
                  12. (case class)ForallLeftTactic
                  13. (case class)ForallRightTactic
                  14. (case class)ImpLeftTactic
                  15. (case class)ImpRightTactic
                  16. (case class)InductionTactic
                  17. (case class)InsertTactic
                  18. (object)
                      LogicalAxiomTactic
                  19. (case class)NegLeftTactic
                  20. (case class)NegRightTactic
                  21. (case class)OrLeftTactic
                  22. (case class)OrRightTactic
                  23. (object)
                      PropTactic
                  24. (object)
                      Prover9Tactic
                  25. (object)
                      QuasiPropTactic
                  26. (object)
                      ReflexivityAxiomTactic
                  27. (case class)RenameTactic
                  28. (case class)RepeatTactic
                  29. (case class)RewriteTactic
                  30. (object)
                      SkipTactical
                  31. (class)StrongQuantTactic
                  32. (object)
                      TopAxiomTactic
                  33. (case class)UnfoldTactic
                  34. (case class)UnfoldTacticHelper
                  35. (case class)WeakeningLeftTactic
                  36. (case class)WeakeningRightTactic
            7. at.logic.gapt.proofs.hoare
               1. (object)(case class)Assign
               2. (object)
                  Blocks
               3. (object)(case class)ForLoop
               4. (case class)IfElse
               5. (object)
                  LoopFree
               6. (object)
                  mapVariableNames
               7. (class)Program
               8. (object)(case class)Sequence
               9. (case class)SimpleInductionProblem
               10. (case class)SimpleLoopProblem
               11. (case class)Skip
               12. (object)
                   substVariables
               13. (object)
                   unrollLoop
               14. (object)
                   usedVariables
               15. (object)
                   weakestPrecondition
            8. at.logic.gapt.proofs.lk
               1. (object)
                  AndLeftMacroRule
               2. (object)(case class)AndLeftRule
               3. (object)(case class)AndRightRule
               4. (object)
                  AtomicExpansion
               5. (object)
                  Axiom
               6. (object)(class)BinaryLKProof
               7. (object)
                  BottomAxiom
               8. (object)
                  cleanCuts
               9. (object)
                  cleanStructuralRules
               10. (trait)CommonRule
               11. (object)
                   consoleString
               12. (object)
                   containsEqualityReasoning
               13. (object)
                   ContractionLeftMacroRule
               14. (object)(case class)ContractionLeftRule
               15. (object)
                   ContractionMacroRule
               16. (object)
                   ContractionRightMacroRule
               17. (object)(case class)ContractionRightRule
               18. (class)ContractionRule
               19. (class)ConvenienceConstructor
               20. (object)
                   cutFormulas
               21. (object)(case class)CutRule
               22. (object)
                   cutsNumber
               23. (object)(class)DefinitionElimination
               24. (object)(case class)DefinitionLeftRule
               25. (object)(case class)DefinitionRightRule
               26. (object)(class)DefinitionRule
               27. (object)(trait)Eigenvariable
               28. (object)
                   eliminateTheoryAxioms
               29. (object)
                   EqualityLeftMacroRule
               30. (object)(case class)EqualityLeftRule
               31. (object)
                   EqualityRightMacroRule
               32. (object)(case class)EqualityRightRule
               33. (class)EqualityRule
               34. (object)
                   EquationalLKProver
               35. (object)
                   ExchangeLeftMacroRule
               36. (object)
                   ExchangeRightMacroRule
               37. (object)
                   ExistsLeftBlock
               38. (object)(case class)ExistsLeftRule
               39. (object)
                   ExistsRightBlock
               40. (object)(case class)ExistsRightRule
               41. (object)(case class)ExistsSkLeftRule
               42. (object)
                   ExtractInterpolant
               43. (object)
                   extractRecSchem
               44. (object)
                   ForallLeftBlock
               45. (object)(case class)ForallLeftRule
               46. (object)
                   ForallRightBlock
               47. (object)(case class)ForallRightRule
               48. (object)(case class)ForallSkRightRule
               49. (object)
                   FOTheoryMacroRule
               50. (object)
                   freeVariablesLK
               51. (object)
                   groundFreeVarsLK
               52. (object)(case class)ImpLeftRule
               53. (object)
                   ImpRightMacroRule
               54. (object)(case class)ImpRightRule
               55. (case class)InductionCase
               56. (case class)InductionRule
               57. (object)(class)InitialSequent
               58. (object)
                   Interpolate
               59. (class)InterpolationException
               60. (object)
                   isRegular
               61. (class)LKProof
               62. (object)
                   lkProofReplaceable
               63. (class)LKProofReplacer
               64. (class)LKProofSubstitutable
               65. (object)
                   LKProofSubstitutableDefault
               66. (object)
                   LKProver
               67. (class)LKRuleCreationException
               68. (object)
                   LKToExpansionProof
               69. (object)(class)LKToLKsk
               70. (object)
                   LKToLKsk2
               71. (trait)LKVisitor
               72. (case class)LogicalAxiom
               73. (object)
                   makeInductionExplicit
               74. (object)
                   moveStrongQuantifierRulesDown
               75. (object)
                   NaturalNumberInductionRule
               76. (object)(case class)NegLeftRule
               77. (object)(case class)NegRightRule
               78. (object)(case class)OrLeftRule
               79. (object)
                   OrRightMacroRule
               80. (object)(case class)OrRightRule
               81. (object)
                   ParamodulationLeftRule
               82. (object)
                   ParamodulationRightRule
               83. (object)
                   printProofStats
               84. (object)(class)ProofBuilder
               85. (object)
                   proofFromInstances
               86. (object)
                   quantRulesNumber
               87. (object)(class)ReductiveCutElimination
               88. (case class)ReflexivityAxiom
               89. (object)(class)regularize
               90. (object)
                   ResolutionProofBuilder
               91. (object)
                   rulesNumber
               92. (object)
                   skolemize
               93. (object)
                   skolemizeInferences
               94. (trait)SkolemQuantifierRule
               95. (object)(class)solvePropositional
               96. (object)
                   solveQuasiPropositional
               97. (trait)SolveUtils
               98. (object)
                   StrongQuantifierRule
               99. (object)
                   strongQuantRulesNumber
               100. (case class)TheoryAxiom
               101. (object)
                    TopAxiom
               102. (object)
                    TransRule
               103. (object)(class)UnaryLKProof
               104. (object)
                    WeakeningContractionMacroRule
               105. (object)
                    WeakeningLeftMacroRule
               106. (case class)WeakeningLeftRule
               107. (object)
                    WeakeningMacroRule
               108. (object)
                    WeakeningRightMacroRule
               109. (case class)WeakeningRightRule
               110. (object)
                    WeakQuantifierBlock
               111. (object)
                    WeakQuantifierRule
               112. (object)
                    weakQuantRulesNumber
            9. at.logic.gapt.proofs.lksk
               1. (case class)AllLeft
               2. (case class)AllRight
               3. (case class)AllSkLeft
               4. (case class)AllSkRight
               5. (case class)AndLeft
               6. (case class)AndRight
               7. (object)
                  applySubstitution
               8. (case class)Axiom
               9. (trait)BinaryRule
               10. (case class)BottomLeft
               11. (case class)ContractionLeft
               12. (case class)ContractionRight
               13. (case class)Cut
               14. (case class)Equality
               15. (case class)ExLeft
               16. (case class)ExRight
               17. (case class)ExSkLeft
               18. (case class)ExSkRight
               19. (case class)ImpLeft
               20. (case class)ImpRight
               21. (trait)InitialSequent
               22. (object)(trait)LKskProof
               23. (object)
                   LKskToExpansionProof
               24. (case class)NegLeft
               25. (case class)NegRight
               26. (case class)OrLeft
               27. (case class)OrRight
               28. (case class)Reflexivity
               29. (trait)SameLabel
               30. (case class)TopRight
               31. (trait)UnaryRule
               32. (case class)WeakeningLeft
               33. (case class)WeakeningRight
            10. at.logic.gapt.proofs.ral
                1. (case class)RalAllF
                2. (case class)RalAllT
                3. (case class)RalAndF
                4. (case class)RalAndT1
                5. (case class)RalAndT2
                6. (case class)RalBottomT
                7. (case class)RalCut
                8. (case class)RalExF
                9. (case class)RalExT
                10. (case class)RalFactor
                11. (case class)RalImpF1
                12. (case class)RalImpF2
                13. (case class)RalImpT
                14. (case class)RalInitial
                15. (case class)RalNegF
                16. (case class)RalNegT
                17. (case class)RalOrF1
                18. (case class)RalOrF2
                19. (case class)RalOrT
                20. (case class)RalPara
                21. (object)(trait)RalProof
                22. (case class)RalSub
                23. (case class)RalTopF
            11. at.logic.gapt.proofs.reduction
                1. (object)
                   CNFReductionExpRes
                2. (object)
                   CNFReductionLKRes
                3. (object)
                   CNFReductionResRes
                4. (object)
                   CNFReductionSequentsResRes
                5. (case class)CombinedReduction
                6. (object)
                   ErasureReductionCNF
                7. (object)
                   ErasureReductionET
                8. (object)
                   GroundingReductionET
                9. (case class)HOFunctionReduction
                10. (case class)HOFunctionReductionCNFRes
                11. (case class)HOFunctionReductionET
                12. (case class)HOFunctionReductionRes
                13. (case class)LambdaEliminationReduction
                14. (case class)LambdaEliminationReductionCNFRes
                15. (case class)LambdaEliminationReductionET
                16. (case class)LambdaEliminationReductionRes
                17. (trait)OneWayReduction_
                18. (object)
                    PredicateReductionCNF
                19. (object)
                    PredicateReductionET
                20. (trait)Reduction
                21. (trait)Reduction_
            12. at.logic.gapt.proofs.resolution
                1. (case class)AllL
                2. (object)(case class)AllR
                3. (case class)AndL
                4. (case class)AndR1
                5. (case class)AndR2
                6. (case class)AvatarComponent
                7. (object)
                   avatarComponentsAreReplaceable
                8. (case class)AvatarContradiction
                9. (trait)AvatarDefinition
                10. (class)AvatarGeneralNonGroundComp
                11. (case class)AvatarGroundComp
                12. (case class)AvatarNegNonGroundComp
                13. (object)(case class)AvatarNonGroundComp
                14. (object)(case class)AvatarSplit
                15. (case class)BottomR
                16. (class)Clausifier
                17. (object)
                    containsEquationalReasoning
                18. (case class)DefIntro
                19. (case class)Defn
                20. (object)
                    eliminateSplitting
                21. (case class)ExL
                22. (object)
                    expansionProofFromInstances
                23. (object)
                    ExpansionToResolutionProof
                24. (case class)ExR
                25. (object)
                    extractRecSchemFromResProof
                26. (object)(case class)Factor
                27. (object)
                    findDerivationViaResolution
                28. (object)
                    fixDerivation
                29. (object)(case class)Flip
                30. (object)
                    forgetfulPropParam
                31. (object)
                    forgetfulPropResolve
                32. (case class)ImpL1
                33. (case class)ImpL2
                34. (case class)ImpR
                35. (class)InitialClause
                36. (case class)Input
                37. (class)LocalResolutionRule
                38. (object)
                    mapInputClauses
                39. (object)
                    MguFactor
                40. (object)
                    MguResolution
                41. (case class)NegL
                42. (case class)NegR
                43. (object)
                    numberOfLogicalInferencesRes
                44. (case class)OrL1
                45. (case class)OrL2
                46. (case class)OrR
                47. (object)(case class)Paramod
                48. (object)
                    PCNF
                49. (class)PropositionalResolutionRule
                50. (case class)Refl
                51. (object)(case class)Resolution
                52. (object)(class)Resolution2RalWithAbstractions
                53. (trait)ResolutionProof
                54. (object)
                    resolutionProofsAreReplaceable
                55. (class)ResolutionProofVisitor
                56. (object)
                    ResolutionToExpansionProof
                57. (object)
                    ResolutionToLKProof
                58. (object)(class)ResolutionToRal
                59. (object)
                    simplifyResolutionProof
                60. (class)SkolemQuantResolutionRule
                61. (object)
                    structuralCNF
                62. (object)(case class)Subst
                63. (case class)Taut
                64. (object)
                    tautologifyInitialUnitClauses
                65. (case class)TopL
                66. (object)
                    UnitResolutionToLKProof
                67. (class)WeakQuantResolutionRule
            13. at.logic.gapt.proofs.sketch
                1. (trait)RefutationSketch
                2. (object)
                   RefutationSketchToResolution
                3. (case class)SketchAxiom
                4. (case class)SketchComponentElim
                5. (case class)SketchComponentIntro
                6. (case class)SketchInference
                7. (case class)SketchSplitCombine
                8. (case class)UnprovableSketchInference
         7. at.logic.gapt.prooftool
            1. (object)
               AlignmentChanged
            2. (class)CedentPanel
            3. (class)CommaLabel
            4. (trait)ContainsLKProof
            5. (class)DagProofViewer
            6. (class)DrawETNonQuantifier
            7. (class)DrawETQuantifierBlock
            8. (class)DrawExpansionSequent
            9. (object)(class)DrawExpansionTree
            10. (class)DrawList
            11. (object)(class)DrawSequent
            12. (class)DrawSequentProof
            13. (class)DrawSingleSequentInference
            14. (class)DrawStruct
            15. (object)
                ETQuantifierBlock
            16. (object)
                ETStrongQuantifierBlock
            17. (object)
                ExpansionProofViewable
            18. (object)
                ExpansionProofWithCutViewable
            19. (class)ExpansionSequentViewer
            20. (object)
                ExpansionTreeState
            21. (class)FileParser
            22. (object)
                FontChanged
            23. (object)
                HideDebugBorders
            24. (case class)HideEndSequent
            25. (object)
                HideLeaf
            26. (case class)HideProof
            27. (object)
                HideSequentContexts
            28. (case class)HideSequentProof
            29. (object)
                HideStructuralRules
            30. (object)
                HideTree
            31. (class)LatexFormulaLabel
            32. (object)
                LatexIcon
            33. (object)(class)LatexLabel
            34. (class)LatexTurnstileLabel
            35. (object)
                ListViewable
            36. (class)ListViewer
            37. (object)
                LKProofViewable
            38. (class)LKProofViewer
            39. (object)
                LKSKProofViewable
            40. (class)LKskProofViewer
            41. (object)
                MarkCutAncestors
            42. (object)
                MenuButtons
            43. (case class)NodeSelectedEvent
            44. (object)(class)PopupMenu
            45. (class)ProofColorizer
            46. (object)
                ProofDatabaseViewable
            47. (class)ProofLinePanel
            48. (case class)ProofNode
            49. (class)ProofNodeInfo
            50. (object)
                prooftool
            51. (class)ProofToolPublisher
            52. (object)(trait)ProoftoolViewable
            53. (class)ProofToolViewer
            54. (class)ProofWeighter
            55. (class)PTContentPanel
            56. (class)PTScrollPane
            57. (object)
                Rainbow
            58. (class)ReactiveSunburstModel
            59. (trait)ReactiveSunburstView
            60. (object)
                RGBColorChooser
            61. (trait)Savable
            62. (class)ScrollableProofToolViewer
            63. (class)SequentProofViewer
            64. (object)
                SequentViewable
            65. (object)
                ShowAllFormulas
            66. (case class)ShowAllRules
            67. (object)
                ShowDebugBorders
            68. (object)
                ShowLeaf
            69. (case class)ShowProof
            70. (case class)ShowSequentProof
            71. (class)Spinner
            72. (class)StructViewer
            73. (class)SubproofsPanel
            74. (class)SunburstTreeDialog
            75. (class)TreeListPanel
            76. (object)
                UnmarkCutAncestors
         8. at.logic.gapt.provers
            1. (object)
               groundFreeVariables
            2. (trait)IncrementalProver
            3. (trait)IncrementalProvingSession
            4. (trait)OneShotProver
            5. (trait)Prover
            6. (object)
               renameConstantsToFi
            7. (trait)ResolutionProver
            1. at.logic.gapt.provers.eprover
               1. (object)(class)EProver
            2. at.logic.gapt.provers.escargot
               1. (object)(class)Escargot
               2. (case class)KBO
               3. (case class)LPO
               4. (object)
                  NonSplittingEscargot
               5. (trait)TermOrdering
               1. at.logic.gapt.provers.escargot.impl
                  1. (trait)BinaryInferenceRule
                  2. (class)Cls
                  3. (class)EscargotState
                  4. (trait)InferenceRule
                  5. (trait)PreprocessingRule
                  6. (trait)RedundancyRule
                  7. (trait)SimplificationRule
                  8. (class)StandardInferences
            3. at.logic.gapt.provers.leancop
               1. (object)(class)LeanCoP
            4. at.logic.gapt.provers.maxsat
               1. (object)
                  bestAvailableMaxSatSolver
               2. (class)ExternalMaxSATSolver
               3. (object)(class)MaxSat4j
               4. (class)MaxSATSolver
               5. (object)
                  MiFuMaX
               6. (object)
                  MiniMaxSAT
               7. (object)
                  OpenWBO
               8. (object)
                  QMaxSAT
               9. (object)
                  ToySAT
               10. (object)
                   ToySolver
            5. at.logic.gapt.provers.metis
               1. (object)(class)Metis
            6. at.logic.gapt.provers.prover9
               1. (object)(class)Prover9
               2. (object)
                  Prover9Importer
            7. at.logic.gapt.provers.sat
               1. (trait)DrupSolver
               2. (class)ExternalSATSolver
               3. (object)(class)Glucose
               4. (object)
                  MiniSAT
               5. (object)(class)PicoSAT
               6. (object)(class)Sat4j
               7. (trait)SATSolver
            8. at.logic.gapt.provers.smtlib
               1. (class)BenchmarkRecordingSession
               2. (object)(class)CVC4
               3. (class)CVC4Session
               4. (object)(class)ExternalSmtlibProgram
               5. (class)SmtlibSession
               6. (object)(class)Z3
               7. (class)Z3Session
            9. at.logic.gapt.provers.spass
               1. (object)(class)SPASS
            10. at.logic.gapt.provers.vampire
                1. (object)(class)Vampire
            11. at.logic.gapt.provers.verit
                1. (object)(class)VeriT
            12. at.logic.gapt.provers.viper
                1. (object)
                   canonicalRsLHS
                2. (object)
                   canonicalSolution
                3. (object)
                   decodeSipGrammar
                4. (object)
                   enumerateTerms
                5. (class)EnumeratingInstanceGenerator
                6. (object)
                   findConseq
                7. (object)
                   FindFormulaH
                8. (class)HeuristicSolutionFinder
                9. (object)
                   homogenizeRS
                10. (object)
                    hSolveQBUP
                11. (trait)InductiveGrammarFindingMethod
                12. (trait)InstanceTermGenerator
                13. (case class)MaxSatRecSchemFinder
                14. (case class)ProofByRecursionScheme
                15. (object)
                    qbupForRecSchem
                16. (object)
                    randomInstance
                17. (class)RandomInstanceGenerator
                18. (trait)SchematicInductiveProofFindingMethod
                19. (trait)SchematicProofWithInduction
                20. (object)(class)SimpleInductionProof
                21. (object)
                    simplePi1RecSchemTempl
                22. (class)SipProver
                23. (trait)SolutionFinder
                24. (object)(class)Viper
                25. (object)(case class)ViperOptions
         9. at.logic.gapt.utils
            1. (trait)ExternalProgram
            2. (object)
               generatedUpperSetInPO
            3. (object)
               glob
            4. (object)
               help
            5. (object)
               IgnoreMetrics
            6. (object)
               linearizeStrictPartialOrder
            7. (object)(trait)Logger
            8. (object)
               metrics
            9. (trait)MetricsCollector
            10. (object)(class)NameGenerator
            11. (object)(trait)Not
            12. (object)
                PrintMetrics
            13. (object)
                runProcess
            14. (object)
                ScalazHelpers
            15. (object)
                StreamUtils
            16. (object)
                time
            17. (class)TimeOutException
            18. (object)
                withTempFile
            19. (object)
                withTimeout
2. better
   1. better.files