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

lattice

gapt.examples.lattice
object lattice extends TacticsProof

Attributes

Graph
Supertypes
class TacticsProof
class TacticsProof0
class Object
trait Matchable
class Any
Self type
lattice.type

Members list

Value members

Inherited methods

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

Attributes

Inherited from:
TacticsProof

Concrete fields

val p: LKProof
val p1_3: LKProof
val p3_2: LKProof
val p_1: LKProof
val p_2: LKProof
val p_3: LKProof
val p_3_1: LKProof
val p_4: LKProof
val p_5: LKProof
val p_5_1: LKProof
val p_6: LKProof
val proof: LKProof
val q_1: LKProof
val q_2: LKProof
val r_1: LKProof
val r_1_1: LKProof
val r_2: LKProof
val r_2_1: LKProof

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with