Diss.-ETH 12317 Diss.-ETH 12317 Diss.-ETH 12317 Diss.-E Eine ...

104 KAPITEL 5. DOMÄNEN-ARCHITEKTUR
break;
case PUQMode :
...
default:
break;
}
return limiteIstVerletzt;
}
Der folgende Code ist die erzeugte Methode SwitchState() des PU-
Generators. SwitchState() wird von der Methode Limiter() aufgerufen.
SwitchState() bringt das Ntor von einem Zustand σ in seinen Nachfolge-
zustand σi und installiert das neue Verhalten
BN σi (Vσi ,Pσi ,E σi
,Tσi ). Pro spezifiziertem Zustand σ des Ntors wird aus
Spezifikationsdaten der Variablen StateChanges eine Fallunterscheidung
generiert.
void PUGen :: SwitchState(double new_value)
{
int i;
Variable* rv;
Variable* pop_rv;
Parameter* rp;
Parameter* pop_rp;
switch (state) {
case PUMode :
// Entfernen von unbenutzten Variablen
rv = GetVar(" Q1 ");
for (i=0; i