gapt.expr.formula.fol.FOLConst.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.fol

import gapt.expr.Const

trait FOLConst extends Const with FOLTerm with FOLFunctionConst

object FOLConst {
  def apply(sym: String): FOLConst = FOLFunction(sym).asInstanceOf[FOLConst]
  def unapply(e: FOLConst) = Some(e.name)
}