Package

at.logic.gapt.cli

GAPScalaInteractiveShellLibrary

Permalink

package GAPScalaInteractiveShellLibrary

Visibility
  1. Public
  2. All

Value Members

  1. object CERESomega extends ceres_omega

    Permalink
  2. object GenerateRobinson2Ral

    Permalink
  3. object MaxSATsolve

    Permalink
  4. object Robinson2LK

    Permalink
  5. object Robinson2Ral extends RobinsonToRal

    Permalink
  6. object applyFactoring extends factoring

    Permalink
  7. object buildACNF

    Permalink
  8. object buildProofWithCut

    Permalink
  9. object compressExpansionSequent

    Permalink
  10. object compressExpansionTree

    Permalink
  11. object computeCanonicalSolutions

    Permalink
  12. object computeGrammars

    Permalink
  13. object computeGroundProjections

    Permalink
  14. object computeProjections

    Permalink
  15. object css

    Permalink
  16. object cutIntro

    Permalink

    ***************************************************************************** Cut-Introduction ****************************************************************************

  17. object definitionElimination

    Permalink
  18. object deleteEquationalTautologies

    Permalink

    **********************************************************

  19. object deleteTautologies

    Permalink
  20. object eliminateCuts

    Permalink

    ***************************************************************************** Proof Theory ****************************************************************************

  21. object eliminateInstaces

    Permalink

    **************************************************************************************

  22. object equation_example

    Permalink
  23. object escape_underscore

    Permalink
  24. object exportLLK

    Permalink
  25. object exportLabelledSequentListLatex

    Permalink
  26. object exportLatex

    Permalink
  27. object exportSequentListLatex

    Permalink
  28. object exportTHF

    Permalink
  29. object exportTPTP

    Permalink
  30. object exportVeriT

    Permalink
  31. object exportXML

    Permalink
  32. object extractInterpolant

    Permalink
  33. object extractStruct

    Permalink

    ***************************************************************************** Cut-Elimination by Resolution ****************************************************************************

  34. object extractTerms

    Permalink
  35. object findDefinitions

    Permalink
  36. object foCERES extends CERESR2LK

    Permalink
  37. object foCERESground extends CERES

    Permalink
  38. object format

    Permalink
  39. object fsequent2sequent

    Permalink
  40. object generateExtendedHerbrandSequent

    Permalink
  41. object help

    Permalink
  42. object hol2fol extends reduceHolToFol

    Permalink
  43. object lkproof

    Permalink
  44. object loadLLK

    Permalink
  45. object loadLeanCoPProof

    Permalink
  46. object loadPrime

    Permalink

    ****************** Proof loaders ************************

  47. object loadProofDB

    Permalink

    ***************************************************************************** File Input / Output ****************************************************************************

  48. object loadProofs

    Permalink
  49. object loadProver9LKProof

    Permalink
  50. object loadProver9Proof

    Permalink
  51. object loadSLK

    Permalink
  52. object loadVeriTProof

    Permalink
  53. object mapProof extends map_proof

    Permalink
  54. object miniSATprove

    Permalink
  55. object miniSATsolve

    Permalink
  56. object minimalExpansionSequents

    Permalink
  57. object minimizeSolution

    Permalink
  58. object normalizeSub

    Permalink
  59. object ntape

    Permalink
  60. object parse

    Permalink
  61. object parseFOL

    Permalink

    ***************************************************************************** Parsing ****************************************************************************

  62. object parseHOL

    Permalink
  63. object parseLISP

    Permalink
  64. object parseLLKExp

    Permalink
  65. object parseLLKFormula

    Permalink
  66. object parseProver9

    Permalink
  67. object philsci

    Permalink
  68. object printProofStats

    Permalink
  69. object proofs

    Permalink
  70. object prooftool

    Permalink
  71. object proveProp

    Permalink
  72. object prover9

    Permalink
  73. object refuteClauseList

    Permalink
  74. object refuteFOL

    Permalink

    ***************************************************************************** Automated Deduction ****************************************************************************

  75. object refuteFOLI

    Permalink
  76. object removeSubsumed

    Permalink
  77. object replaceAbstractions extends replaceAbstractions

    Permalink
  78. object replay

    Permalink
  79. object rule_isomorphic extends rule_isomorphic

    Permalink
  80. object sequent

    Permalink
  81. object simplifyStruct

    Permalink

    ****************** CERES operations ************************

  82. object structToClausesList

    Permalink
  83. object structToLabelledClausesList

    Permalink
  84. object tbillc

    Permalink
  85. object time

    Permalink

    ***************************************************************************** Miscellaneous ****************************************************************************

  86. object toClauses

    Permalink

    ***************************************************************************** Formulas / Sequents / Expressions ****************************************************************************

  87. object undoReplaceAbstractions extends undoReplaceAbstractions

    Permalink
  88. object unfoldProof

    Permalink

    ***************************************************************************** Proof Schemata ****************************************************************************

  89. object unitResolve

    Permalink

Ungrouped