gapt-examples
API
Generated with
gapt-examples/gapt.examples/nTape6/formulas

formulas

gapt.examples.nTape6.formulas
object formulas

Contains all the formulas used.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
formulas.type

Members list

Value members

Concrete fields

val conclusion0: Formula
val conclusion1: Formula
val conclusion2: Formula
val f1: Formula
val f2: Formula
val f3: Formula
val f4: Formula
val s1: String
val s2: String
val s3: String
val s4: String
val s5: String
val s6: String
val s7: String
val sc: String
val sc1: String
val sc2: String
val w1: Formula
val w2: Formula
val w3: Formula

Implicits

Implicits

implicit val signature: LLKSignature
Generated with