ReductionStrategy

gapt.proofs.lk.transformations.ReductionStrategy

Attributes

Source
reductionStrategies.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

def run(proof: LKProof): LKProof

Attributes

Source
reductionStrategies.scala