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

first and second example show difficulty for suffient and necessary condiiton

parent a4bd8bd4
...@@ -20,6 +20,14 @@ search_conservations. ...@@ -20,6 +20,14 @@ search_conservations.
test_rate_independence_inputs_sinks. test_rate_independence_inputs_sinks.
prolog('writeln("The model is rate independent: composite loop leakage with and-fork")'). prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
prolog("writeln(' ')").
clear_model.
c+d=>e.
e=>c+f+d.
search_conservations.
test_rate_independence_inputs_sinks.
prolog('writeln("Undecided since no: second loop creates synthesis ")').
prolog("writeln(' ')"). prolog("writeln(' ')").
clear_model. clear_model.
......
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