gapt.expr.formula.prop.PropAtom.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.prop

import gapt.expr.Const
import gapt.expr.formula.fol.FOLAtom
import gapt.expr.formula.fol.FOLAtomConst
import gapt.expr.ty.To

trait PropAtom extends Const with PropFormula with FOLAtom with FOLAtomConst

object PropAtom {
  def apply(sym: String): PropAtom = Const(sym, To).asInstanceOf[PropAtom]
}