gapt.logic.hol.AndOr.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.logic.hol

import gapt.expr.formula.{And, Formula, MonoidalBinaryPropConnectiveHelper, Or}

object AndOr {
  def unapply(formula: Formula): Option[(Formula, Formula, MonoidalBinaryPropConnectiveHelper)] =
    formula match {
      case And(alpha, beta) => Some((alpha, beta, And))
      case Or(alpha, beta)  => Some((alpha, beta, Or))
      case _                => None
    }
}