let ch = open_out "xxx.dot" in
output_string ch "digraph G {\n";
(match under_consideration with
let ch = open_out "xxx.dot" in
output_string ch "digraph G {\n";
(match under_consideration with
let geq = ref [] in
let node = candidate,[],leq,geq in
let set = node::set in
let geq = ref [] in
let node = candidate,[],leq,geq in
let set = node::set in
begin
print_endline ("PUNTO FISSO RAGGIUNTO! i=" ^ string_of_int i);
print_endline (string_of_set set ^ "\n----------------");
begin
print_endline ("PUNTO FISSO RAGGIUNTO! i=" ^ string_of_int i);
print_endline (string_of_set set ^ "\n----------------");
print_endline ("PRIMA ITERAZIONE, i=0, j=0");
print_endline (string_of_set set ^ "\n----------------");
ignore (Unix.system "rm -f log");
print_endline ("PRIMA ITERAZIONE, i=0, j=0");
print_endline (string_of_set set ^ "\n----------------");
ignore (Unix.system "rm -f log");