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

OneStrictMonotoneSequenceSchema

gapt.examples.OneStrictMonotoneSequenceSchema
object OneStrictMonotoneSequenceSchema 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 TopBc: LKProof
val TopSc: LKProof
val chiBc: LKProof
val chiSc: LKProof
val deltaBc: LKProof
val deltaSc: LKProof
val epsilonBc: LKProof
val epsilonSc: LKProof
val esChiBc: Sequent[(String, Formula)]
val esChiSc: Sequent[(String, Formula)]
val esDelta: Sequent[Formula]
val esDeltaBc: Sequent[(String, Formula)]
val esDeltaSc: Sequent[(String, Formula)]
val esEpsilon: Sequent[Formula]
val esEpsilonBc: Sequent[(String, Formula)]
val esEpsilonSc: Sequent[(String, Formula)]
val esMu: Sequent[Formula]
val esNu: Sequent[Formula]
val esOmega: Sequent[Formula]
val esOmegaBc: Sequent[(String, Formula)]
val esOmegaSc: Sequent[(String, Formula)]
val esPhi: Sequent[Formula]
val esPhiBc1: Sequent[(String, Formula)]
val esPhiBc2: Sequent[(String, Formula)]
val esPhiSc1: Sequent[(String, Formula)]
val esPhiSc2: Sequent[(String, Formula)]
val esTheta: Sequent[Formula]
val esThetaBc: Sequent[(String, Formula)]
val esThetaSc: Sequent[(String, Formula)]
val esTop: Sequent[Formula]
val esTopBc: Sequent[(String, Formula)]
val esTopSc: Sequent[(String, Formula)]
val eschi: Sequent[Formula]
val esmuBc: Sequent[(String, Formula)]
val esmuSc: Sequent[(String, Formula)]
val muBc: LKProof
val muSc: LKProof
val omegaBc: LKProof
val omegaSc: LKProof
val phiBc1: LKProof
val phiBc2: LKProof
val phiSc1: LKProof
val phiSc2: LKProof
val repeating: Expr
val thetaBc: LKProof
val thetaSc: LKProof

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with