Pi2CutIntroduction

gapt.cutintro.Pi2CutIntroduction

Attributes

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

Members list

Value members

Concrete methods

def apply(p: InputProof, alpha: Var, betas: Vector[Var], solver: MaxSATSolver): Option[LKProof]

Attributes

Source
pi2cutintro.scala

Concrete fields

val logger: Logger

Attributes

Source
pi2cutintro.scala