in scala/util/grammar
class TreeHedgeGrammar

abstract class TreeHedgeGrammar[A <: Alphabet]()
extends Object
with ScalaObject
Implementing classes or objects:
class ImmutableTreeHedgeGrammar[A <: Alphabet]()
class MutableTreeHedgeGrammar[A <: Alphabet]()

a mutable representation of hedge grammars. A hedge grammar over an alphabet consists of tree and hedge nonterminals (consecutive integers), and tree and hedge productions that relate them. Hedge nonterminals that can derive the empty hedge are called "nullable". initials tree or hedge nonterminals.

Method Summary
abstract def hedgeInitials: BitSet
     inv: hedgeInitials.size == nHedgeNT
abstract def hedgeTransitions: (Int) => Set[HedgeRHS]
abstract def isNullable: BitSet
     inv: isNullable.size == nHedgeNT
abstract def nHedgeNT: Int
     number of hedge nonterminals
abstract def nTreeNT: Int
     number of tree nonterminals
abstract def treeInitials: BitSet
     inv: treeInitials.size == nTreeNT
abstract def treeTransitions: (Int) => Set[TreeRHS]

Methods inherited from java/lang/Object-class
clone, eq, equals, finalize, getClass, hashCode, notify, notifyAll, synchronized, toString, wait, wait, wait

Methods inherited from scala/Any-class
!=, ==, asInstanceOf, isInstanceOf, match

Method Detail

nTreeNT

  abstract def nTreeNT: Int
number of tree nonterminals

nHedgeNT

  abstract def nHedgeNT: Int
number of hedge nonterminals

treeInitials

  abstract def treeInitials: BitSet
inv: treeInitials.size == nTreeNT

hedgeInitials

  abstract def hedgeInitials: BitSet
inv: hedgeInitials.size == nHedgeNT

isNullable

  abstract def isNullable: BitSet
inv: isNullable.size == nHedgeNT

treeTransitions

  abstract def treeTransitions: (Int) => Set[TreeRHS]

hedgeTransitions

  abstract def hedgeTransitions: (Int) => Set[HedgeRHS]