gapt.provers.slakje.ExpToLKMethod
See theExpToLKMethod companion trait
object ExpToLKMethod
Attributes
- Companion
- trait
- Source
- intuitionist.scala
- Graph
-
- Supertypes
-
trait Sumtrait Mirrorclass Objecttrait Matchableclass Any
- Self type
-
ExpToLKMethod.type
Members list
Type members
Classlikes
case object Heuristic extends ExpToLKMethod
Attributes
- Source
- intuitionist.scala
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait ExpToLKMethodclass Objecttrait Matchableclass AnyShow all
- Self type
-
Heuristic.type
case object MG3iViaSAT extends ExpToLKMethod
Attributes
- Source
- intuitionist.scala
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait ExpToLKMethodclass Objecttrait Matchableclass AnyShow all
- Self type
-
MG3iViaSAT.type
case object MG4ip extends ExpToLKMethod
Attributes
- Source
- intuitionist.scala
- Supertypes
-
trait Singletontrait Producttrait Mirrortrait Serializabletrait Producttrait Equalstrait ExpToLKMethodclass Objecttrait Matchableclass AnyShow all
- Self type
-
MG4ip.type
Inherited and Abstract types
The names of the product elements.
The name of the type.
In this article