12345678910111213141516171819202122232425262728293031323334353637383940414243 |
- semantic adaptation reactive mealy GetSetStateSA getSetStateSA
- at "./path/to/GetSetStateSA.fmu"
- for inner fmu GetSetState getSetState
- at "test_input/single_folder_spec/getsetstate/GetSetState.fmu"
- with input ports valve
- with output ports level
- input ports valve
- output ports level
- control rules {
- save_state(getSetState);
- var H_getSetState := do_step(getSetState, t, H);
- if(t < 1.0 and t > 0.5)
- {
- rollback(getSetState);
- }
- return H_getSetState;
- }
- in var stored_getsetstatesa_valve := false;
- in rules {
- true -> {
- stored_getsetstatesa_valve := getSetStateSA.valve;
- } --> {
- getSetState.valve := stored_getsetstatesa_valve;
- };
- }
- out var stored_getsetstatesa_level := 1.0;
- out rules {
- true -> {
- stored_getsetstatesa_level := getSetState.level;
- } --> {
- getSetStateSA.level := stored_getsetstatesa_level;
- };
-
- }
|