gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.examples/NiaSchema

NiaSchema

gapt.examples.NiaSchema
object NiaSchema extends TacticsProof

Attributes

Source
NiaSchema.scala
Graph
Supertypes
class TacticsProof
class Object
trait Matchable
class Any
Self type
NiaSchema.type

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
TacticsProof
Source
TacticsProof.scala

Concrete fields

val chiBc: LKProof

Attributes

Source
NiaSchema.scala
val chiSc: LKProof

Attributes

Source
NiaSchema.scala
val esChiBc: Sequent[(String, Formula)]

Attributes

Source
NiaSchema.scala
val esChiSc: Sequent[(String, Formula)]

Attributes

Source
NiaSchema.scala
val esOmega: Sequent[Formula]

Attributes

Source
NiaSchema.scala
val esOmegaBc: Sequent[(String, Formula)]

Attributes

Source
NiaSchema.scala
val esOmegaSc: Sequent[(String, Formula)]

Attributes

Source
NiaSchema.scala
val eschi: Sequent[Formula]

Attributes

Source
NiaSchema.scala
val esphi: Sequent[Formula]

Attributes

Source
NiaSchema.scala
val esphiBc: Sequent[(String, Formula)]

Attributes

Source
NiaSchema.scala
val esphiSc: Sequent[(String, Formula)]

Attributes

Source
NiaSchema.scala
val omegaBc: LKProof

Attributes

Source
NiaSchema.scala
val omegaSc: LKProof

Attributes

Source
NiaSchema.scala
val phiBc: LKProof

Attributes

Source
NiaSchema.scala
val phiSc: LKProof

Attributes

Source
NiaSchema.scala

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Source
TacticsProof.scala
Generated with