Packages

o

gapt.examples

GradedStrictMonotoneSequenceSchema

object GradedStrictMonotoneSequenceSchema extends TacticsProof

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. GradedStrictMonotoneSequenceSchema
  2. TacticsProof
  3. TacticsProof0
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. val ChiSc: LKProof
  5. val ChiScm: LKProof
  6. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  7. val chi1Bc: LKProof
  8. val chi1Bcm: LKProof
  9. val chi1Sc: LKProof
  10. val chi1Scm: LKProof
  11. val chiBc: LKProof
  12. val chiBcm: LKProof
  13. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  14. implicit def ctx: ImmutableContext
    Definition Classes
    TacticsProof0
  15. def ctx_=(newContext: ImmutableContext): Unit
    Attributes
    protected
    Definition Classes
    TacticsProof0
  16. val deltaBc: LKProof
  17. val deltaSc: LKProof
  18. val epsilonBc: LKProof
  19. val epsilonSc: LKProof
  20. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  21. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  22. val esChi: Sequent[Formula]
  23. val esChi1Bc: Sequent[(String, Formula)]
  24. val esChi1Bcm: Sequent[(String, Formula)]
  25. val esChi1Sc: Sequent[(String, Formula)]
  26. val esChi1Scm: Sequent[(String, Formula)]
  27. val esChiBc: Sequent[(String, Formula)]
  28. val esChiBcm: Sequent[(String, Formula)]
  29. val esChiSc: Sequent[(String, Formula)]
  30. val esChiScm: Sequent[(String, Formula)]
  31. val esDelta: Sequent[Formula]
  32. val esDeltaBc: Sequent[(String, Formula)]
  33. val esDeltaSc: Sequent[(String, Formula)]
  34. val esEpsilon: Sequent[Formula]
  35. val esEpsilonBc: Sequent[(String, Formula)]
  36. val esEpsilonSc: Sequent[(String, Formula)]
  37. val esMu: Sequent[Formula]
  38. val esNu: Sequent[Formula]
  39. val esNu1Bc: Sequent[(String, Formula)]
  40. val esNu2Bc: Sequent[(String, Formula)]
  41. val esNuBc: Sequent[(String, Formula)]
  42. val esNuSc: Sequent[(String, Formula)]
  43. val esOmega: Sequent[Formula]
  44. val esOmegaBc: Sequent[(String, Formula)]
  45. val esOmegaSc: Sequent[(String, Formula)]

    The Parameter N is the size of the range The parameter K is the number of jumps The Parameter M is the number of equivalences in a plateau

  46. val esPhi: Sequent[Formula]
  47. val esPhiBc: Sequent[(String, Formula)]
  48. val esPhiBc1: Sequent[(String, Formula)]
  49. val esPhiBc1m: Sequent[(String, Formula)]
  50. val esPhiBcm: Sequent[(String, Formula)]
  51. val esPhiSc: Sequent[(String, Formula)]
  52. val esPhiSc1: Sequent[(String, Formula)]
  53. val esPhiSc1m: Sequent[(String, Formula)]
  54. val esPhiScm: Sequent[(String, Formula)]
  55. val esPsi: Sequent[Formula]
  56. val esPsiBc: Sequent[(String, Formula)]
  57. val esPsiSc: Sequent[(String, Formula)]
  58. val esTheta: Sequent[Formula]
  59. val esThetaBc: Sequent[(String, Formula)]
  60. val esThetaSc: Sequent[(String, Formula)]
  61. val esXi: Sequent[Formula]
  62. val esXiBc: Sequent[(String, Formula)]
  63. val esXiSc: Sequent[(String, Formula)]
  64. val esZeta: Sequent[Formula]
  65. val esZetaBc: Sequent[(String, Formula)]
  66. val esZetaSc: Sequent[(String, Formula)]
  67. val esmuBc: Sequent[(String, Formula)]
  68. val esmuSc: Sequent[(String, Formula)]
  69. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  70. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  71. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  72. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  73. def main(args: Array[String]): Unit
    Definition Classes
    TacticsProof
  74. val muBc: LKProof
  75. val muSc: LKProof
  76. val mutableContext: MutableContext
    Attributes
    protected
    Definition Classes
    TacticsProof0
  77. implicit def mutableCtxImplicit: MutableContext
    Attributes
    protected
    Definition Classes
    TacticsProof
  78. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  79. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  80. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  81. val nu1Bc: LKProof
  82. val nu2Bc: LKProof
  83. val nuBc: LKProof
  84. val nuSc: LKProof
  85. val omegaBc: LKProof
  86. val omegaSc: LKProof
  87. val phiBc: LKProof
  88. val phiBc1: LKProof
  89. val phiBc1m: LKProof
  90. val phiBcm: LKProof
  91. val phiSc: LKProof
  92. val phiSc1: LKProof
  93. val phiSc1m: LKProof
  94. val phiScm: LKProof
  95. val psiBc: LKProof
  96. val psiSc: LKProof
  97. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  98. val thetaBc: LKProof
  99. val thetaSc: LKProof
  100. def toString(): String
    Definition Classes
    AnyRef → Any
  101. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  102. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  103. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  104. val xiBc: LKProof
  105. val xiSc: LKProof
  106. val zetaBc: LKProof
  107. val zetaSc: LKProof

Inherited from TacticsProof

Inherited from TacticsProof0

Inherited from AnyRef

Inherited from Any

Ungrouped