gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.expr/gapt.expr.formula/gapt.expr.formula.fol/FOLAtom

FOLAtom

gapt.expr.formula.fol.FOLAtom
See theFOLAtom companion trait
object FOLAtom

Attributes

Companion
trait
Source
FOLAtom.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
FOLAtom.type

Members list

Value members

Concrete methods

def apply(sym: String, args: FOLTerm*)(implicit dummyImplicit: DummyImplicit): FOLAtom

Attributes

Source
FOLAtom.scala
def apply(sym: String, args: Seq[FOLTerm]): FOLAtom

Attributes

Source
FOLAtom.scala
def unapply(e: FOLAtom): Option[(String, List[FOLTerm])]

Attributes

Source
FOLAtom.scala
Generated with