class icon trait icon trait icon trait icon
    1. at
        1. at.logic
            1. at.logic.gapt
                1. at.logic.gapt.algorithms
                    1. at.logic.gapt.algorithms.rewriting
                      1. (object)(class)DefinitionElimination
                      2. (object)
                        NameReplacement
                      3. (object)
                        RenameResproof
                      4. (object)
                        TermReplacement
                  1. at.logic.gapt.cli
                    1. (object)
                      CLIMain
                    2. (object)
                      GPL
                    1. at.logic.gapt.cli.GAPScalaInteractiveShellLibrary
                      1. (object)
                        applyFactoring
                      2. (object)
                        buildACNF
                      3. (object)
                        buildProofWithCut
                      4. (object)
                        CERESomega
                      5. (object)
                        compressExpansionSequent
                      6. (object)
                        compressExpansionTree
                      7. (object)
                        computeCanonicalSolutions
                      8. (object)
                        computeGrammars
                      9. (object)
                        computeGroundProjections
                      10. (object)
                        computeProjections
                      11. (object)
                        css
                      12. (object)
                        cutIntro
                      13. (object)
                        definitionElimination
                      14. (object)
                        deleteEquationalTautologies
                      15. (object)
                        deleteTautologies
                      16. (object)
                        eliminateCuts
                      17. (object)
                        eliminateInstaces
                      18. (object)
                        equation_example
                      19. (object)
                        escape_underscore
                      20. (object)
                        exportLabelledSequentListLatex
                      21. (object)
                        exportLatex
                      22. (object)
                        exportLLK
                      23. (object)
                        exportSequentListLatex
                      24. (object)
                        exportTHF
                      25. (object)
                        exportTPTP
                      26. (object)
                        exportVeriT
                      27. (object)
                        exportXML
                      28. (object)
                        extractInterpolant
                      29. (object)
                        extractStruct
                      30. (object)
                        extractTerms
                      31. (object)
                        findDefinitions
                      32. (object)
                        foCERES
                      33. (object)
                        foCERESground
                      34. (object)
                        format
                      35. (object)
                        fsequent2sequent
                      36. (object)
                        generateExtendedHerbrandSequent
                      37. (object)
                        GenerateRobinson2Ral
                      38. (object)
                        help
                      39. (object)
                        hol2fol
                      40. (object)
                        lkproof
                      41. (object)
                        loadLeanCoPProof
                      42. (object)
                        loadLLK
                      43. (object)
                        loadPrime
                      44. (object)
                        loadProofDB
                      45. (object)
                        loadProofs
                      46. (object)
                        loadProver9LKProof
                      47. (object)
                        loadProver9Proof
                      48. (object)
                        loadSLK
                      49. (object)
                        loadVeriTProof
                      50. (object)
                        mapProof
                      51. (object)
                        MaxSATsolve
                      52. (object)
                        minimalExpansionSequents
                      53. (object)
                        minimizeSolution
                      54. (object)
                        miniSATprove
                      55. (object)
                        miniSATsolve
                      56. (object)
                        normalizeSub
                      57. (object)
                        ntape
                      58. (object)
                        parse
                      59. (object)
                        parseFOL
                      60. (object)
                        parseHOL
                      61. (object)
                        parseLISP
                      62. (object)
                        parseLLKExp
                      63. (object)
                        parseLLKFormula
                      64. (object)
                        parseProver9
                      65. (object)
                        philsci
                      66. (object)
                        printProofStats
                      67. (object)
                        proofs
                      68. (object)
                        prooftool
                      69. (object)
                        proveProp
                      70. (object)
                        prover9
                      71. (object)
                        refuteClauseList
                      72. (object)
                        refuteFOL
                      73. (object)
                        refuteFOLI
                      74. (object)
                        removeSubsumed
                      75. (object)
                        replaceAbstractions
                      76. (object)
                        replay
                      77. (object)
                        Robinson2LK
                      78. (object)
                        Robinson2Ral
                      79. (object)
                        rule_isomorphic
                      80. (object)
                        sequent
                      81. (object)
                        simplifyStruct
                      82. (object)
                        structToClausesList
                      83. (object)
                        structToLabelledClausesList
                      84. (object)
                        tbillc
                      85. (object)
                        time
                      86. (object)
                        toClauses
                      87. (object)
                        undoReplaceAbstractions
                      88. (object)
                        unfoldProof
                      89. (object)
                        unitResolve
                  2. at.logic.gapt.examples
                    1. (class)AllQuantifiedConditionalAxiomHelper
                    2. (object)
                      BussTautology
                    3. (object)
                      FactorialFunctionEqualityExampleProof
                    4. (object)
                      FactorialFunctionEqualityExampleProof2
                    5. (object)
                      LinearEqExampleProof
                    6. (object)
                      LinearExampleProof
                    7. (object)
                      PigeonHolePrinciple
                    8. (object)
                      PQPairs
                    9. (trait)ProofSequence
                    10. (object)
                      SquareDiagonalExampleProof
                    11. (object)
                      SquareEdges2DimExampleProof
                    12. (object)
                      SquareEdgesExampleProof
                    13. (object)
                      SumExampleProof
                    14. (object)
                      SumOfOnesExampleProof
                    15. (object)
                      SumOfOnesF2ExampleProof
                    16. (object)
                      SumOfOnesFExampleProof
                    17. (object)
                      UniformAssociativity3ExampleProof
                  3. at.logic.gapt.expr
                    1. (object)(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)
                      BetaReduction
                    10. (class)BinaryPropConnectiveHelper
                    11. (object)
                      Bottom
                    12. (object)
                      BottomC
                    13. (object)(class)Const
                    14. (object)
                      constants
                    15. (object)
                      Eq
                    16. (object)
                      EqC
                    17. (object)
                      Ex
                    18. (object)
                      ExistsC
                    19. (object)
                      expressionSize
                    20. (object)(trait)FOLAtom
                    21. (object)
                      FOLAtomHead
                    22. (object)(trait)FOLConst
                    23. (trait)FOLExpression
                    24. (trait)FOLFormula
                    25. (object)
                      FOLFunction
                    26. (object)
                      FOLFunctionHead
                    27. (object)
                      FOLHeadType
                    28. (trait)FOLQuantifier
                    29. (trait)FOLTerm
                    30. (object)(trait)FOLVar
                    31. (object)
                      ForallC
                    32. (object)
                      freeVariables
                    33. (object)
                      FunctionType
                    34. (object)
                      getRenaming
                    35. (object)(trait)HOLAtom
                    36. (trait)HOLFormula
                    37. (object)
                      HOLFunction
                    38. (object)
                      Imp
                    39. (object)
                      ImpC
                    40. (object)
                      isInVNF
                    41. (class)LambdaExpression
                    42. (object)(class)LambdaPosition
                    43. (class)LogicalC
                    44. (trait)LogicalConstant
                    45. (object)
                      longNormalForm
                    46. (class)MonoidalBinaryPropConnectiveHelper
                    47. (class)MonomorphicLogicalC
                    48. (object)
                      Neg
                    49. (object)
                      NegC
                    50. (object)
                      NonLogicalConstant
                    51. (class)NullaryPropConnectiveHelper
                    52. (object)
                      Or
                    53. (object)
                      OrC
                    54. (trait)Parsers
                    55. (trait)PropAtom
                    56. (trait)PropConnective
                    57. (trait)PropFormula
                    58. (class)QuantifierC
                    59. (class)QuantifierHelper
                    60. (object)
                      rename
                    61. (object)
                      StringExtractor
                    62. (object)(class)StringSymbol
                    63. (object)(class)Substitution
                    64. (object)
                      subTerms
                    65. (class)SymbolA
                    66. (class)TA
                    67. (object)(class)TAtomicA
                    68. (class)TComplexA
                    69. (object)
                      Ti
                    70. (object)
                      Tindex
                    71. (object)
                      To
                    72. (object)
                      toImplications
                    73. (object)
                      Top
                    74. (object)
                      TopC
                    75. (object)
                      toVNF
                    76. (object)
                      Type
                    77. (class)TypeException
                    78. (class)UnaryPropConnectiveHelper
                    79. (object)(class)Var
                    80. (object)
                      variables
                    81. (object)(class)VariantSymbol
                    82. (object)
                      VarOrConst
                    1. at.logic.gapt.expr.fol
                      1. (object)
                        BinaryConnective
                      2. (object)
                        changeTypeIn
                      3. (object)
                        Delta
                      4. (trait)FinitaryUnification
                      5. (object)
                        FOLFunctionArgs
                      6. (object)
                        FOLFunctionName
                      7. (object)
                        FOLMatchingAlgorithm
                      8. (object)(class)FOLPosition
                      9. (object)(class)FOLSubstitution
                      10. (object)
                        FOLSubTerms
                      11. (object)
                        FOLUnificationAlgorithm
                      12. (object)
                        getArityOfConstants
                      13. (object)
                        isFOLFunction
                      14. (object)
                        isFOLPrenexPi1
                      15. (object)
                        isFOLPrenexSigma1
                      16. (object)
                        Pi
                      17. (object)(class)reduceHolToFol
                      18. (object)(class)replaceAbstractions
                      19. (object)
                        Sigma
                      20. (object)
                        toAbbreviatedString
                      21. (object)
                        undoHol2Fol
                      22. (object)(class)undoReplaceAbstractions
                      23. (trait)UnificationAlgorithm
                      24. (class)UnificationException
                      25. (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)
                        DNFn
                      9. (object)
                        DNFp
                      10. (object)
                        dualize
                      11. (object)
                        existsclosure
                      12. (object)
                        freeHOVariables
                      13. (object)(class)HOLOrdering
                      14. (object)(class)HOLPosition
                      15. (object)
                        instantiate
                      16. (object)
                        isAtom
                      17. (object)
                        isExtendedAtom
                      18. (object)
                        isLogicalConstant
                      19. (object)
                        isNeg
                      20. (object)
                        isPrenex
                      21. (object)
                        isReflexivity
                      22. (object)
                        lcomp
                      23. (object)
                        NaiveIncompleteMatchingAlgorithm
                      24. (object)
                        normalizeFreeVariables
                      25. (object)
                        numOfAtoms
                      26. (object)
                        removeAllQuantifiers
                      27. (object)
                        removeNeg
                      28. (object)
                        removeQuantifiers
                      29. (object)
                        simplify
                      30. (object)
                        SkolemSymbolFactory
                      31. (object)(class)TAOrdering
                      32. (object)
                        toAbbreviatedString
                      33. (object)
                        toNNF
                      34. (object)
                        toPrettyString
                      35. (trait)TSkolemSymbol
                      36. (object)
                        TypeSynonyms
                      37. (object)
                        univclosure
                      38. (object)
                        variablesAll
                      39. (object)
                        variablesEx
                      1. at.logic.gapt.expr.hol.unification
                        1. (trait)DiophantineSolver
                        2. (object)
                          LankfordSolver
                        3. (case class)LankfordSolverInstance
                        4. (object)
                          MathHelperFunctions
                        5. (object)(class)Vector
                    3. at.logic.gapt.expr.schema
                      1. (object)
                        aTerm
                      2. (object)
                        BigAnd
                      3. (object)
                        BigAndC
                      4. (object)
                        BiggerThan
                      5. (object)
                        BiggerThanC
                      6. (object)
                        BigOr
                      7. (object)
                        BigOrC
                      8. (object)
                        dbTRS
                      9. (object)
                        fo2Var
                      10. (object)
                        foConst
                      11. (object)
                        foTerm
                      12. (object)
                        foVar
                      13. (object)
                        fowVar
                      14. (object)
                        indexedFOVar
                      15. (object)
                        indexedOmegaVar
                      16. (object)
                        IndexedPredicate
                      17. (case class)IndexedVarSymbol
                      18. (object)
                        IntConst
                      19. (object)
                        IntVar
                      20. (object)
                        IntZero
                      21. (object)
                        isAtom
                      22. (object)
                        isSAtom
                      23. (object)
                        leq
                      24. (object)
                        LeqC
                      25. (object)
                        lessThan
                      26. (object)
                        LessThanC
                      27. (object)
                        Pred
                      28. (object)
                        sAtom
                      29. (object)
                        SchemaAtom
                      30. (object)
                        SchemaFunction
                      31. (object)(class)SchemaSubstitution
                      32. (object)
                        SchemaSubTerms
                      33. (object)
                        sims
                      34. (object)
                        SimsC
                      35. (object)
                        sIndTerm
                      36. (object)
                        sTerm
                      37. (object)
                        sTermDB
                      38. (object)(class)sTermRewriteSys
                      39. (object)
                        Succ
                      40. (object)
                        SuccC
                      41. (object)
                        toIntegerTerm
                      42. (object)
                        unfoldSFormula
                      43. (object)
                        unfoldSINDTerm
                      44. (object)
                        unfoldSTerm
                      1. at.logic.gapt.expr.schema.logicSymbols
                        1. (object)
                          BigAndSymbol
                        2. (object)
                          BiggerThanSymbol
                        3. (object)
                          BigOrSymbol
                        4. (object)
                          LeqSymbol
                        5. (object)
                          LessThanSymbol
                        6. (object)
                          PlusSymbol
                        7. (object)
                          simSymbol
                        8. (object)
                          TimesSymbol
                  4. at.logic.gapt.formats
                    1. (class)ExportingException
                    2. (trait)HOLParser
                    3. (trait)HOLTermExporter
                    4. (trait)InputParser
                    5. (trait)OutputExporter
                    6. (class)ParsingException
                    1. at.logic.gapt.formats.arithmetic
                      1. (trait)HOLTermArithmeticalExporter
                    2. at.logic.gapt.formats.dimacs
                      1. (class)DIMACSHelper
                      2. (object)
                        readDIMACS
                      3. (object)
                        writeDIMACS
                    3. at.logic.gapt.formats.hlk
                      1. (object)(class)DeclarationParser
                      2. (object)(class)HLKHOLParser
                      3. (object)(class)HOLASTParser
                      1. at.logic.gapt.formats.hlk.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
                    4. at.logic.gapt.formats.hoare
                      1. (object)
                        ProgramParser
                      2. (trait)ProgramParserA
                    5. at.logic.gapt.formats.ivy
                      1. (case class)Flip
                      2. (object)
                        FlipType
                      3. (case class)InitialClause
                      4. (object)
                        InitialClauseType
                      5. (case class)Instantiate
                      6. (object)
                        InstantiateType
                      7. (object)
                        IvyParser
                      8. (trait)IvyResolutionProof
                      9. (case class)NewSymbol
                      10. (object)
                        NewSymbolType
                      11. (case class)Paramodulation
                      12. (object)
                        ParamodulationType
                      13. (case class)Propositional
                      14. (object)
                        PropositionalType
                      15. (case class)Resolution
                      16. (object)
                        ResolutionType
                      1. at.logic.gapt.formats.ivy.conversion
                        1. (object)
                          IvyToRobinson
                    6. at.logic.gapt.formats.latex
                      1. (trait)HOLTermLatexExporter
                      2. (trait)LabelledSequentsListLatexExporter
                      3. (object)
                        ProofToLatexExporter
                      4. (trait)SequentsListLatexExporter
                    7. at.logic.gapt.formats.leanCoP
                      1. (class)LeanCoPLeanPredWrongArityException
                      2. (class)LeanCoPNoLeanPredException
                      3. (class)LeanCoPNoMatchException
                      4. (object)
                        LeanCoPParser
                      5. (class)LeanCoPParserException
                    8. at.logic.gapt.formats.lisp
                      1. (case class)Atom
                      2. (case class)Cons
                      3. (object)(class)IntPosition
                      4. (case class)List
                      5. (object)(class)ListReader
                      6. (class)SExpression
                      7. (object)(class)SExpressionParser
                      8. (class)Tokenizer
                      1. at.logic.gapt.formats.lisp.tokens
                        1. (object)
                          COMMENT
                        2. (object)
                          DOT
                        3. (object)
                          EMPTYFILE
                        4. (object)
                          LBRACK
                        5. (object)
                          NIL
                        6. (object)
                          RBRACK
                        7. (case class)STRING
                        8. (class)Token
                        9. (case class)WORD
                    9. at.logic.gapt.formats.llk
                      1. (case class)AToken
                      2. (case class)ExtendedProofDatabase
                      3. (object)(class)HybridLatexExporter
                      4. (object)(class)HybridLatexParser
                      5. (class)HybridLatexParserException
                      6. (object)
                        LatexCode
                      7. (object)
                        LatexProofExporter
                      8. (trait)LatexReplacementParser
                      9. (object)
                        LLKFormatter
                      10. (case class)RToken
                      11. (class)Token
                      12. (trait)TokenToLKConverter
                      13. (object)
                        toLatexString
                      14. (object)
                        toLLKString
                      15. (case class)TToken
                    10. at.logic.gapt.formats.prover9
                      1. (object)
                        Prover9TermParser
                      2. (trait)Prover9TermParserA
                      3. (object)
                        Prover9TermParserLadrStyle
                    11. at.logic.gapt.formats.readers
                      1. (class)FileReader
                      2. (class)StringReader
                      3. (object)
                        XMLReaders
                    12. at.logic.gapt.formats.shlk
                      1. (object)
                        backToInt
                      2. (trait)HLKFormulaParser
                      3. (object)
                        maketogether
                      4. (object)
                        PutPlusTogether
                      5. (trait)SchemaFormulaParser
                      6. (object)
                        SCHOLParser
                    13. at.logic.gapt.formats.shlk_parsing
                      1. (object)
                        ClauseSetToCNF
                      2. (object)
                        CNFtoSet
                      3. (object)
                        getPLinks
                      4. (object)
                        RW
                      5. (object)
                        sFOParser
                      6. (object)
                        sFOParserCNT
                      7. (object)
                        SHLK
                    14. at.logic.gapt.formats.simple
                      1. (object)
                        BinaryRuleType
                      2. (object)
                        NullaryRuleType
                      3. (trait)ResolutionParser
                      4. (trait)SimpleFOLParser
                      5. (trait)SimpleHOLParser
                      6. (trait)SimpleResolutionParser
                      7. (trait)SimpleResolutionParserFOL
                      8. (trait)SimpleXMLProofParser
                      9. (object)
                        UnaryRuleType
                    15. at.logic.gapt.formats.tip
                      1. (object)
                        TipParser
                    16. at.logic.gapt.formats.tptp
                      1. (object)
                        TPTPFOLExporter
                      2. (object)(class)TPTPHOLExporter
                      3. (class)TPTPParser
                    17. at.logic.gapt.formats.veriT
                      1. (object)
                        SmtLibExporter
                      2. (object)
                        VeriTParser
                      3. (class)VeriTParserException
                      4. (class)VeriTUnfoldingTransitivityException
                    18. at.logic.gapt.formats.writers
                      1. (class)FileWriter
                    19. at.logic.gapt.formats.xml
                      1. (trait)HOLTermXMLExporter
                      2. (trait)LKExporter
                      3. (object)
                        Match
                      4. (class)ProofDatabase
                      5. (object)
                        saveXML
                      6. (class)TestException
                      7. (object)
                        XMLExporter
                      8. (object)
                        XMLParser
                  5. at.logic.gapt.grammars
                    1. (object)
                      antiUnificator
                    2. (object)
                      atoms
                    3. (object)
                      findMinimalGrammar
                    4. (object)
                      findMinimalSipGrammar
                    5. (object)
                      findMinimalVectGrammar
                    6. (class)GrammarMinimizationFormula
                    7. (object)
                      minimizeGrammar
                    8. (object)
                      minimizeSipGrammar
                    9. (object)
                      minimizeVectGrammar
                    10. (object)
                      nfsSubsumedByAU
                    11. (object)
                      normalForms
                    12. (object)
                      normalFormsProofGrammar
                    13. (object)
                      normalFormsProofVectGrammar
                    14. (object)
                      normalFormsSipGrammar
                    15. (object)
                      SameRootSymbol
                    16. (object)(case class)SipGrammar
                    17. (case class)SipGrammarMinimizationFormula
                    18. (object)
                      takeN
                    19. (class)TermGenerationFormula
                    20. (object)
                      termSize
                    21. (object)(case class)TratGrammar
                    22. (class)VectGrammarMinimizationFormula
                    23. (object)(case class)VectTratGrammar
                  6. at.logic.gapt.models
                    1. (trait)Interpretation
                    2. (class)MapBasedInterpretation
                  7. at.logic.gapt.proofs
                    1. (trait)DagProof
                    2. (trait)SequentProof
                    1. at.logic.gapt.proofs.ceres
                      1. (object)(class)CERES
                      2. (object)(class)ceres_omega
                      3. (object)(class)CERESR2LK
                      4. (object)
                        GroundingProjectionTerm
                      5. (object)(class)pAxiomTerm
                      6. (object)(class)pPlus
                      7. (object)(class)pProofLinkTerm
                      8. (trait)ProjectionTerm
                      9. (object)
                        ProjectionTermCreators
                      10. (object)
                        ProjectionTermDB
                      11. (object)
                        ProjectionTermToSetOfProofs
                      12. (object)
                        PStructToExpressionTree
                      13. (object)(class)pTimes
                      14. (object)(class)pUnary
                      15. (object)
                        RelevantCC
                      16. (object)
                        RemoveArrowRules
                      17. (object)
                        UnfoldProjectionTerm
                      1. at.logic.gapt.proofs.ceres.ACNF
                        1. (object)
                          ACNF
                        2. (object)
                          contractionNormalForm
                        3. (object)
                          renameIndexedVarInProjection
                        4. (object)
                          renameVar
                      2. at.logic.gapt.proofs.ceres.clauseSchema
                        1. (object)
                          applySubToSclauseOrSclauseTerm
                        2. (object)(class)clauseSchema
                        3. (object)(class)clauseSetTerm
                        4. (object)(class)dbTRSclauseSchema
                        5. (object)(class)dbTRSclauseSetTerm
                        6. (object)(class)dbTRSsTermN
                        7. (object)
                          deComposeSClause
                        8. (object)
                          fo2SubstDB
                        9. (object)
                          fo2VarSubstitution
                        10. (object)
                          GroundingProjections
                        11. (object)
                          InstantiateResSchema
                        12. (object)
                          IntVarSubstitution
                        13. (object)(class)nonVarSclause
                        14. (object)
                          ParseResSchema
                        15. (object)
                          ParseResSchemaDavid
                        16. (object)
                          replace
                        17. (object)
                          ResDeductionToLKTree
                        18. (object)
                          resolutionDeduction
                        19. (object)(class)ResolutionProofSchema
                        20. (object)
                          resolutionProofSchemaDB
                        21. (object)(class)rTerm
                        22. (class)sClause
                        23. (object)(class)sClauseComposition
                        24. (class)sClauseTerm
                        25. (object)(class)sClauseVar
                        26. (object)(class)sClauseVarSubstitution
                        27. (object)(class)sclPlus
                        28. (object)(class)sclTermVar
                        29. (class)sclTermVarSubstitution
                        30. (object)(class)sclTimes
                        31. (class)sResolutionTerm
                        32. (object)
                          sTermN
                        33. (object)
                          unfoldGroundAtom
                        34. (object)
                          unfoldingAtomsInResTerm
                        35. (object)
                          unfoldResolutionProofSchema
                        36. (object)
                          unfoldSchemaClause
                        37. (object)
                          unfoldSclauseTerm
                        38. (object)
                          unfoldSTermN
                      3. at.logic.gapt.proofs.ceres.clauseSets
                        1. (object)(class)AlternativeStandardClauseSet
                        2. (object)
                          renameCLsymbols
                        3. (object)
                          SimpleStandardClauseSet
                        4. (object)
                          SimplifyStruct
                        5. (object)
                          StandardClauseSet
                        1. at.logic.gapt.proofs.ceres.clauseSets.profile
                          1. (object)
                            getAllAxioms
                          2. (object)
                            getAncAx
                          3. (object)
                            getListOfFOccsInStruct
                          4. (object)
                            printCutAncs
                          5. (object)
                            proofProfile
                      4. at.logic.gapt.proofs.ceres.projections
                        1. (object)
                          DeleteRedundantSequents
                        2. (object)
                          DeleteReduntantFOfromSequent
                        3. (object)
                          DeleteTautology
                        4. (case class)ProjectionException
                        5. (object)
                          Projections
                      5. at.logic.gapt.proofs.ceres.struct
                        1. (case class)A
                        2. (class)ClauseSetSymbol
                        3. (object)
                          coloredStructString
                        4. (object)
                          cutConfToString
                        5. (object)
                          cutOccConfigToCutConfig
                        6. (case class)Dual
                        7. (object)
                          EmptyPlusJunction
                        8. (object)
                          EmptyTimesJunction
                        9. (object)
                          groundStruct
                        10. (case class)Plus
                        11. (object)
                          PlusN
                        12. (trait)Struct
                        13. (object)
                          StructCreators
                        14. (object)
                          structToExpressionTree
                        15. (object)(class)Times
                        16. (object)
                          TypeSynonyms
                        17. (object)
                          unfoldGroundStruct
                    2. at.logic.gapt.proofs.expansionTrees
                      1. (object)
                        addSymmetry
                      2. (object)(trait)BinaryExpansionTree
                      3. (object)
                        CleanStructure
                      4. (object)
                        compressQuantifiers
                      5. (object)
                        decompressQuantifiers
                      6. (object)(class)ETAnd
                      7. (case class)ETAtom
                      8. (object)
                        ETBottom
                      9. (object)(class)ETImp
                      10. (object)
                        ETInitialNode
                      11. (case class)ETMerge
                      12. (object)(class)ETNeg
                      13. (object)(class)ETOr
                      14. (object)(class)ETSkolemQuantifier
                      15. (object)(class)ETStrongQuantifier
                      16. (object)
                        ETTop
                      17. (case class)ETWeakening
                      18. (object)(class)ETWeakQuantifier
                      19. (object)
                        ExpansionProofToLK
                      20. (object)
                        ExpansionSequent
                      21. (trait)ExpansionTree
                      22. (trait)ExpansionTreeWithMerges
                      23. (object)
                        extractInstances
                      24. (object)
                        extractInstanceTerms
                      25. (object)
                        formulaToExpansionTree
                      26. (object)
                        getETOfFormula
                      27. (object)
                        getStatistics
                      28. (object)
                        groundTerms
                      29. (case class)InstanceTermEncoding
                      30. (object)
                        isQuantified
                      31. (object)
                        merge
                      32. (case class)METAnd
                      33. (case class)METAtom
                      34. (object)
                        METBottom
                      35. (case class)METImp
                      36. (case class)METNeg
                      37. (case class)METOr
                      38. (case class)METSkolemQuantifier
                      39. (case class)METStrongQuantifier
                      40. (object)
                        METTop
                      41. (case class)METWeakening
                      42. (case class)METWeakQuantifier
                      43. (object)
                        minimalExpansionSequent
                      44. (object)
                        minimalExpansionSequents
                      45. (object)
                        MultiExpansionSequent
                      46. (trait)MultiExpansionTree
                      47. (trait)NonTerminalNodeAWithEquality
                      48. (object)
                        quantRulesNumber
                      49. (object)
                        removeFromExpansionSequent
                      50. (object)
                        replace
                      51. (object)
                        replaceAtHOLPosition
                      52. (class)RichExpansionSequent
                      53. (class)RichMultiExpansionSequent
                      54. (object)
                        substitute
                      55. (trait)TerminalNodeAWithEquality
                      56. (object)
                        toDeep
                      57. (object)
                        toShallow
                      58. (object)(trait)UnaryExpansionTree
                      59. (object)
                        Utility
                    3. 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
                    4. at.logic.gapt.proofs.lk
                      1. (object)
                        AndLeft1Rule
                      2. (object)
                        AndLeft1RuleType
                      3. (object)
                        AndLeft2Rule
                      4. (object)
                        AndLeft2RuleType
                      5. (object)
                        AndLeftRule
                      6. (object)
                        AndRightRule
                      7. (object)
                        AndRightRuleType
                      8. (object)
                        applyRecursive
                      9. (object)
                        applyReplacement
                      10. (object)
                        applySubstitution
                      11. (object)
                        AtomicExpansion
                      12. (object)
                        Axiom
                      13. (object)
                        BinaryLKProof
                      14. (object)
                        CleanStructuralRules
                      15. (object)
                        CloneLKProof
                      16. (object)(class)condensation
                      17. (object)
                        containsEqualityReasoning
                      18. (object)
                        contLeftNumber
                      19. (object)
                        ContractionLeftMacroRule
                      20. (object)
                        ContractionLeftRule
                      21. (object)
                        ContractionLeftRuleType
                      22. (object)
                        ContractionMacroRule
                      23. (object)
                        ContractionRightMacroRule
                      24. (object)
                        ContractionRightRule
                      25. (object)
                        ContractionRightRuleType
                      26. (object)
                        contRightNumber
                      27. (object)
                        cutformulaExtraction
                      28. (object)
                        CutRule
                      29. (object)
                        CutRuleType
                      30. (object)
                        DefinitionLeftRule
                      31. (object)
                        DefinitionLeftRuleType
                      32. (object)
                        DefinitionRightRule
                      33. (object)
                        DefinitionRightRuleType
                      34. (object)
                        deleteTautologies
                      35. (object)
                        eliminateDefinitions
                      36. (object)
                        EquationLeft1Rule
                      37. (object)
                        EquationLeft1RuleType
                      38. (object)
                        EquationLeft2Rule
                      39. (object)
                        EquationLeft2RuleType
                      40. (object)
                        EquationLeftMacroRule
                      41. (object)
                        EquationLeftRule
                      42. (object)
                        EquationRight1Rule
                      43. (object)
                        EquationRight1RuleType
                      44. (object)
                        EquationRight2Rule
                      45. (object)
                        EquationRight2RuleType
                      46. (object)
                        EquationRightMacroRule
                      47. (object)
                        EquationRightRule
                      48. (trait)EquationRuleLogger
                      49. (object)
                        EquationVerifier
                      50. (object)
                        ExistsLeftRule
                      51. (object)
                        ExistsLeftRuleType
                      52. (object)
                        ExistsRightBlock
                      53. (object)
                        ExistsRightRule
                      54. (object)
                        ExistsRightRuleType
                      55. (object)(class)ExpansionTreeProofStrategy
                      56. (object)
                        ExtractInterpolant
                      57. (object)(class)factoring
                      58. (object)
                        ForallLeftBlock
                      59. (object)
                        ForallLeftRule
                      60. (object)
                        ForallLeftRuleType
                      61. (object)
                        ForallRightBlock
                      62. (object)
                        ForallRightRule
                      63. (object)
                        ForallRightRuleType
                      64. (object)
                        getAncestors
                      65. (object)
                        getAuxFormulas
                      66. (object)
                        getCutAncestors
                      67. (object)
                        getCutsAsProofs
                      68. (object)
                        getStatistics
                      69. (object)
                        getTypeInformation
                      70. (object)
                        ImpLeftRule
                      71. (object)
                        ImpLeftRuleType
                      72. (object)
                        ImpRightRule
                      73. (object)
                        ImpRightRuleType
                      74. (object)
                        InductionRule
                      75. (object)
                        InductionRuleType
                      76. (object)
                        InitialRuleType
                      77. (object)
                        Interpolate
                      78. (class)InterpolationException
                      79. (class)LKProver
                      80. (case class)LKQuantifierException
                      81. (object)(class)LKToExpansionProof
                      82. (object)
                        LKToLKsk
                      83. (trait)MacroRuleLogger
                      84. (object)(class)map_proof
                      85. (object)
                        NegLeftRule
                      86. (object)
                        NegLeftRuleType
                      87. (object)
                        NegRightRule
                      88. (object)
                        NegRightRuleType
                      89. (object)
                        OrLeftRule
                      90. (object)
                        OrLeftRuleType
                      91. (object)
                        OrRight1Rule
                      92. (object)
                        OrRight1RuleType
                      93. (object)
                        OrRight2Rule
                      94. (object)
                        OrRight2RuleType
                      95. (object)
                        OrRightRule
                      96. (object)
                        proofFromInstances
                      97. (object)(class)ProofStrategy
                      98. (object)
                        ProofTransformationUtils
                      99. (class)PropositionalProofStrategy
                      100. (class)QuantifierRuleHelper
                      101. (object)
                        quantRulesNumber
                      102. (object)
                        ReductiveCutElim
                      103. (class)ReductiveCutElimException
                      104. (object)
                        regularize
                      105. (object)
                        replaceSubproof
                      106. (object)(class)rule_isomorphic
                      107. (object)
                        rulesNumber
                      108. (object)
                        setNormalize
                      109. (object)
                        simpleUnitResolutionNormalization
                      110. (object)
                        skolemize
                      111. (object)
                        solve
                      112. (class)StrongRuleHelper
                      113. (object)
                        subsumedClausesRemoval
                      114. (object)
                        subsumedClausesRemovalHOL
                      115. (object)
                        TransRule
                      116. (object)
                        UnaryLKProof
                      117. (class)UnfoldException
                      118. (object)
                        Util
                      119. (object)
                        WeakeningContractionMacroRule
                      120. (object)
                        WeakeningLeftMacroRule
                      121. (object)
                        WeakeningLeftRule
                      122. (object)
                        WeakeningLeftRuleType
                      123. (object)
                        WeakeningMacroRule
                      124. (object)
                        WeakeningRightMacroRule
                      125. (object)
                        WeakeningRightRule
                      126. (object)
                        WeakeningRightRuleType
                      127. (object)
                        weakQuantRulesNumber
                      128. (class)WeakRuleHelper
                      1. at.logic.gapt.proofs.lk.base
                        1. (case class)Ant
                        2. (trait)AuxiliaryFormulas
                        3. (trait)BinaryLKProof
                        4. (object)
                          createContext
                        5. (trait)Eigenvariable
                        6. (class)FormulaNotExistsException
                        7. (object)
                          HOLSequent
                        8. (object)(class)HOLSequentOrdering
                        9. (case class)LKBinaryRuleCreationException
                        10. (trait)LKProof
                        11. (class)LKRuleCreationException
                        12. (class)LKRuleException
                        13. (case class)LKUnaryRuleCreationException
                        14. (trait)NullaryLKProof
                        15. (object)
                          OccSequent
                        16. (trait)PrincipalFormulas
                        17. (class)RichFormulaSequent
                        18. (class)RichOccSequent
                        19. (object)(class)Sequent
                        20. (class)SequentIndex
                        21. (trait)SubstitutionTerm
                        22. (case class)Suc
                        23. (trait)TermPositions
                        24. (trait)UnaryLKProof
                      2. at.logic.gapt.proofs.lk.cutIntroduction
                        1. (object)
                          ComputeGrammars
                        2. (object)
                          CutIntroduction
                        3. (class)CutIntroEHSUnprovableException
                        4. (class)CutIntroException
                        5. (object)
                          Deltas
                        6. (class)DeltaTable
                        7. (class)DeltaTableException
                        8. (case class)DeltaTableMethod
                        9. (trait)DeltaVector
                        10. (class)ExtendedHerbrandSequent
                        11. (trait)GrammarFindingMethod
                        12. (object)(case class)MaxSATMethod
                        13. (object)
                          MinimizeSolution
                        14. (class)MultiGrammar
                        15. (object)
                          simpleToMultiGrammar
                        16. (class)TermSet
                        17. (object)
                          TermsExtraction
                      3. at.logic.gapt.proofs.lk.subsumption
                        1. (object)
                          StillmanSubsumptionAlgorithmFOL
                        2. (object)
                          StillmanSubsumptionAlgorithmHOL
                        3. (trait)SubsumptionAlgorithm
                        1. at.logic.gapt.proofs.lk.subsumption.managers
                          1. (object)
                            SAdd
                          2. (class)SAddRemove
                          3. (class)SimpleManager
                          4. (object)
                            SRemove
                          5. (case class)SubsumptionDSEvent
                          6. (class)SubsumptionManager
                    5. at.logic.gapt.proofs.lkNew
                      1. (object)(case class)AndLeftRule
                      2. (object)(case class)AndRightRule
                      3. (case class)ArbitraryAxiom
                      4. (object)
                        Axiom
                      5. (object)(class)BinaryLKProof
                      6. (object)
                        BottomAxiom
                      7. (object)(case class)ContractionLeftRule
                      8. (object)(case class)ContractionRightRule
                      9. (object)(case class)CutRule
                      10. (case class)EqualityRule
                      11. (object)(case class)ExistsLeftRule
                      12. (object)(case class)ExistsRightRule
                      13. (object)(case class)ForallLeftRule
                      14. (object)(case class)ForallRightRule
                      15. (object)(case class)ImpLeftRule
                      16. (object)(case class)ImpRightRule
                      17. (case class)InductionRule
                      18. (object)(class)InitialSequent
                      19. (class)LKProof
                      20. (case class)LogicalAxiom
                      21. (object)(case class)NegLeftRule
                      22. (object)(case class)NegRightRule
                      23. (class)OccConnector
                      24. (object)(case class)OrLeftRule
                      25. (object)(case class)OrRightRule
                      26. (object)
                        prettyString
                      27. (object)(class)ProofBuilder
                      28. (case class)ReflexivityAxiom
                      29. (object)
                        TopAxiom
                      30. (object)(class)UnaryLKProof
                      31. (case class)WeakeningLeftRule
                      32. (case class)WeakeningRightRule
                    6. at.logic.gapt.proofs.lksk
                      1. (object)
                        applySubstitution
                      2. (object)
                        Axiom
                      3. (object)
                        eliminateDefinitions
                      4. (object)
                        ExistsSkLeftRule
                      5. (object)
                        ExistsSkLeftRuleType
                      6. (object)
                        ExistsSkRightRule
                      7. (object)
                        ExistsSkRightRuleType
                      8. (object)
                        ForallSkLeftRule
                      9. (object)
                        ForallSkLeftRuleType
                      10. (object)
                        ForallSkRightRule
                      11. (object)
                        ForallSkRightRuleType
                      12. (object)(class)LabelledFormulaOccurrence
                      13. (case class)LabelledOccSequent
                      14. (object)
                        LKskFOFactory
                      15. (object)(class)LKskToExpansionProof
                      16. (object)(class)rule_isomorphic
                      17. (object)
                        sequentToLabelledSequent
                      18. (object)
                        TypeSynonyms
                      19. (object)
                        UnaryLKskProof
                      20. (object)
                        WeakeningLeftRule
                      21. (object)
                        WeakeningRightRule
                    7. at.logic.gapt.proofs.occurrences
                      1. (object)
                        defaultFormulaOccurrenceFactory
                      2. (trait)FOFactory
                      3. (class)FormulaOccurrence
                    8. at.logic.gapt.proofs.proofs
                      1. (trait)AGraphProof
                      2. (trait)BinaryAGraphProof
                      3. (trait)BinaryProof
                      4. (class)BinaryRuleTypeA
                      5. (trait)BinaryTreeProof
                      6. (trait)NullaryAGraphProof
                      7. (trait)NullaryProof
                      8. (class)NullaryRuleTypeA
                      9. (trait)NullaryTreeProof
                      10. (trait)Proof
                      11. (class)RuleException
                      12. (class)RuleTypeA
                      13. (trait)TreeProof
                      14. (trait)UnaryAGraphProof
                      15. (trait)UnaryProof
                      16. (class)UnaryRuleTypeA
                      17. (trait)UnaryTreeProof
                    9. at.logic.gapt.proofs.resolution
                      1. (trait)AppliedSubstitution
                      2. (trait)BinaryResolutionProof
                      3. (object)
                        Clause
                      4. (object)
                        computeSkolemTerm
                      5. (object)
                        containedVariables
                      6. (object)
                        createContext
                      7. (object)
                        factorDuplicateLiterals
                      8. (object)
                        findDerivationViaResolution
                      9. (object)
                        fixDerivation
                      10. (object)
                        FOLClause
                      11. (object)
                        ForgetfulParamodulate
                      12. (object)
                        ForgetfulResolve
                      13. (object)
                        ForgetfulResolveIndexed
                      14. (object)
                        HOLClause
                      15. (object)
                        InitialSequent
                      16. (object)
                        initialSequents
                      17. (object)
                        InitialType
                      18. (trait)InstantiatedVariable
                      19. (object)
                        InstantiateElimination
                      20. (object)
                        mapInitialClauses
                      21. (trait)NullaryResolutionProof
                      22. (object)
                        numberOfResolutionsAndParamodulations
                      23. (object)
                        OccClause
                      24. (object)
                        Paramodulants
                      25. (object)
                        PCNF
                      26. (case class)RalException
                      27. (case class)ResolutionException
                      28. (trait)ResolutionProof
                      29. (class)ResolutionRuleCreationException
                      30. (class)ResolutionRuleException
                      31. (object)
                        ResolutionSubstitution
                      32. (class)RichClause
                      33. (class)RichOccClause
                      34. (object)
                        RobinsonToExpansionProof
                      35. (object)
                        RobinsonToLK
                      36. (object)(class)RobinsonToRal
                      37. (object)
                        tautologifyInitialClauses
                      38. (object)(class)TseitinCNF
                      39. (trait)UnaryResolutionProof
                      1. at.logic.gapt.proofs.resolution.andrews
                        1. (object)
                          AllFType
                        2. (object)
                          AllTType
                        3. (object)
                          AndF
                        4. (object)
                          AndFType
                        5. (object)
                          AndTL
                        6. (object)
                          AndTLType
                        7. (object)
                          AndTR
                        8. (object)
                          AndTRType
                        9. (object)
                          Cut
                        10. (object)
                          CutType
                        11. (object)
                          ExFType
                        12. (object)
                          ExistsF
                        13. (object)
                          ExistsT
                        14. (object)
                          ExTType
                        15. (object)
                          ForallF
                        16. (object)
                          ForallT
                        17. (object)
                          ImplFL
                        18. (object)
                          ImplFLType
                        19. (object)
                          ImplFR
                        20. (object)
                          ImplFRType
                        21. (object)
                          ImplT
                        22. (object)
                          ImplTType
                        23. (object)
                          NotF
                        24. (object)
                          NotFType
                        25. (object)
                          NotT
                        26. (object)
                          NotTType
                        27. (object)
                          OrFL
                        28. (object)
                          OrFLType
                        29. (object)
                          OrFR
                        30. (object)
                          OrFRType
                        31. (object)
                          OrT
                        32. (object)
                          OrTType
                        33. (object)
                          Sub
                        34. (object)
                          SubType
                      2. at.logic.gapt.proofs.resolution.ral
                        1. (object)
                          AFactorF
                        2. (object)
                          AFactorFType
                        3. (object)
                          AFactorT
                        4. (object)
                          AFactorTType
                        5. (object)
                          AllFRalType
                        6. (object)
                          AllTRalType
                        7. (object)
                          AndF
                        8. (object)
                          AndFRalType
                        9. (object)
                          AndT1
                        10. (object)
                          AndT1RalType
                        11. (object)
                          AndT2
                        12. (object)
                          AndT2RalType
                        13. (object)
                          Cut
                        14. (object)
                          CutRalType
                        15. (object)
                          ExFRalType
                        16. (object)
                          ExistsF
                        17. (object)
                          ExistsT
                        18. (object)
                          ExTRalType
                        19. (trait)Flip
                        20. (object)
                          ForallF
                        21. (object)
                          ForallT
                        22. (object)
                          ImpF1
                        23. (object)
                          ImpF1RalType
                        24. (object)
                          ImpF2
                        25. (object)
                          ImpF2RalType
                        26. (object)
                          ImpT
                        27. (object)
                          ImpTRalType
                        28. (object)
                          InitialRalType
                        29. (object)
                          InitialSequent
                        30. (object)
                          NegF
                        31. (object)
                          NegFRalType
                        32. (object)
                          NegT
                        33. (object)
                          NegTRalType
                        34. (object)
                          OrF1
                        35. (object)
                          OrF1RalType
                        36. (object)
                          OrF2
                        37. (object)
                          OrF2RalType
                        38. (object)
                          OrT
                        39. (object)
                          OrTRalType
                        40. (object)
                          ParaF
                        41. (object)
                          ParaFRalType
                        42. (object)
                          ParaT
                        43. (object)
                          ParaTRalType
                        44. (trait)RalResolutionProof
                        45. (object)
                          Sub
                        46. (object)
                          SubType
                      3. at.logic.gapt.proofs.resolution.robinson
                        1. (object)
                          createContext
                        2. (object)
                          Factor
                        3. (object)
                          FactorType
                        4. (object)
                          Formatter
                        5. (object)
                          InitialClause
                        6. (object)
                          Instance
                        7. (object)
                          InstanceType
                        8. (object)
                          Paramodulation
                        9. (object)
                          ParamodulationType
                        10. (object)
                          Resolution
                        11. (object)
                          ResolutionType
                        12. (trait)RobinsonProofWithInstance
                        13. (trait)RobinsonResolutionProof
                        14. (object)
                          Variant
                        15. (object)
                          VariantType
                    10. at.logic.gapt.proofs.shlk
                      1. (object)
                        AndEquivalenceRule
                      2. (object)
                        AndEquivalenceRule1
                      3. (object)
                        AndEquivalenceRule1Type
                      4. (object)
                        AndEquivalenceRule2
                      5. (object)
                        AndEquivalenceRule2Type
                      6. (object)
                        AndEquivalenceRule3
                      7. (object)
                        AndEquivalenceRule3Type
                      8. (object)
                        AndLeftEquivalenceRule1
                      9. (object)
                        AndLeftEquivalenceRule2
                      10. (object)
                        AndLeftEquivalenceRule3
                      11. (object)
                        AndRightEquivalenceRule1
                      12. (object)
                        AndRightEquivalenceRule2
                      13. (object)
                        AndRightEquivalenceRule3
                      14. (object)
                        applySchemaSubstitution
                      15. (object)
                        applySchemaSubstitution2
                      16. (object)
                        AtomMatch
                      17. (object)
                        checkProofLinks
                      18. (object)
                        checkProofLinks1
                      19. (object)
                        CloneLKProof2
                      20. (object)
                        cloneMySol
                      21. (object)
                        cloneMyTerm
                      22. (object)
                        defineremove
                      23. (object)
                        equalforms
                      24. (object)
                        equalterms
                      25. (object)
                        EXFOSchemaProofLinkRule
                      26. (object)
                        ExistsHyperLeftRule
                      27. (object)
                        ExistsHyperLeftRuleType
                      28. (object)
                        ExistsHyperRightRule
                      29. (object)
                        ExistsHyperRightRuleType
                      30. (object)
                        foldLeftRule
                      31. (object)
                        foldRightRule
                      32. (object)
                        foldRule
                      33. (object)
                        foldRuleType
                      34. (object)
                        ForallHyperLeftRule
                      35. (object)
                        ForallHyperLeftRuleType
                      36. (object)
                        ForallHyperRightRule
                      37. (object)
                        ForallHyperRightRuleType
                      38. (object)
                        FOSchemaProofLinkRule
                      39. (object)
                        genterm
                      40. (object)
                        getName
                      41. (object)
                        isIndexSort
                      42. (object)
                        iterateOnFormula
                      43. (object)
                        OrEquivalenceRule1
                      44. (object)
                        OrEquivalenceRule1Type
                      45. (object)
                        OrEquivalenceRule2
                      46. (object)
                        OrEquivalenceRule2Type
                      47. (object)
                        OrEquivalenceRule3
                      48. (object)
                        OrEquivalenceRule3Type
                      49. (object)
                        OrLeftEquivalenceRule1
                      50. (object)
                        OrLeftEquivalenceRule2
                      51. (object)
                        OrLeftEquivalenceRule3
                      52. (object)
                        OrRightEquivalenceRule1
                      53. (object)
                        OrRightEquivalenceRule2
                      54. (object)
                        OrRightEquivalenceRule3
                      55. (object)
                        printSchemaProof
                      56. (object)
                        RemoveEqRulesFromGroundSchemaProof
                      57. (object)
                        rewriterulereplace
                      58. (class)SchemaProof
                      59. (object)
                        SchemaProofDB
                      60. (trait)SchemaProofLink
                      61. (object)
                        SchemaProofLinkRule
                      62. (object)
                        SchemaProofLinkRuleType
                      63. (object)
                        sContractionLeftRule
                      64. (object)
                        sContractionRightRule
                      65. (object)
                        sCutRule
                      66. (object)
                        StepMinusOne
                      67. (object)
                        TermEquivalenceRule1
                      68. (object)
                        TermEquivalenceRule1Type
                      69. (object)
                        TermLeftEquivalenceRule1
                      70. (object)
                        TermRightEquivalenceRule1
                      71. (object)
                        trsArrowLeftRule
                      72. (object)
                        trsArrowRightRule
                      73. (object)
                        trsArrowRule
                      74. (object)
                        trsArrowRuleType
                      75. (object)
                        UnarySchemaProof
                    11. at.logic.gapt.proofs.sketch
                      1. (object)(case class)RefutationSketch
                      2. (object)
                        RefutationSketchToRobinson
                  8. at.logic.gapt.prooftool
                    1. (object)
                      About
                    2. (object)
                      ACNFDialog
                    3. (class)CedentPanel
                    4. (case class)ChangeFormulaColor
                    5. (case class)ChangeSequentColor
                    6. (object)
                      DisableMenus
                    7. (class)DrawExpansionSequent
                    8. (class)DrawExpansionTree
                    9. (trait)DrawExpSeqLogger
                    10. (class)DrawList
                    11. (class)DrawProof
                    12. (class)DrawResolutionProof
                    13. (object)
                      DrawSequent
                    14. (class)DrawSingleSequentInference
                    15. (class)DrawTree
                    16. (object)
                      EnableMenus
                    17. (object)
                      ExpansionTreeState
                    18. (class)FileParser
                    19. (class)FormulaBox
                    20. (object)
                      HideLeaf
                    21. (case class)HideProof
                    22. (object)
                      HideStructuralRules
                    23. (object)
                      HideTree
                    24. (object)(class)LatexLabel
                    25. (class)Launcher
                    26. (object)
                      Loaded
                    27. (object)
                      Main
                    28. (class)MenuScroller
                    29. (class)MyLabel
                    30. (class)MyMenubar
                    31. (class)MyScrollPane
                    32. (case class)NodeSelectedEvent
                    33. (object)(class)PopupMenu
                    34. (class)ProofColorizer
                    35. (object)
                      ProofDbChanged
                    36. (case class)ProofNode
                    37. (class)ProofNodeInfo
                    38. (object)
                      ProofToolPublisher
                    39. (class)ProofWeighter
                    40. (object)
                      Rainbow
                    41. (class)ReactiveSunburstModel
                    42. (trait)ReactiveSunburstView
                    43. (object)
                      RGBColorChooser
                    44. (object)
                      Search
                    45. (case class)ShowAllRules
                    46. (object)
                      ShowLeaf
                    47. (case class)ShowOnly
                    48. (case class)ShowProof
                    49. (class)Spinner
                    50. (object)
                      StructPublisher
                    51. (class)SunburstTreeDialog
                    52. (object)
                      TextAreaDialog
                    53. (class)TreeListPanel
                    54. (object)
                      UnLoaded
                  9. at.logic.gapt.provers
                    1. (object)
                      FailSafeProver
                    2. (object)
                      groundFreeVariables
                    3. (trait)Prover
                    4. (object)
                      renameConstantsToFi
                    5. (class)ResolutionProver
                    1. at.logic.gapt.provers.atp
                      1. (object)
                        Definitions
                      2. (object)
                        Main
                      3. (trait)Prover
                      4. (class)ProverException
                      5. (object)
                        SearchDerivation
                      1. at.logic.gapt.provers.atp.commands
                          1. at.logic.gapt.provers.atp.commands.base
                            1. (case class)BranchCommand
                            2. (class)Command
                            3. (object)
                              CommandsExhaustedException
                            4. (class)DataCommand
                            5. (class)InitialCommand
                            6. (case class)PrependCommand
                            7. (case class)PrependOnCondCommand
                            8. (case class)RestoreCommand
                            9. (class)ResultCommand
                            10. (case class)SetStreamCommand
                            11. (case class)SpawnCommand
                          2. at.logic.gapt.provers.atp.commands.guided
                            1. (case class)AddGuidedClausesCommand
                            2. (case class)AddGuidedInitialClauseCommand
                            3. (case class)AddGuidedResolventCommand
                            4. (case class)GetGuidedClausesCommand
                            5. (case class)GetGuidedClausesLiterals
                            6. (case class)GetGuidedClausesLiteralsPositions
                            7. (object)
                              IsGuidedNotFoundCommand
                            8. (object)
                              SetGuidedFoundCommand
                          3. at.logic.gapt.provers.atp.commands.logical
                            1. (case class)DeterministicAndCommand
                            2. (class)DeterministicMacroCommand
                          4. at.logic.gapt.provers.atp.commands.refinements
                              1. at.logic.gapt.provers.atp.commands.refinements.base
                                1. (class)Refinement
                                2. (object)
                                  RefinementID
                                3. (case class)SequentsMacroCommand
                              2. at.logic.gapt.provers.atp.commands.refinements.simple
                                1. (case class)SimpleRefinementGetCommand
                            1. at.logic.gapt.provers.atp.commands.replay
                              1. (case class)OldReplayCommand
                              2. (object)
                                PrintStateCommand
                              3. (case class)ReplayCommand
                              4. (case class)SetClauseWithProofCommand
                              5. (case class)SetTargetClause2
                            2. at.logic.gapt.provers.atp.commands.robinson
                              1. (case class)ClauseFactorCommand
                              2. (case class)FactorCommand
                              3. (case class)ParamodulationCommand
                              4. (case class)ResolveCommand
                              5. (case class)SetClausesCommand
                              6. (object)
                                SetClausesFromDataCommand
                              7. (object)
                                VariantLiteralCommand
                              8. (object)
                                VariantLiteralPositionCommand
                              9. (object)
                                VariantsCommand
                            3. at.logic.gapt.provers.atp.commands.sequents
                              1. (case class)ApplyOnAllPolarizedLiteralPairsCommand
                              2. (object)
                                fvarInvariantMSEquality
                              3. (object)
                                fvarInvariantMSEqualityEQ
                              4. (case class)IfNotExistCommand
                              5. (case class)InsertResolventCommand
                              6. (case class)RefutationReachedCommand
                              7. (case class)SearchForEmptyClauseCommand
                              8. (class)SetSequentsCommand
                              9. (case class)SetTargetClause
                              10. (case class)SimpleBackwardSubsumptionCommand
                              11. (case class)SimpleForwardSubsumptionCommand
                              12. (class)SimpleSubsumptionCommand
                              13. (case class)SubsumedTargedReachedCommand
                              14. (case class)SubsumedTargedSetFromClauseSetCommand
                            4. at.logic.gapt.provers.atp.commands.ui
                              1. (case class)getTwoClausesFromUICommand
                              2. (object)
                                PromptTerminal
                        1. at.logic.gapt.provers.basicProver
                          1. (class)BasicProver
                        2. at.logic.gapt.provers.eprover
                          1. (object)(class)EProverOutputParser
                          2. (class)EProverProver
                        3. at.logic.gapt.provers.eqProver
                          1. (class)EquationalProver
                        4. at.logic.gapt.provers.inductionProver
                          1. (object)
                            canonicalSolution
                          2. (object)
                            decodeSipGrammar
                          3. (object)
                            findConseq
                          4. (object)
                            FindFormulaH
                          5. (class)HeuristicSolutionFinder
                          6. (object)
                            RunOnProofSequence
                          7. (object)(class)SimpleInductionProof
                          8. (class)SipProver
                          9. (trait)SolutionFinder
                        5. at.logic.gapt.provers.leancop
                          1. (class)LeanCoPProver
                        6. at.logic.gapt.provers.maxsat
                          1. (object)
                            bestAvailableMaxSatSolver
                          2. (object)
                            Format
                          3. (class)MaxSat4j
                          4. (trait)MaxSATSolver
                          5. (trait)MaxSATSolverBinary
                          6. (class)MiFuMaX
                          7. (class)MiniMaxSAT
                          8. (class)OpenWBO
                          9. (class)QMaxSAT
                          10. (object)
                            readWDIMACS
                          11. (class)ToySAT
                          12. (class)ToySolver
                          13. (class)WDIMACSHelper
                        7. at.logic.gapt.provers.minisat
                          1. (class)MiniSAT
                          2. (class)MiniSATProver
                        8. at.logic.gapt.provers.prover9
                          1. (object)
                            Prover9Importer
                          2. (class)Prover9Prover
                          1. at.logic.gapt.provers.prover9.commands
                            1. (object)
                              InferenceExtractor
                            2. (case class)Prover9InitCommand
                        9. at.logic.gapt.provers.sat4j
                          1. (object)
                            readSat4j
                          2. (class)Sat4j
                          3. (class)Sat4jProver
                        10. at.logic.gapt.provers.vampire
                          1. (object)
                            Vampire
                          2. (class)VampireException
                        11. at.logic.gapt.provers.veriT
                          1. (class)VeriTProver
                        12. at.logic.gapt.provers.z3
                          1. (class)Z3Prover
                      2. at.logic.gapt.utils
                        1. (object)
                          withTempFile
                        1. at.logic.gapt.utils.ds
                          1. (object)
                            Add
                          2. (class)AddRemove
                          3. (object)
                            Multisets
                          4. (class)PublishingBuffer
                          5. (case class)PublishingBufferEvent
                          6. (object)
                            Remove
                          1. at.logic.gapt.utils.ds.acyclicGraphs
                            1. (trait)AGraph
                            2. (object)(class)ArbitraryAGraph
                            3. (object)(class)BinaryAGraph
                            4. (object)(class)LeafAGraph
                            5. (object)(class)UnaryAGraph
                          2. at.logic.gapt.utils.ds.algebraic
                              1. at.logic.gapt.utils.ds.algebraic.trees
                                1. (case class)NonTerminalNode
                                2. (case class)TerminalNode
                                3. (trait)Tree
                            1. at.logic.gapt.utils.ds.graphs
                              1. (object)(class)EdgeGraph
                              2. (object)(class)EmptyGraph
                              3. (trait)Graph
                              4. (object)
                                GraphImplicitConverters
                              5. (object)(class)UnionGraph
                              6. (object)(class)VertexGraph
                            2. at.logic.gapt.utils.ds.mutable
                                1. at.logic.gapt.utils.ds.mutable.trees
                                  1. (class)TreeNode
                                  2. (class)Trie
                              1. at.logic.gapt.utils.ds.streams
                                1. (object)
                                  Definitions
                              2. at.logic.gapt.utils.ds.trees
                                1. (object)(class)ArbitraryTree
                                2. (object)(class)BinaryTree
                                3. (object)(class)LeafTree
                                4. (object)(trait)NonTerminalNodeA
                                5. (object)(trait)TerminalNodeA
                                6. (trait)Tree
                                7. (trait)TreeA
                                8. (object)
                                  TreeImplicitConverters
                                9. (object)(class)UnaryTree
                            3. at.logic.gapt.utils.dssupport
                              1. (object)
                                ListSupport
                            4. at.logic.gapt.utils.executionModels
                                1. at.logic.gapt.utils.executionModels.ndStream
                                  1. (trait)Configuration
                                  2. (class)NDStream
                                2. at.logic.gapt.utils.executionModels.searchAlgorithms
                                  1. (trait)BFSAlgorithm
                                  2. (class)BFSColl
                                  3. (class)DFSColl
                                  4. (trait)SearchAlgorithm
                                  5. (object)
                                    SearchAlgorithms
                                  6. (trait)SearchCollection
                                  7. (trait)SetNode
                                3. at.logic.gapt.utils.executionModels.timeout
                                  1. (class)TimeOutException
                                  2. (object)
                                    withTimeout
                              1. at.logic.gapt.utils.labeling
                                1. (trait)Labeled
                              2. at.logic.gapt.utils.logging
                                1. (class)CollectMetrics
                                2. (class)IgnoreMetrics
                                3. (trait)Logger
                                4. (object)
                                  metrics
                                5. (trait)MetricsCollector
                                6. (class)Stopwatch
                                7. (object)
                                  StopwatchStatus
                              3. at.logic.gapt.utils.patterns
                                  1. at.logic.gapt.utils.patterns.listeners
                                    1. (trait)ListenerManager
                                1. at.logic.gapt.utils.testing
                                  1. (trait)ClasspathFileCopier
                                2. at.logic.gapt.utils.traits
                                  1. (trait)ExternalProgram
                        2. scala
                            1. scala.tools
                                1. scala.tools.nsc
                                    1. scala.tools.nsc.interpreter