Commit 79d553f6 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

Outputs are persistent too…

parent f8d5248d
......@@ -535,7 +535,11 @@ is_covered_by_p_invariant_with_single_surinv(Species, Output, P) :-
% the support of a P-invariant)
is_persistent(Species) :-
siphon(S), % union of all emptyable siphons
\+ member(Species, S).
\+ member(Species, S),
!.
is_persistent(Species) :-
output(Species).
%! iterate_on_parents(+Species, +GraphId) is det.
......
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