- let set = nodes,inf,sup in
- let set = locate_using_leq (to_be_considered,Some repr,news) node set in
- let set = locate_using_geq (to_be_considered,Some repr,news) node set in
+ let set = nodes,inf@[node],sup@[node] in
+ let start_inf,start_sup =
+ let repr_node =
+ match List.filter (fun (repr',_,_,_) -> repr=repr') nodes with
+ [node] -> node
+ | _ -> assert false
+ in
+inf,sup(*
+ match hecandidate with
+ I -> inf,[repr_node]
+ | C -> [repr_node],sup
+ | M -> inf,sup
+*)
+ in
+ let set =
+ locate_using_leq (to_be_considered,Some repr,news) node set start_sup in
+(
+let _,inf,sup = set in
+if not (List.for_all (fun ((_,_,_,geq) as node) -> !geq = [] && let rec check_sups = function [] -> true | (_,_,leq,_) as node::tl -> if !leq = [] then List.exists (fun n -> n===node) sup && check_sups tl else check_sups (!leq@tl) in check_sups [node]) inf) then (ps_of_set ([],None,[]) set; assert false);
+if not (List.for_all (fun ((_,_,leq,_) as node) -> !leq = [] && let rec check_infs = function [] -> true | (_,_,_,geq) as node::tl -> if !geq = [] then List.exists (fun n -> n===node) inf && check_infs tl else check_infs (!geq@tl) in check_infs [node]) sup) then (ps_of_set ([],None,[]) set; assert false);
+);
+ let set =
+ locate_using_geq (to_be_considered,Some repr,news) node set start_inf
+ in
+(
+let _,inf,sup = set in
+if not (List.for_all (fun ((_,_,_,geq) as node) -> !geq = [] && let rec check_sups = function [] -> true | (_,_,leq,_) as node::tl -> if !leq = [] then List.exists (fun n -> n===node) sup && check_sups tl else check_sups (!leq@tl) in check_sups [node]) inf) then (ps_of_set ([],None,[]) set; assert false);
+if not (List.for_all (fun ((_,_,leq,_) as node) -> !leq = [] && let rec check_infs = function [] -> true | (_,_,_,geq) as node::tl -> if !geq = [] then List.exists (fun n -> n===node) inf && check_infs tl else check_infs (!geq@tl) in check_infs [node]) sup) then ((*ps_of_set ([],None,[]) set;*) assert false);
+);