OneWayReduction_
gapt.proofs.reduction.OneWayReduction_
trait OneWayReduction_[P] extends Reduction[P, P, Nothing, Any]
A reduction without back-translation.
Attributes
- Source
- manySorted.scala
- Graph
-
- Supertypes
- Known subtypes
-
class HOFunctionReduction
Members list
In this article