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. Protected

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[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  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: AnyRef): 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. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  70. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  71. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  72. def main(args: Array[String]): Unit
    Definition Classes
    TacticsProof
  73. val muBc: LKProof
  74. val muSc: LKProof
  75. val mutableContext: MutableContext
    Attributes
    protected
    Definition Classes
    TacticsProof0
  76. implicit def mutableCtxImplicit: MutableContext
    Attributes
    protected
    Definition Classes
    TacticsProof
  77. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  78. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  79. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  80. val nu1Bc: LKProof
  81. val nu2Bc: LKProof
  82. val nuBc: LKProof
  83. val nuSc: LKProof
  84. val omegaBc: LKProof
  85. val omegaSc: LKProof
  86. val phiBc: LKProof
  87. val phiBc1: LKProof
  88. val phiBc1m: LKProof
  89. val phiBcm: LKProof
  90. val phiSc: LKProof
  91. val phiSc1: LKProof
  92. val phiSc1m: LKProof
  93. val phiScm: LKProof
  94. val psiBc: LKProof
  95. val psiSc: LKProof
  96. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  97. val thetaBc: LKProof
  98. val thetaSc: LKProof
  99. def toString(): String
    Definition Classes
    AnyRef → Any
  100. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  101. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  102. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  103. val xiBc: LKProof
  104. val xiSc: LKProof
  105. val zetaBc: LKProof
  106. val zetaSc: LKProof

Deprecated Value Members

  1. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable]) @Deprecated
    Deprecated

Inherited from TacticsProof

Inherited from TacticsProof0

Inherited from AnyRef

Inherited from Any

Ungrouped