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 name of the type
The mirrored *-type
Attributes
- Inherited from:
- Singleton
- Source
- Mirror.scala
Value members
Concrete methods
Attributes
- Source
- intuitionist.scala
Inherited methods
Create a new instance of type T
with elements taken from product p
.
Create 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
Attributes
- Inherited from:
- Product
Attributes
- Inherited from:
- Product
In this article