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

Pi2Grammar

gapt.grammars.Pi2Grammar
See thePi2Grammar companion object
class Pi2Grammar(preGrammar: Pi2PreGrammar) extends Pi2PreGrammar

Attributes

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

Members list

Value members

Inherited methods

def language: Set[Expr]

Attributes

Inherited from:
Pi2PreGrammar
Source
pi2.scala
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def size: Int

Attributes

Inherited from:
Pi2PreGrammar
Source
pi2.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
Pi2PreGrammar -> Any
Inherited from:
Pi2PreGrammar
Source
pi2.scala
def tratg: VTRATG

Attributes

Inherited from:
Pi2PreGrammar
Source
pi2.scala

Inherited fields

val nonTerminals: Vector[Var]

Attributes

Inherited from:
Pi2PreGrammar
Source
pi2.scala
Generated with