Commit a4bd8bd4 authored by FAGES Francois's avatar FAGES Francois
Browse files

comment

parent e38e4a33
......@@ -16,7 +16,7 @@ prolog("writeln(' ')").
clear_model.
c+d=>e.
e=>c+f.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
......@@ -27,7 +27,7 @@ a+b=>c+d.
c+d=>a+b.
c+d=>e.
e=>c+f.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
......@@ -46,7 +46,7 @@ clear_model.
c+d=>e.
e=>c.
e=>f.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
......@@ -58,7 +58,7 @@ a+b=>c+d.
c+d=>e.
e=>c.
e=>f.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: partial loop leakage with or-fork")').
......@@ -69,7 +69,7 @@ c+d=>a+b.
c+d=>e.
e=>c.
e=>f.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: partial loop leakage with or-fork")').
......@@ -80,7 +80,7 @@ MA(1) for A=>B.
MA(2) for B=>C.
MA(5) for B=>D.
MA(6) for D=>B.
search_conservations.
test_rate_independence_inputs_sinks. % no
prolog('writeln("The model is rate independent: trivial loop leakage")').
......@@ -89,7 +89,7 @@ prolog("writeln(' ')").
clear_model.
MA(k1) for a+b => b.
MA(k2) for b+c=>d.
search_conservations.
test_rate_independence({b,c}, {d}). % no
prolog('writeln("The model is rate independent: without input a")').
......@@ -100,7 +100,7 @@ c+d=>a+b.
c+d=>e.
e=>c+d.
e=>f+g.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: composite double loop leakage with composite or-fork")').
......@@ -110,7 +110,7 @@ a+b=>c+d.
c+d=>a+b.
c+d=>e.
e=>c+d+f.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: DIV double loop (not by single loop)")').
......@@ -123,7 +123,7 @@ MA(k1) for a => b.
MA(k2) for b => a.
MA(k3) for b => c.
MA(k4) for c => b.
search_conservations.
test_rate_independence(input, c). % no
prolog('writeln("Undecided since no: output in loop equilibrium")').
......@@ -137,6 +137,7 @@ d=>a.
a=>b.
b=>2*d.
a=>c.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: DIV")').
......@@ -147,6 +148,7 @@ a=>c.
a=>b.
b=>2*d.
d=>a.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: DIV ")').
......@@ -155,7 +157,7 @@ prolog("writeln(' ')").
clear_model.
a=>b.
b=> a+c.
list_model.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: DIV ")').
......@@ -165,7 +167,7 @@ clear_model.
a=>b.
b=> a+c.
d=> a.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: DIV ")').
......@@ -176,7 +178,7 @@ clear_model.
a=>c.
a=>b.
b=>2*a.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: DIV ")').
......@@ -187,7 +189,7 @@ a=>c.
a=>b.
b=>2*d.
d=>a.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: DIV ")').
......@@ -199,7 +201,7 @@ a => x+c.
b => y+c.
x+y => z.
c+z => r.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: MAX = sum-min")').
......@@ -210,7 +212,7 @@ clear_model.
2*a => a+b.
a+b => 2*a.
a+b => 2*b.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: subtle multiple steady states ")').
......@@ -219,7 +221,7 @@ prolog("writeln(' ')").
clear_model.
MA(k1) for a+b => b.
MA(k2) for b+c=>d.
search_conservations.
test_rate_independence_inputs_sinks. % no
prolog('writeln("The model is rate independent: output d")').
......@@ -230,7 +232,7 @@ clear_model.
a+b=>c+d.
c+d=>a+b.
c+d=>e.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: composite loop leakage with or-fork")').
......@@ -241,7 +243,7 @@ clear_model.
a => b.
b => c.
c => b + d.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: DIV")').
......@@ -252,7 +254,7 @@ input=>a.
a => b.
b => c.
c => a + d.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: DIV")').
......@@ -264,7 +266,7 @@ b => c.
b => d.
c => a.
c => e.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: loop double leakage with or-forks")').
......@@ -275,7 +277,7 @@ clear_model.
a => b.
b => c+d.
c => a+e.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: loop double leakage with and-fork")').
......@@ -286,7 +288,7 @@ a => b.
b => c+d.
c => a.
c => e.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: loop double leakage with and-or-fork")').
......@@ -296,7 +298,7 @@ clear_model.
a => b.
b => a.
b => c.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: short loop leakage with or-fork")').
......@@ -307,7 +309,7 @@ a => b.
b => c.
c => a.
c => d.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: loop leakage with or-fork")').
......@@ -320,7 +322,7 @@ clear_model.
a=>b+c.
b=>d.
c=>d.
search_conservations.
test_rate_independence_inputs_sinks. % yes
prolog('writeln("The model is rate independent: closing and-fork with or-join")').
......@@ -330,7 +332,7 @@ prolog("writeln(' ')").
clear_model.
a=>b+c.
b+c=>d.
search_conservations.
test_rate_independence_inputs_sinks. % yes
prolog('writeln("The model is rate independent: closing and-fork with and-join")').
......@@ -341,7 +343,7 @@ a=>b.
a=>c.
b=>d.
c=>d.
search_conservations.
test_rate_independence_inputs_sinks. % yes
prolog('writeln("The model is rate independent: closing or-fork with or-join")').
......@@ -351,7 +353,7 @@ clear_model.
a=>b.
a=>c.
b+c=>d.
search_conservations.
test_rate_independence_inputs_sinks. % yes
prolog('writeln("Undecided since no: closing or-fork with and-join")').
......@@ -360,7 +362,7 @@ prolog("writeln(' ')").
clear_model.
MA(k1) for A => B.
MA(k2) for A + B => C.
search_conservations.
test_rate_independence_inputs_sinks. % no
prolog('writeln("Undecided since no: closing or-fork with and-join")').
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment