Heuristic
gapt.provers.slakje.ExpToLKMethod.Heuristic
case object Heuristic extends ExpToLKMethod
Attributes
- Source
- intuitionist.scala
- Graph
-
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait ExpToLKMethodclass Objecttrait Matchableclass AnyShow all
- Self type
-
Heuristic.type
Members list
Type members
Inherited types
The names of the product elements.
Attributes
- Inherited from:
- Singleton
- Source
- Mirror.scala
The mirrored *-type.
Attributes
- Inherited from:
- Singleton
- Source
- Mirror.scala
Inherited and Abstract types
The name of the type.
Value members
Concrete methods
Attributes
- Source
- intuitionist.scala
Inherited methods
Creates a new instance of type T with elements taken from product p.
Creates a new instance of type T with elements taken from product p.
Attributes
- Inherited from:
- Singleton
- Source
- Mirror.scala
Attributes
- Inherited from:
- ExpToLKMethod
- Source
- intuitionist.scala
An iterator over the names of all the elements of this product.
An iterator over the names of all the elements of this product.
Attributes
- Inherited from:
- Product
- Source
- Product.scala
An iterator over all the elements of this product.
An iterator over all the elements of this product.
Attributes
- Returns
-
in the default implementation, an
Iterator[Any] - Inherited from:
- Product
- Source
- Product.scala
In this article