gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.proofs/gapt.proofs.expansion/pushWeakeningsUp

pushWeakeningsUp

gapt.proofs.expansion.pushWeakeningsUp
object pushWeakeningsUp

Attributes

Source
misc.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def apply(ep: ExpansionProof): ExpansionProof

Attributes

Source
misc.scala
def apply(es: ExpansionSequent): ExpansionSequent

Attributes

Source
misc.scala
def apply(et: ExpansionTree): ExpansionTree

Attributes

Source
misc.scala
def apply(sh: Formula, pol: Polarity): ExpansionTree

Attributes

Source
misc.scala
Generated with