Update elements/neuron/presynapse.md
This commit is contained in:
+112
-98
@@ -13,7 +13,6 @@ Qui comprendiamo:
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
PRESYNAPSE
|
PRESYNAPSE
|
||||||
|
|
||||||
type: comprehension
|
type: comprehension
|
||||||
|
|
||||||
expansion:
|
expansion:
|
||||||
@@ -24,21 +23,23 @@ PRESYNAPSE
|
|||||||
intrication:
|
intrication:
|
||||||
|
|
||||||
# Scope
|
# Scope
|
||||||
!DAY: INTRICATION [ ref: &ORGANISM.!DAY]
|
!DAY: INTRICATION [ ref: &ORGANISM.!DAY ]
|
||||||
!NIGHT: INTRICATION [ ref: &ORGANISM.!NIGHT]
|
!NIGHT: INTRICATION [ ref: &ORGANISM.!NIGHT ]
|
||||||
|
|
||||||
# Context
|
# Context
|
||||||
*AP: INTRICATION [ ref: &SOMA.*AP]
|
*AP: INTRICATION [ ref: &SOMA.*AP ]
|
||||||
*TunePossible: INTRICATION [ref: &...] # To be defined...
|
*TunePossible: INTRICATION [ ref: &... ] # To be defined...
|
||||||
|
|
||||||
# Tub
|
# Tub
|
||||||
_NT: INTRICATION [ ref: &ASTROSYNAPSE._NT]
|
_NT: INTRICATION [ ref: &ASTROSYNAPSE._NT ]
|
||||||
_ATP: INTRICATION [ ref: &ASTROCYTE._ATP]
|
_ATP: INTRICATION [ ref: &ASTROCYTE._ATP ]
|
||||||
_eCB: INTRICATION [ ref: &POSTSYNAPSE._eCB]
|
_eCB: INTRICATION [ ref: &POSTSYNAPSE._eCB ]
|
||||||
|
|
||||||
instantiation:
|
instantiation:
|
||||||
|
|
||||||
# Context
|
# Context
|
||||||
|
*TryTunUpPreVcgg: CONTEXT []
|
||||||
|
*TryTunDownPreVcgg: CONTEXT []
|
||||||
|
|
||||||
# Tub
|
# Tub
|
||||||
_Ca2: TUB [ full: 60x, active: 30x, empty: 0x ]
|
_Ca2: TUB [ full: 60x, active: 30x, empty: 0x ]
|
||||||
@@ -68,24 +69,24 @@ MAIN_PRE
|
|||||||
|
|
||||||
snippet:
|
snippet:
|
||||||
# *AP
|
# *AP
|
||||||
@: ACCUMULATOR [snippet: NTreleaseLow, RF: active 12x]
|
@: ACCUMULATOR [ snippet: NTreleaseLow, rf: active 12x ]
|
||||||
@: ACCUMULATOR [snippet: NTreleaseMedium, RF: active 9x]
|
@: ACCUMULATOR [ snippet: NTreleaseMedium, rf: active 9x ]
|
||||||
@: ACCUMULATOR [snippet: NTreleaseHigh, RF: active 6x]
|
@: ACCUMULATOR [ snippet: NTreleaseHigh, rf: active 6x ]
|
||||||
|
|
||||||
@: ACCUMULATOR [snippet: TracesAccLow, RF: active 3x]
|
@: ACCUMULATOR [ snippet: TracesAccLow, rf: active 3x ]
|
||||||
@: ACCUMULATOR [snippet: TracesAccMedium, RF: active 6x]
|
@: ACCUMULATOR [ snippet: TracesAccMedium, rf: active 6x ]
|
||||||
@: ACCUMULATOR [snippet: TracesAccHigh, RF: active 10x]
|
@: ACCUMULATOR [ snippet: TracesAccHigh, rf: active 10x ]
|
||||||
|
|
||||||
# NOT *AP
|
# NOT *AP
|
||||||
@: ACCUMULATOR [snippet: eCBClearenceMedium, RF: active 24x]
|
@: ACCUMULATOR [ snippet: eCBClearenceMedium, rf: active 24x ]
|
||||||
@: ACCUMULATOR [snippet: eCBClearenceLow, RF: active 48x]
|
@: ACCUMULATOR [ snippet: eCBClearenceLow, rf: active 48x ]
|
||||||
|
|
||||||
@: ACCUMULATOR [snippet: RPShuttleLow, RF: active 24x]
|
@: ACCUMULATOR [ snippet: RPShuttleLow, rf: active 24x ]
|
||||||
@: ACCUMULATOR [snippet: RPShuttleMedium, RF: active 48x]
|
@: ACCUMULATOR [ snippet: RPShuttleMedium, rf: active 48x ]
|
||||||
|
|
||||||
@: ACCUMULATOR [snippet: RefillGlutamine, RF: active 24x]
|
@: ACCUMULATOR [ snippet: RefillGlutamine, rf: active 24x ]
|
||||||
|
|
||||||
@: ACCUMULATOR [snippet: TracesClearance, RF: active 30x]
|
@: ACCUMULATOR [ snippet: TracesClearance, rf: active 30x ]
|
||||||
```
|
```
|
||||||
|
|
||||||
**Tubs:**
|
**Tubs:**
|
||||||
@@ -119,11 +120,12 @@ In tutti i casi di NT
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
NTreleaseLow
|
NTreleaseLow
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: _Ca2 mediumness AND _Rrp mediumness AND NOT _ATP empty
|
hypothesis: _Ca2 mediumness AND _Rrp mediumness AND NOT _ATP empty
|
||||||
action: [_Rrp decrease, _NT increase, _ATP decrease]
|
action: [ _Rrp decrease, _NT increase, _ATP decrease ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -131,13 +133,14 @@ NTreleaseLow
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
NTreleaseMedium
|
NTreleaseMedium
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: ( _Ca2 fullness AND _Rrp mediumness ) OR
|
hypothesis: ( _Ca2 fullness AND _Rrp mediumness ) OR
|
||||||
( _Ca2 mediumness AND _Rrp fullness ) AND
|
( _Ca2 mediumness AND _Rrp fullness ) AND
|
||||||
NOT _ATP empty
|
NOT _ATP empty
|
||||||
action: [_Rrp decrease, _NT increase, _ATP decrease]
|
action: [ _Rrp decrease, _NT increase, _ATP decrease ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -145,12 +148,13 @@ NTreleaseMedium
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
NTreleaseHigh
|
NTreleaseHigh
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: ( _Ca2 fullness AND _Rrp fullness ) AND
|
hypothesis: _Ca2 fullness AND _Rrp fullness AND
|
||||||
NOT _ATP empty
|
NOT _ATP empty
|
||||||
action: [_Rrp decrease, NT increase, _ATP decrease]
|
action: [ _Rrp decrease, NT increase, _ATP decrease ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -168,8 +172,9 @@ Serve a:
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
Ca2TracesAccuLow
|
Ca2TracesAccuLow
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: _Ca2 emptiness
|
hypothesis: _Ca2 emptiness
|
||||||
action: [ _CaTraceLow increase ]
|
action: [ _CaTraceLow increase ]
|
||||||
@@ -180,8 +185,9 @@ Ca2TracesAccuLow
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
Ca2TracesAccMedium
|
Ca2TracesAccMedium
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: _Ca2 mediumness
|
hypothesis: _Ca2 mediumness
|
||||||
action: [ _CaTraceMed increase ]
|
action: [ _CaTraceMed increase ]
|
||||||
@@ -192,8 +198,9 @@ Ca2TracesAccMedium
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
Ca2TracesAccumulationHigh
|
Ca2TracesAccumulationHigh
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: _Ca2 fullness
|
hypothesis: _Ca2 fullness
|
||||||
action: [ _CaTraceHigh increase ]
|
action: [ _CaTraceHigh increase ]
|
||||||
@@ -210,8 +217,9 @@ Qui non facciamo un flush di eCB, riduciamo ogni mezzo secondo (context) di un R
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
eCBClearance: ( active: 24x ) # Slow
|
eCBClearance: ( active: 24x ) # Slow
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: NOT *AP
|
in_context: NOT *AP
|
||||||
|
|
||||||
hypothesis: NOT _eCB empty
|
hypothesis: NOT _eCB empty
|
||||||
action: [ _eCB decrease ]
|
action: [ _eCB decrease ]
|
||||||
@@ -228,13 +236,14 @@ Rate: 0.00 – 0.25
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
RPShuttleLow
|
RPShuttleLow
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: NOT *AP
|
in_context: NOT *AP
|
||||||
|
|
||||||
hypothesis: _CaTraceLow fullness OR
|
hypothesis: _CaTraceLow fullness OR
|
||||||
_RP emptiness OR
|
_RP emptiness OR
|
||||||
_Rrp fullness
|
_Rrp fullness
|
||||||
action: [RP decrease, _Rrp increase]
|
action: [ _RP decrease, _Rrp increase ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -246,14 +255,15 @@ Rate: 0.50 – 0.97
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
RPShuttleMedium
|
RPShuttleMedium
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: ( _CaTraceMedium fullness AND _RP mediumness AND _Rrp mediumness ) OR
|
hypothesis: ( _CaTraceMedium fullness AND _RP mediumness AND _Rrp mediumness ) OR
|
||||||
( _CaTraceHigh fullness AND _RP mediumness AND _Rrp mediumness ) OR # signal boost
|
( _CaTraceHigh fullness AND _RP mediumness AND _Rrp mediumness ) OR # signal boost
|
||||||
( _CaTraceMedium fullness AND _RP fullness AND _Rrp mediumness ) OR # supply boost
|
( _CaTraceMedium fullness AND _RP fullness AND _Rrp mediumness ) OR # supply boost
|
||||||
( _CaTraceMedium fullness AND _RP mediumness AND _Rrp emptiness ) # vacancy boost
|
( _CaTraceMedium fullness AND _RP mediumness AND _Rrp emptiness ) # vacancy boost
|
||||||
action: [RP decrease, _Rrp increase]
|
action: [ _RP decrease, _Rrp increase ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -265,13 +275,14 @@ Rate: 1.25 – 1.94
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
RPShuttleHigh
|
RPShuttleHigh
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: ( _CaTraceHigh fullness AND _RP fullness AND _Rrp mediumness ) OR # signal + supply
|
hypothesis: ( _CaTraceHigh fullness AND _RP fullness AND _Rrp mediumness ) OR # signal + supply
|
||||||
( _CaTraceHigh fullness AND _RP mediumness AND _Rrp emptiness ) OR # signal + vacancy
|
( _CaTraceHigh fullness AND _RP mediumness AND _Rrp emptiness ) OR # signal + vacancy
|
||||||
( _CaTraceMedium fullness AND _RP fullness AND _Rrp emptiness ) # supply + vacancy
|
( _CaTraceMedium fullness AND _RP fullness AND _Rrp emptiness ) # supply + vacancy
|
||||||
action: [ _RP decrease, _Rrp increase]
|
action: [ _RP decrease, _Rrp increase ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -311,8 +322,9 @@ Qui facciamo un flush di CaTraceX. Deve essere fatto a valle del tuning.
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
Ca2TracesClearance
|
Ca2TracesClearance
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: NOT *TunePossible
|
in_context: NOT *TunePossible
|
||||||
|
|
||||||
hypothesis: NOT _CaTraceHigh empty
|
hypothesis: NOT _CaTraceHigh empty
|
||||||
action: [ _CaTRaceHigh decrease ]
|
action: [ _CaTRaceHigh decrease ]
|
||||||
@@ -333,32 +345,21 @@ Ca2TracesClearance
|
|||||||
|
|
||||||
TUNE_VGCC_PRE
|
TUNE_VGCC_PRE
|
||||||
type: behaviour
|
type: behaviour
|
||||||
|
|
||||||
# qui stiamo aggiungendo o eliminando VGCC_PRE. Fra un massimo full e minimo empty (empty puo' non essere 0)
|
# qui stiamo aggiungendo o eliminando VGCC_PRE. Fra un massimo full e minimo empty (empty puo' non essere 0)
|
||||||
# contained_by: PRESYNAPSE non e' contenuto, si attacca.
|
# contained_by: PRESYNAPSE non e' contenuto, si attacca.
|
||||||
|
|
||||||
activity_scope: !DAY
|
activity_scope: !DAY
|
||||||
|
|
||||||
context_intricated:
|
|
||||||
- *TunePossible ( contained_by: DAY-N )
|
|
||||||
|
|
||||||
tub_passed:
|
|
||||||
_VgccPre: TUB [pass.@VGCC_PRE]
|
|
||||||
|
|
||||||
tub_local:
|
|
||||||
|
|
||||||
tub_intricated:
|
|
||||||
|
|
||||||
snippet:
|
snippet:
|
||||||
|
|
||||||
# *TunePossible
|
# *TunePossible
|
||||||
CheckVgccPreTun: CONTEXTOR [RF: active 60x]
|
@: CONTEXTOR [ snippet: CheckVgccPreTun, rf: active 60x ]
|
||||||
|
|
||||||
*TryTunUpPreVcgg
|
# *TryTunUpPreVcgg
|
||||||
PossibleUpPreVgccTun: ACCUMULATOR [RF:active 10x]
|
@: ACCUMULATOR [ snippet: PossibleUpPreVgccTun, rf:active 10x ]
|
||||||
|
|
||||||
*TryTunDownPreVcgg
|
# *TryTunDownPreVcgg
|
||||||
PossibleDownPreVgccTun: ACCUMULATOR [RF:active 10x]
|
@: ACCUMULATOR [ snippet: PossibleDownPreVgccTun, rf:active 10x ]
|
||||||
```
|
```
|
||||||
|
|
||||||
#### *TunePossible
|
#### *TunePossible
|
||||||
@@ -369,13 +370,14 @@ Qui controlliamo che ci siano le condizioni per aumentare o diminuire la quantit
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
CheckVgccPreTun
|
CheckVgccPreTun
|
||||||
|
type contextor
|
||||||
|
|
||||||
|
in_context: *TunePossible
|
||||||
|
|
||||||
in_context: *TunePossible
|
condition: _CaTraceHigh fullness
|
||||||
|
|
||||||
condition: ( CaTraceHigh fullness )
|
|
||||||
out_context: *TryTunUpPreVcgg
|
out_context: *TryTunUpPreVcgg
|
||||||
|
|
||||||
condition: ( CaTraceLow fullness )
|
condition: _CaTraceLow fullness
|
||||||
out_context: *TryTunDownPreVcgg
|
out_context: *TryTunDownPreVcgg
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -383,8 +385,9 @@ CheckVgccPreTun
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
PossibleUpPreVgccTun
|
PossibleUpPreVgccTun
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: TryTunUpPreVcgg_ctx
|
in_context: *TryTunUpPreVcgg
|
||||||
|
|
||||||
hypothesis:
|
hypothesis:
|
||||||
action:
|
action:
|
||||||
@@ -395,8 +398,9 @@ PossibleUpPreVgccTun
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
PossibleDownPreVgccTun
|
PossibleDownPreVgccTun
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: TryTunDownPreVcgg_ctx
|
in_context: *TryTunDownPreVcgg
|
||||||
|
|
||||||
hypothesis:
|
hypothesis:
|
||||||
action:
|
action:
|
||||||
@@ -409,10 +413,21 @@ Voltage-Controlled Gated Channels: Qui per ora non gestiamo l'evoluzione della d
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
VGCC-PRE
|
VGCC-PRE
|
||||||
type: comprehension
|
type: comprehension
|
||||||
|
|
||||||
instantiate_behaviour:
|
# Scope
|
||||||
BEHAVIOR_VGCC_PRE: behaviour []
|
!DAY: INTRICATION [ ref: &ORGANISM.!DAY ]
|
||||||
|
!NIGHT: INTRICATION [ ref: &ORGANISM.!NIGHT ]
|
||||||
|
|
||||||
|
# Context
|
||||||
|
*AP: INTRICATION [ ref: &SOMA.*AP ]
|
||||||
|
|
||||||
|
# Tub
|
||||||
|
_NT: INTRICATION [ ref: &ASTROSYNAPSE._NT ]
|
||||||
|
_Ca2: INTRICATION [ ref: &PRESYNAPSE._Ca2 ]
|
||||||
|
|
||||||
|
# Behaviour
|
||||||
|
@: BEHAVIOUR [ behaviour: VGCC_PRE_BEH ]
|
||||||
```
|
```
|
||||||
|
|
||||||
### BEHAVIOR_VGCC_PRE
|
### BEHAVIOR_VGCC_PRE
|
||||||
@@ -420,26 +435,20 @@ instantiate_behaviour:
|
|||||||
Voltage-Controlled Gated Channels: Qui per ora non gestiamo l'evoluzione della depolarizzazione. Alla scomparsa dell'AP, i VGCC smettono di funzionare.
|
Voltage-Controlled Gated Channels: Qui per ora non gestiamo l'evoluzione della depolarizzazione. Alla scomparsa dell'AP, i VGCC smettono di funzionare.
|
||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
BEHAVIOR_VGCC_PRE
|
VGCC_PRE_BEH
|
||||||
|
|
||||||
activity_scope: !DAY
|
|
||||||
type: behaviour
|
type: behaviour
|
||||||
|
|
||||||
tub_intricated:
|
within_scope: !DAY
|
||||||
- _Ca2 ( contained_by: PRESYNAPSE-BHE )
|
|
||||||
- NT ( contained_by: SYN )
|
|
||||||
|
|
||||||
context_intricated:
|
|
||||||
- AP ( contained_by: SOMA )
|
|
||||||
|
|
||||||
snippets:
|
snippets:
|
||||||
|
# *AP
|
||||||
|
@: ACCUMULATOR [ snippet: Ca2enterLow, rf: active 12x ]
|
||||||
|
@: ACCUMULATOR [ snippet: Ca2enterMedium, rf: active 6x ]
|
||||||
|
@: ACCUMULATOR [ snippet: Ca2enterHigh, rf: active 3x ]
|
||||||
|
|
||||||
Ca2enterLow: ACCUMULATOR [RF: active 12x]
|
# NOT *AP
|
||||||
Ca2enterMedium: ACCUMULATOR [RF: active 6x]
|
@: ACCUMULATOR [ snippet: Ca2ClearanceLow, rf: active 24x ]
|
||||||
Ca2enterHigh: ACCUMULATOR [RF: active 3x]
|
@: ACCUMULATOR [ snippet: Ca2ClearanceHigh, rf: active 4x ]
|
||||||
|
|
||||||
Ca2ClearanceLow: ACCUMULATOR [RF: active 24x]
|
|
||||||
Ca2ClearanceHigh: ACCUMULATOR [RF: active 4x]
|
|
||||||
|
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -469,11 +478,12 @@ Devo controllare che le condizioni sotto siano esaustive. Qui ho confuso high co
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
Ca2enterLow
|
Ca2enterLow
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: (_Ca2 empty) AND (eCB empty)
|
hypothesis: _Ca2 empty AND _eCB empty
|
||||||
action: [_Ca2 increase, _ATP decrease]
|
action: [ _Ca2 increase, _ATP decrease ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -481,13 +491,14 @@ Ca2enterLow
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
Ca2enterMedium
|
Ca2enterMedium
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: (_Ca2 mediumness) OR
|
hypothesis: _Ca2 mediumness OR
|
||||||
((eCB mediumness) AND (_Ca2 empty)) OR
|
( _eCB mediumness AND _Ca2 empty ) OR
|
||||||
((eCB full) AND (_Ca2 empty) AND (NT empty))
|
( _eCB full AND _Ca2 empty AND _NT empty )
|
||||||
action: [_Ca2 increase, _ATP decrease]
|
action: [ _Ca2 increase, _ATP decrease ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -495,12 +506,13 @@ Ca2enterMedium
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
Ca2enterHigh
|
Ca2enterHigh
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: *AP
|
in_context: *AP
|
||||||
|
|
||||||
hypothesis: (_Ca2 mediumness) AND (eCB full) OR
|
hypothesis: ( _Ca2 mediumness AND _eCB full ) OR
|
||||||
(eCB mediumness)
|
_eCB mediumness
|
||||||
action: [_Ca2 increase, _ATP decrease]
|
action: [ _Ca2 increase, _ATP decrease ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -524,11 +536,12 @@ Qui disinguiamo:
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
Ca2ClearanceLow
|
Ca2ClearanceLow
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: NOT *AP
|
in_context: NOT *AP
|
||||||
|
|
||||||
hypothesis: (NOT _Ca2 fullness) AND (NOT _Ca2 empty)
|
hypothesis: NOT _Ca2 fullness AND NOT _Ca2 empty
|
||||||
action: [_Ca2 decrease]
|
action: [ _Ca2 decrease ]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|
||||||
@@ -536,10 +549,11 @@ Ca2ClearanceLow
|
|||||||
|
|
||||||
```Gen
|
```Gen
|
||||||
Ca2ClearanceHigh
|
Ca2ClearanceHigh
|
||||||
|
type: accumulator
|
||||||
|
|
||||||
in_context: NOT *AP
|
in_context: NOT *AP
|
||||||
|
|
||||||
hypothesis: NOT (Ca2 empty)
|
hypothesis: NOT _Ca2 empty
|
||||||
action: [Ca2 decrease]
|
action: [Ca2 decrease]
|
||||||
trace: None
|
trace: None
|
||||||
```
|
```
|
||||||
|
|||||||
Reference in New Issue
Block a user