Commit 1539a230 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

initial version, does not revise much

parent 1fbf0b56
......@@ -11,7 +11,9 @@
boolean_semantics/1,
% commands
export_nusmv/1,
check_ctl/1
check_ctl/1,
% API
check_ctl_impl/5
]
).
......
......@@ -83,6 +83,7 @@
- foltl.pl
*** CTL model-checking and revision
- nusmv.pl
- revision.pl
* Index
- index
* Bibliography
......
......@@ -27,7 +27,8 @@
call_subprocess/3,
with_clean/2,
clean/1,
check_cleaned/1
check_cleaned/1,
join_op/3
]).
name_variables(L) :-
......@@ -413,3 +414,10 @@ check_cleaned(M : F / N) :-
;
true
).
join_op(_Op, [Item], Item).
join_op(Op, [I1, I2 | Items], Term) :-
Term =..[Op, I1, T],
join_op(Op, [I2 | Items], T).
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