gapt-examples
API
Generated with
gapt-examples/gapt.examples/ECSJumpSchema

ECSJumpSchema

gapt.examples.ECSJumpSchema
object ECSJumpSchema extends TacticsProof

Attributes

Graph
Supertypes
class TacticsProof
class TacticsProof0
class Object
trait Matchable
class Any
Self type

Members list

Value members

Inherited methods

def main(args: Array[String]): Unit

Attributes

Inherited from:
TacticsProof

Concrete fields

val EpsilonBc: LKProof
val EpsilonBc2: LKProof
val GammaBc: LKProof
val GammaBc2: LKProof
val PiBc: LKProof
val PiBc2: LKProof
val PiSc: LKProof
val PsiBc: LKProof
val PsiSc: LKProof
val SigmaBc: LKProof
val SigmaSc: LKProof
val ZetaBc: LKProof
val ZetaSc: LKProof
val alphaBc: LKProof
val alphaSc: LKProof
val betaBc: LKProof
val betaSc: LKProof
val chiBc: LKProof
val chiSc: LKProof
val deltaBc: LKProof
val deltaSc: LKProof
val esAlphaBc: Sequent[(String, Formula)]
val esAlphaSc: Sequent[(String, Formula)]
val esBetaBc: Sequent[(String, Formula)]
val esBetaSc: Sequent[(String, Formula)]
val esChiBc: Sequent[(String, Formula)]
val esChiSc: Sequent[(String, Formula)]
val esEpsilon: Sequent[Formula]
val esEpsilonBc: Sequent[(String, Formula)]
val esEpsilonBc2: Sequent[(String, Formula)]
val esGamma: Sequent[Formula]
val esGammaBc: Sequent[(String, Formula)]
val esGammaBc2: Sequent[(String, Formula)]
val esMu: Sequent[Formula]
val esMuBc: Sequent[(String, Formula)]
val esMuBc2: Sequent[(String, Formula)]
val esMuSc: Sequent[(String, Formula)]
val esMuSc2: Sequent[(String, Formula)]
val esOmega: Sequent[Formula]
val esOmegaBc: Sequent[(String, Formula)]
val esOmegaSc: Sequent[(String, Formula)]
val esPhi: Sequent[Formula]
val esPhiBc: Sequent[(String, Formula)]
val esPhiSc1: Sequent[(String, Formula)]
val esPhiSc2: Sequent[(String, Formula)]
val esPhiSc3: Sequent[(String, Formula)]
val esPiBc: Sequent[(String, Formula)]
val esPiBc2: Sequent[(String, Formula)]
val esPiSc: Sequent[(String, Formula)]
val esPsiBc: Sequent[(String, Formula)]
val esPsiSc: Sequent[(String, Formula)]
val esSigmaBc: Sequent[(String, Formula)]
val esSigmaSc: Sequent[(String, Formula)]
val esXiBc: Sequent[(String, Formula)]
val esXiSc: Sequent[(String, Formula)]
val esZetaBc: Sequent[(String, Formula)]
val esZetaSc: Sequent[(String, Formula)]
val esalpha: Sequent[Formula]
val esbeta: Sequent[Formula]
val eschi: Sequent[Formula]
val esdelta: Sequent[Formula]
val esdeltaBc: Sequent[(String, Formula)]
val esdeltaSc: Sequent[(String, Formula)]
val espi: Sequent[Formula]
val espsi: Sequent[Formula]
val essigma: Sequent[Formula]
val estheta: Sequent[Formula]
val esthetaBc: Sequent[(String, Formula)]
val esthetaBc2: Sequent[(String, Formula)]
val esxi: Sequent[Formula]
val eszeta: Sequent[Formula]
val muBc: LKProof
val muBc2: LKProof
val muSc: LKProof
val muSc2: LKProof
val omegaBc: LKProof
val omegaSc: LKProof
val phiBc: LKProof
val phiSc1: LKProof
val phiSc2: LKProof
val phiSc3: LKProof
val thetaBc: LKProof
val thetaBc2: LKProof
val xiBc: LKProof
val xiSc: LKProof

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with