- output_string ch
- (string_of_cop repr' ^ " -> " ^ string_of_cop repr ^
- " [" ^
- (if rel="=" then "arrowhead=none " else "") ^
- "style=dashed];\n"));
+ output_string ch (dot_of_cop repr ^ " [color=red];");
+ let repr,repr' =
+ match rel with
+ SupersetEqual -> repr',repr
+ | Equal
+ | SubsetEqual -> repr,repr'
+ in
+ output_string ch
+ (dot_of_cop repr' ^ " -> " ^ dot_of_cop repr ^
+ " [" ^
+ (match rel with Equal -> "arrowhead=none " | _ -> "") ^
+ "style=dashed];\n"));