This commit is contained in:
2026-04-16 10:11:51 +02:00
parent 815772c13b
commit eba4bb204f
+9 -5
View File
@@ -219,15 +219,17 @@ container: VGSC-SOMA-H
#### NaEnterH: Episode
Se metto il controllo sulla (NOT Ready fullness) il VGSC puo' far entrare un numero di Na non superiore ad un massimo.
```Gen
episode: NaEnterH
contained_by: VGSC-H-SOMA
in_context: VDBMax AND NOT Refractory
in_context: VDBMax AND ( NOT RefractoryH )
rf: ( active: 1x )
hypothesis: NOT ( Na fullness )
action: [ Na increase, Ready increase ]
hypothesis: ( NOT Na fullness ) AND ( NOT ReadyH fullness )
action: [ Na increase, ReadyH increase ]
trace: None
```
@@ -239,15 +241,17 @@ Il check su refractory deve essere fatto ad un RF maggiore della eliminazione di
context: CheckRefractoryH
contained_by: VGSC-H-SOMA
in_context: Fixed
in_context: NOT RefractoryH
rf: ( active: 60x )
condition: NOT ( Ready Emptiness )
condition: ( ReadyH fullness )
out_context: RefractoryH
```
##### RefractoryH: Episode
Questo episodio deve girare varie volte nell'ambito del contesto di refractory che viene controllato ad un RF maggiore.
```Gen
episode: RefractoryH
contained_by: VGSC-H-SOMA