|
CNF | |||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||
java.lang.Object
|
+--grammar.Grammar
|
+--grammar.GrammarContextfree
|
+--grammar.GrammarNoEps
|
+--grammar.GrammarNoChain
Grammatik ohne Ketten-Regeln, dass heisst ohne Regeln der Form m -> m' mit m' aus M.
| Fields inherited from class grammar.Grammar |
A, M, R, S |
| Constructor Summary | |
GrammarNoChain()
|
|
| 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 |
public GrammarNoChain()
| Method Detail |
public boolean canMake()
GrammarcanMake in class GrammarNoEpspublic Grammar make(Run run)
GrammarContextfreemake in class GrammarNoEpspublic boolean ok()
Grammarok in class GrammarNoEpspublic java.lang.String type()
Grammartype in class GrammarNoEps
|
CNF | |||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||