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: trait Reduction[P, P, Nothing, Any]

class Object

trait Matchable

class Any
Known subtypes: class HOFunctionReduction

class LambdaEliminationReduction

Sequentially composes reductions.

In this article

Generated with