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

subsetLGGs

gapt.grammars.subsetLGGs
object subsetLGGs

Attributes

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

Members list

Value members

Concrete methods

def apply(terms: Iterable[Expr], maxSize: Int): Set[Expr]

Attributes

Source
grammarFinding.scala
Generated with