list_stable_states plante avec les fonctions ?
biocham: list_model.
MA(1) for _=>T.
MA(l*X) for _=>Y.
MA(l) for Y=>_.
MA(k*l*X) for _=>Z_p.
MA(k*l) for Y=>Y+Z_m.
MA(k) for Z_p=>_.
MA(k) for Z_m=>_.
MA(fast) for Z_m+Z_p=>_.
absent(T).
absent(Y).
absent(Z_m).
absent(Z_p).
parameter(
l = 1,
k = 1,
fast = 100000.0
).
function(
X = cos(T)
).
biocham: list_stable_states.
biocham: generate_ctl.
reachable(stable(T))
reachable(steady(Y))
reachable(steady(Z_m))
reachable(steady(Z_p))
checkpoint2(Y,Z_m)
oscil(Y)
oscil(Z_m)
oscil(Z_p)
biocham: list_molecules.
[0] T
[1] Y
[2] Z_m
[3] Z_p
Pas de problem s'il n'y a pas de fonction il trouve bien l'ensemble vide par exemple comme état stable