gapt.expr.formula.NullaryPropConnectiveHelper.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of gapt_3 Show documentation

General Architecture for Proof Theory

The newest version!

package gapt.expr.formula

import gapt.expr.Const
import gapt.expr.formula.constants.MonomorphicLogicalC
import gapt.expr.formula.prop.PropFormula

class NullaryPropConnectiveHelper(val c: MonomorphicLogicalC) {
  def apply(): PropFormula with Const = c().asInstanceOf[PropFormula with Const]
  def unapply(formula: PropFormula): Boolean = c() == formula
}