(***********************************************************************)
(*                                                                     *)
(*                               TAToo                                 *)
(*                                                                     *)
(*                     Kim Nguyen, LRI UMR8623                         *)
(*                   Université Paris-Sud & CNRS                       *)
(*                                                                     *)
(*  Copyright 2010-2012 Université Paris-Sud and Centre National de la *)
(*  Recherche Scientifique. All rights reserved.  This file is         *)
(*  distributed under the terms of the GNU Lesser General Public       *)
(*  License, with the special exception on linking described in file   *)
(*  ../LICENSE.                                                        *)
(*                                                                     *)
(***********************************************************************)

include FiniteCofinite.Make(Ptset.Make(QName))

module Weak = FiniteCofinite.Weak(Ptset.Weak(QName))

(* BEGIN : Lucca Hirschi *)
let to_string set =
  let print_set s=
    if is_empty (s) then
      "ø"
    else
      String.concat " "
	(List.map (fun name -> QName.to_string name) (elements s))
  in
  match (kind set) with
    | `Finite -> "F("^(print_set set)^")"
    | `Cofinite  -> "Cof("^(print_set (complement set))^")"
(* END : Lucca Hirschi *)