Commit ed4ed600 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

added example

parent 6934fef2
......@@ -430,6 +430,15 @@ check_ctl(Query) :-
check_ctl(Query, Result),
format('~w is ~w\n', [Query, Result]).
:- doc('\\begin{example}\n').
:- biocham_silent(clear_model).
:- biocham(present(a)).
:- biocham(absent(b)).
:- biocham(a => b).
:- biocham(a + b => a).
:- biocham(check_ctl('EX'(not(a) \/ 'EG'(not(b))))).
:- biocham(check_ctl('EX'(not(a) \/ 'EG'(not(b) /\ '_valid')))).
:- doc('\\end{example}').
check_ctl(Query, Result) :-
translate_ctl_for_nusmv(Query, Nusmv),
......
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