Packages

o

gapt.examples

SimpleMutualInductionSchema

object SimpleMutualInductionSchema extends TacticsProof

Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. SimpleMutualInductionSchema
  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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. val chiBc: LKProof
  6. val chiSc: LKProof
  7. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native() @IntrinsicCandidate()
  8. implicit def ctx: ImmutableContext
    Definition Classes
    TacticsProof0
  9. def ctx_=(newContext: ImmutableContext): Unit
    Attributes
    protected
    Definition Classes
    TacticsProof0
  10. val deltaBc: LKProof
  11. val deltaBc2: LKProof
  12. val deltaBc3: LKProof
  13. val deltaBc4: LKProof
  14. val deltaBc5: LKProof
  15. val deltaBc6: LKProof
  16. val deltaSc: LKProof
  17. val epsilonBc: LKProof
  18. val epsilonBc2: LKProof
  19. val epsilonBc3: LKProof
  20. val epsilonSc: LKProof
  21. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  23. val esChi: Sequent[Formula]
  24. val esChiBc: Sequent[(String, Formula)]
  25. val esChiSc: Sequent[(String, Formula)]
  26. val esDeltaSc: Sequent[(String, Formula)]
  27. val esEpsilon: Sequent[Formula]
  28. val esEpsilonBc: Sequent[(String, Formula)]
  29. val esEpsilonBc2: Sequent[(String, Formula)]
  30. val esEpsilonBc3: Sequent[(String, Formula)]
  31. val esEpsilonSc: Sequent[(String, Formula)]
  32. val esOmega: Sequent[Formula]
  33. val esOmegaBc: Sequent[(String, Formula)]
  34. val esOmegaSc: Sequent[(String, Formula)]
  35. val esPhi: Sequent[Formula]
  36. val esPhiBc: Sequent[(String, Formula)]
  37. val esPhiSc: Sequent[(String, Formula)]
  38. val esdelta: Sequent[Formula]
  39. val esdeltaBc: Sequent[(String, Formula)]
  40. val esdeltaBc2: Sequent[(String, Formula)]
  41. val esdeltaBc3: Sequent[(String, Formula)]
  42. val esdeltaBc4: Sequent[(String, Formula)]
  43. val esdeltaBc5: Sequent[(String, Formula)]
  44. val esdeltaBc6: Sequent[(String, Formula)]
  45. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  46. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native() @IntrinsicCandidate()
  47. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  48. def main(args: Array[String]): Unit
    Definition Classes
    TacticsProof
  49. val mutableContext: MutableContext
    Attributes
    protected
    Definition Classes
    TacticsProof0
  50. implicit def mutableCtxImplicit: MutableContext
    Attributes
    protected
    Definition Classes
    TacticsProof
  51. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  52. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  53. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @IntrinsicCandidate()
  54. val omegaBc: LKProof
  55. val omegaSc: LKProof
  56. val phiBc: LKProof
  57. val phiSc: LKProof
  58. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  59. def toString(): String
    Definition Classes
    AnyRef → Any
  60. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  61. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()
  62. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])

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