gapt
2.19.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.grammars/RecursionScheme

RecursionScheme

gapt.grammars.RecursionScheme
See theRecursionScheme companion object
case class RecursionScheme(startSymbol: Const, nonTerminals: Set[Const], rules: Set[Rule])

Attributes

Companion
object
Source
recursionSchemes.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def generatedTerms(from: Expr): Set[Expr]

Attributes

Source
recursionSchemes.scala
def language: Set[Expr]

Attributes

Source
recursionSchemes.scala
def parametricLanguage(params: Expr*): Set[Expr]

Attributes

Source
recursionSchemes.scala
def rulesFrom(nonTerminal: Const): Set[Rule]

Attributes

Source
recursionSchemes.scala
def terminals: Set[Const]

Attributes

Source
recursionSchemes.scala
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any
Source
recursionSchemes.scala

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with