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

sequents

gapt.examples.nTape6.sequents
object sequents

Contains all the conjecture sequents used.

Attributes

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

Members list

Value members

Concrete fields

val consistent: Sequent[Formula]
val cuts0a: Sequent[Formula]
val cuts0b: Sequent[Formula]
val s0a: Sequent[Formula]
val s0b: Sequent[Formula]
val s1a: Sequent[Formula]
val s1b: Sequent[Formula]
val s1c: Sequent[Formula]
val s1d: Sequent[Formula]
val s2b: Sequent[Formula]
val s2c: Sequent[Formula]
val s2d: Sequent[Formula]
val s2e: Sequent[Formula]
Generated with