Commit 100192ed authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

francois pattern, with additional constraint to avoid 2 for nothing or reverse

parent 5a33c527
......@@ -175,6 +175,14 @@ find_rule(R) :-
;
M1 @=< M2
),
(
% both '_'
M1 = M2
->
M3 = '_'
;
true
),
member(M3, AllMolecules),
member(M4, AllMolecules),
memberchk('_', [M1, M2, M3, M4]),
......@@ -186,6 +194,14 @@ find_rule(R) :-
M3 @=< M4
),
(M1, M2) \= (M3, M4),
(
% both '_'
M3 = M4
->
M1 = '_'
;
true
),
write(find_rule(M1, M2, M3, M4)),nl,
reaction_editor:simplify_reaction('=>'(M1 + M2, M3 + M4), R),
\+ item([kind: reaction, item: R]).
......
......@@ -21,7 +21,7 @@ test(
'revise_model rule addition for ECTL',
[
setup(clear_model),
all(Reactions = [['_' => b], ['_' =[a]=> b], [a => b]])
all(Reactions = [['_' => b], [a => b], ['_' =[a]=> b]])
% condition(flag(slow_test, true, true)),
]
) :-
......
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