Commit 0f10e7ba authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain


parent 0c73e3d2
......@@ -74,6 +74,8 @@ revise_model([], [], [A | ACTL], Et, Ut, At) :-
% FIXME check At too since self-loops can be added by removing a reaction
append([A | Ut], Et, AllSpec),
% FIXME the published algorithm actually allows to not re-check, but
% simply split and add again to the formulae to be verified
recheck_spec(AllSpec, Init, Bool)
revise_model([], [], ACTL, Et, Ut, [A | At]).
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment