gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.grammars/InductionGrammar/Production

Production

gapt.grammars.InductionGrammar.Production
See theProduction companion object
case class Production(lhs: NonTerminalVect, rhs: List[Expr])

Attributes

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

Members list

Value members

Concrete methods

def zipped: List[(Var, Expr)]

Attributes

Source
InductionGrammar.scala

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with