gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.lk/gapt.proofs.lk.reductions/RightRankOrRightReduction

RightRankOrRightReduction

gapt.proofs.lk.reductions.RightRankOrRightReduction
object RightRankOrRightReduction extends CutReduction

Attributes

Source
rankReduction.scala
Graph
Supertypes
trait CutReduction
trait Reduction
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def reduce(cut: CutRule): Option[LKProof]

Attributes

Source
rankReduction.scala

Inherited methods

def andThen(reduction: CutReduction): CutReduction

Attributes

Inherited from:
CutReduction
Source
CutReduction.scala
def andThen(reduction: Reduction): Reduction

Attributes

Inherited from:
Reduction
Source
Reduction.scala
def isRedex(proof: LKProof): Boolean

Attributes

Inherited from:
Reduction
Source
Reduction.scala
def orElse(reduction: CutReduction): CutReduction

Attributes

Inherited from:
CutReduction
Source
CutReduction.scala
def orElse(reduction: Reduction): Reduction

Attributes

Inherited from:
Reduction
Source
Reduction.scala
def redexes(proof: LKProof): Seq[LKProof]

Attributes

Inherited from:
Reduction
Source
Reduction.scala
def reduce(proof: LKProof): Option[LKProof]

Attributes

Inherited from:
CutReduction
Source
CutReduction.scala
Generated with