gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.expr/gapt.expr.formula/QuantifierHelper

QuantifierHelper

gapt.expr.formula.QuantifierHelper
class QuantifierHelper(val q: QuantifierC)

Attributes

Source
QuantifierHelper.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object All.type
object Ex.type

Members list

Type members

Classlikes

object Block

Attributes

Source
QuantifierHelper.scala
Supertypes
class Object
trait Matchable
class Any
Self type
Block.type

Value members

Concrete methods

def apply(v: Var, formula: Expr): Formula

Attributes

Source
QuantifierHelper.scala
def apply(v: FOLVar, formula: FOLFormula): FOLFormula

Attributes

Source
QuantifierHelper.scala
def unapply(e: Expr): Option[(Var, Formula)]

Attributes

Source
QuantifierHelper.scala

Concrete fields

val q: QuantifierC

Attributes

Source
QuantifierHelper.scala
Generated with