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

VeryWeakPHPSequenceVariantSchema

gapt.examples.VeryWeakPHPSequenceVariantSchema
object VeryWeakPHPSequenceVariantSchema 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 Epsilon2Bc: LKProof
val Epsilon2Sc: LKProof
val Epsilon3Bc: LKProof
val Epsilon3Sc: LKProof
val Epsilon4Bc: LKProof
val Epsilon4Sc: LKProof
val Epsilon5Bc: LKProof
val Epsilon5Sc: LKProof
val Epsilon6Bc: LKProof
val Epsilon6Sc: LKProof
val EpsilonBc: LKProof
val EpsilonSc: LKProof
val OmegaSc: LKProof
val PiBC: LKProof
val PiSC: LKProof
val Theta2BC: LKProof
val Theta2SC: LKProof
val Theta3BC: LKProof
val Theta3SC: LKProof
val ThetaBC: LKProof
val ThetaSC: LKProof
val esEpsilon: Sequent[Formula]
val esEpsilon2: Sequent[Formula]
val esEpsilon2Bc: Sequent[(String, Formula)]
val esEpsilon2Sc: Sequent[(String, Formula)]
val esEpsilon3: Sequent[Formula]
val esEpsilon3Bc: Sequent[(String, Formula)]
val esEpsilon3Sc: Sequent[(String, Formula)]
val esEpsilon4: Sequent[Formula]
val esEpsilon4Bc: Sequent[(String, Formula)]
val esEpsilon4Sc: Sequent[(String, Formula)]
val esEpsilon5: Sequent[Formula]
val esEpsilon5Bc: Sequent[(String, Formula)]
val esEpsilon5Sc: Sequent[(String, Formula)]
val esEpsilon6: Sequent[Formula]
val esEpsilon6Bc: Sequent[(String, Formula)]
val esEpsilon6Sc: Sequent[(String, Formula)]
val esEpsilonBc: Sequent[(String, Formula)]
val esEpsilonSc: Sequent[(String, Formula)]
val esGamma: Sequent[Formula]
val esGammaBc: Sequent[(String, Formula)]
val esGammaBc2: Sequent[(String, Formula)]
val esGammaBc3: Sequent[(String, Formula)]
val esGammaSc: Sequent[(String, Formula)]
val esMu: Sequent[Formula]
val esMuBc: Sequent[(String, Formula)]
val esMuSc: Sequent[(String, Formula)]
val esOmega: Sequent[Formula]
val esOmegaBc: Sequent[(String, Formula)]
val esOmegaBc2: Sequent[(String, Formula)]
val esOmegaBc3: Sequent[(String, Formula)]
val esOmegaSc: Sequent[(String, Formula)]
val esPhi: Sequent[Formula]
val esPhiBc: Sequent[(String, Formula)]
val esPhiBc2: Sequent[(String, Formula)]
val esPhiBc3: Sequent[(String, Formula)]
val esPhiSc: Sequent[(String, Formula)]
val esPiBC: Sequent[(String, Formula)]
val esPiSC: Sequent[(String, Formula)]
val esTheta: Sequent[Formula]
val esTheta2: Sequent[Formula]
val esTheta2BC: Sequent[(String, Formula)]
val esTheta2SC: Sequent[(String, Formula)]
val esTheta3: Sequent[Formula]
val esTheta3BC: Sequent[(String, Formula)]
val esTheta3SC: Sequent[(String, Formula)]
val esThetaBC: Sequent[(String, Formula)]
val esThetaSC: Sequent[(String, Formula)]
val espi: Sequent[Formula]
val gammaBc: LKProof
val gammaBc2: LKProof
val gammaBc3: LKProof
val gammaSc: LKProof
val muBc: LKProof
val muSc: LKProof
val omegaBc: LKProof
val omegaBc2: LKProof
val omegaBc3: LKProof
val phiBc: LKProof
val phiBc2: LKProof
val phiBc3: LKProof
val phiSc: LKProof

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with