- AppAffOcc
void AppAffOcc(int Params)
Undocumented in source. Be warned that the author may not have intended to support it.
- AppEmptyRule
void AppEmptyRule(size_t leftSym, EAG.Rule EAGRule)
Undocumented in source. Be warned that the author may not have intended to support it.
- AppLeftSymOcc
void AppLeftSymOcc(size_t leftSym, int Params)
Undocumented in source. Be warned that the author may not have intended to support it.
- AppRepRule
void AppRepRule(EAG.Alt EAGAlt)
Undocumented in source. Be warned that the author may not have intended to support it.
- AppRule
void AppRule(EAG.Alt EAGAlt)
Undocumented in source. Be warned that the author may not have intended to support it.
- AppSymOccs
void AppSymOccs(EAG.Factor Factor)
Undocumented in source. Be warned that the author may not have intended to support it.
- AppVS
void AppVS(Instruction I)
IN: Instruktion
OUT: -
SEM: fügt eine Instruktion in die Datenstruktur VS ein
- Error
void Error(int ErrorType, T Proc)
Undocumented in source. Be warned that the author may not have intended to support it.
- Expand
void Expand()
Undocumented in source. Be warned that the author may not have intended to support it.
- Init
void Init()
SEM: Initialisierung der SOAG-Datenstruktur; Transformation der EAG-Datenstruktur
- IsEvaluatorRule
bool IsEvaluatorRule(size_t R)
IN: Regel
OUT: boolscher Wert
SEM: Test, ob eine Evaluatorregel vorliegt
PRECOND: Predicates.Check muss vorher ausgewertet sein
- IsInherited
bool IsInherited(int S, int AffOccNum)
IN: Symbol, Nummer des Affixposition
OUT: boolscher Wert
SEM: Test, ob Affixposition inherited ist
- IsOrientable
bool IsOrientable(int S, int AffOccNum1, int AffOccNum2)
IN: Symbol, Nummern zweier Affixpositionen zum Symbol
OUT: boolscher Wert
SEM: Test, ob die beiden Affixpositionen orientierbar sind
- IsPredNont
bool IsPredNont(int SO)
IN: Symbolvorkommen
OUT: boolscher Wert
SEM: Test, ob ein Prädikat vorliegt
PRECOND: Predicates.Check muss vorher ausgewertet sein
- IsSynthesized
bool IsSynthesized(size_t S, int AffOccNum)
IN: Symbol, Nummer des Affixposition
OUT: boolscher Wert
SEM: Test, ob Affixposition synthesized ist
- isEqual
bool isEqual(Instruction I1, Instruction I2)
IN: zwei Instruktionen aus der Visit-Sequenz
OUT: boolscher Wert
SEM: Test, ob zwei Instruktionnen gleich sind;
etwas optimiert für den Fall, dass einer oder beide Parameter nil ist