gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.examples/gapt.examples.prime/euclid3

euclid3

gapt.examples.prime.euclid3
object euclid3 extends euclid

Attributes

Source
euclid.scala
Graph
Supertypes
class euclid
trait Serializable
trait Product
trait Equals
class TacticsProof
class Object
trait Matchable
class Any
Show all
Self type
euclid3.type

Members list

Value members

Inherited methods

def ldivprod(i: Int): LKProof

Attributes

Inherited from:
euclid
Source
euclid.scala
def main(args: Array[String]): Unit

Attributes

Inherited from:
TacticsProof
Source
TacticsProof.scala
def prodgt0(i: Int): LKProof

Attributes

Inherited from:
euclid
Source
euclid.scala
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def splitgt0(label: String): Tactic[Unit]

Attributes

Inherited from:
euclid
Source
euclid.scala

Inherited fields

val proof: LKProof

Attributes

Inherited from:
euclid
Source
euclid.scala

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Source
TacticsProof.scala
implicit def spliceNum(i: Int): Splice[Expr]

Attributes

Inherited from:
PrimeDefinitions
Source
PrimeDefinitions.scala
Generated with