gapt-examples
API
Generated with
gapt-examples/gapt.examples/MonoidCancellation

MonoidCancellation

gapt.examples.MonoidCancellation
object MonoidCancellation extends TacticsProof

Monoid cancellation benchmark from Gregory Malecha and Jesper Bengtson: Extensible and Efficient Automation Through Reflective Tactics, ESOP 2016.

Attributes

Graph
Supertypes
class TacticsProof
class TacticsProof0
class Object
trait Matchable
class Any
Self type

Members list

Value members

Concrete methods

def benchmarkFormula(n: Int): Formula
def proveBenchmark(n: Int): LKProof
def runBenchmark(n: Int): Unit

Inherited methods

def main(args: Array[String]): Unit

Attributes

Inherited from:
TacticsProof

Concrete fields

lazy val cancel: Tactic[Unit]
lazy val iterLeft: Tactic[Unit]
lazy val iterRight: Tactic[Unit]
val setup: Tactic[Unit]
val solve: Tactic[Unit]

Implicits

Inherited implicits

implicit def ctx: ImmutableContext

Attributes

Inherited from:
TacticsProof0
Generated with