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

leastGeneralGeneralization

gapt.grammars.leastGeneralGeneralization
See theleastGeneralGeneralization companion class
object leastGeneralGeneralization extends GeneralLeastGeneralGeneralization

Computes the minimum of two terms in the subsumption lattice, together with the substitutions witnessing the subsumption.

Attributes

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

Members list

Value members

Concrete methods

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

Attributes

Source
lgg.scala

Inherited methods

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

Attributes

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

Attributes

Inherited from:
GeneralLeastGeneralGeneralization
Source
lgg.scala
def apply(as: Expr*): (Expr, Map[Expr, Substitution])

Attributes

Inherited from:
GeneralLeastGeneralGeneralization
Source
lgg.scala
Generated with