gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.expr/gapt.expr.util/boundVariables

boundVariables

gapt.expr.util.boundVariables
object boundVariables

Returns the set of all bound variables occurring in the given argument.

Attributes

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

Members list

Value members

Concrete methods

def apply(e: Expr): Set[Var]

Attributes

Source
utils.scala
def apply(t: FOLExpression): Set[FOLVar]

Attributes

Source
utils.scala
def apply(s: HOLSequent): Set[Var]

Attributes

Source
utils.scala
def apply(s: Sequent[FOLFormula])(implicit dummyImplicit: DummyImplicit, dummyImplicit2: DummyImplicit): Set[FOLVar]

Attributes

Source
utils.scala
def apply[Fml <: Expr, Proof <: SequentProof[Fml, LazyRef(...)]](p: SequentProof[Fml, Proof]): Set[Var]

Attributes

Source
utils.scala
Generated with