gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.grammars/GeneralLeastGeneralGeneralization

GeneralLeastGeneralGeneralization

gapt.grammars.GeneralLeastGeneralGeneralization
abstract class GeneralLeastGeneralGeneralization

Attributes

Source
lgg.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Value members

Abstract methods

def fast(a: Expr, b: Expr): (Expr, Map[Var, Expr], Map[Var, Expr])

Attributes

Source
lgg.scala

Concrete methods

def apply(as: Expr*): (Expr, Map[Expr, Substitution])

Attributes

Source
lgg.scala
def apply(as: Iterable[Expr]): (Expr, Map[Expr, Substitution])

Attributes

Source
lgg.scala
def apply(as: List[Expr]): (Expr, Map[Expr, Substitution])

Attributes

Source
lgg.scala
Generated with