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. 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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. val chiBc: LKProof
  6. val chiSc: LKProof
  7. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  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: Any): 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. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  46. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  47. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  48. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  49. def main(args: Array[String]): Unit
    Definition Classes
    TacticsProof
  50. val mutableContext: MutableContext
    Attributes
    protected
    Definition Classes
    TacticsProof0
  51. implicit def mutableCtxImplicit: MutableContext
    Attributes
    protected
    Definition Classes
    TacticsProof
  52. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  53. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  54. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  55. val omegaBc: LKProof
  56. val omegaSc: LKProof
  57. val phiBc: LKProof
  58. val phiSc: LKProof
  59. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  60. def toString(): String
    Definition Classes
    AnyRef → Any
  61. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  62. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  63. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )

Inherited from TacticsProof

Inherited from TacticsProof0

Inherited from AnyRef

Inherited from Any

Ungrouped