• Home
• at.logic.gapt
• gapt_3
• 2.17.0
• source code
• NullaryPropConnectiveHelper.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

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

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
}