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

GradeReductionForall

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

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Definition Classes
Source
gradeReduction.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