grammar
Class GrammarReachable

java.lang.Object
  |
  +--grammar.Grammar
        |
        +--grammar.GrammarContextfree
              |
              +--grammar.GrammarReachable

All Implemented Interfaces:

java.lang.Cloneable

public final class GrammarReachable

extends GrammarContextfree

Erreichbare Grammatik, also eine Grammatik, bei der alle Terminale erreichbar sind.

Quelltext

Fields inherited from class grammar.Grammar

A, M, R, S

Constructor Summary

GrammarReachable()

Method Summary

boolean	canMake() Ermittelt, ob der Algorithmus zur Herstellung des gewünschten Typs angewendet werden kann.
Grammar	make(Run run) Erzeugt die nachfolgende Grammatik und stellt die Zwischenschritte mit Hilfe der step-Routine des arbeitenden Threads im Userinterface dar.
boolean	ok() Ermittelt, ob die Grammatik den gewünschten Typ hat.
java.lang.String	type() Eine textuelle Repräsentation des (speziellen) Typs der Grammatik.

Methods inherited from class grammar.Grammar

A, addDiff, addDiff, addToR, addToR, addToR, addToR, clone, cloneTo, compact, delFromR, delFromR, delFromR, delFromR, delFromRwith, equals, M, makeNewMetaFrom, R, S, setR, shortenM, toString

Methods inherited from class java.lang.Object

finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GrammarReachable

public GrammarReachable()

Method Detail

canMake

public boolean canMake()

Description copied from class: Grammar

Ermittelt, ob der Algorithmus zur Herstellung des gewünschten Typs angewendet werden kann.

Overrides:

canMake in class GrammarContextfree

make

public Grammar make(Run run)

Description copied from class: GrammarContextfree

Erzeugt die nachfolgende Grammatik und stellt die Zwischenschritte mit Hilfe der step-Routine des arbeitenden Threads im Userinterface dar.

Overrides:

make in class GrammarContextfree

ok

public boolean ok()

Description copied from class: Grammar

Ermittelt, ob die Grammatik den gewünschten Typ hat.

Overrides:

ok in class GrammarContextfree

type

public java.lang.String type()

Description copied from class: Grammar

Eine textuelle Repräsentation des (speziellen) Typs der Grammatik.

Overrides:

type in class GrammarContextfree