/* Copyright (c) 1997-2004
   Ewgenij Gawrilow, Michael Joswig (Technische Universitaet Berlin, Germany)
   http://www.math.tu-berlin.de/polymake,  mailto:polymake@math.tu-berlin.de

   This program is free software; you can redistribute it and/or modify it
   under the terms of the GNU General Public License as published by the
   Free Software Foundation; either version 2, or (at your option) any
   later version: http://www.gnu.org/licenses/gpl.txt.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.
*/

#ifndef _POLYMAKE_STD_HASH_SET
#define _POLYMAKE_STD_HASH_SET "$Project: polymake $$Id: hash_set,v 1.6 2004/06/22 16:22:41 gawrilow Exp $"

#include <ext/defines.h>
#include_next STD_EXT_HEADER(hash_set)

#ifndef _POLYMAKE_TYPE_MANIP_H
#  include <type_manip.h>
#endif
#ifndef _POLYMAKE_STD_HASH_ADAPTER_H
#  include <ports/hash_adapter.h>
#endif

#ifdef __INTEL_COMPILER

namespace std_ext {
   template <typename Key, typename HashFcn=hash<Key>,
	     typename EqualKey=pm::operations::eq<const Key&, const Key&>, typename Alloc=pm::alloc>
   class hash_set
      : public std::hash_set<Key, hash_compare<Key, HashFcn, EqualKey>, Alloc> {
      typedef hash_compare<Key, HashFcn, EqualKey> comparator;
      typedef std::hash_set<Key, comparator, Alloc> super;
   public:
      explicit hash_set(size_t=0) { }

      hash_set(size_t, const HashFcn& hf)
	 : super(comparator(hf)) { }

      hash_set(size_t, const HashFcn& hf, const EqualKey& ek, const Alloc& al=Alloc())
	 : super(comparator(hf,ek), al) { }

      template <typename Iterator>
      hash_set(Iterator first, Iterator last, size_t=0)
	 : super(first,last) { }

      template <typename Iterator>
      hash_set(Iterator first, Iterator last, size_t, const HashFcn& hf)
	 : super(first,last,comparator(hf,ek)) { }

      template <typename Iterator>
      hash_set(Iterator first, Iterator last, size_t, const HashFcn& hf, const EqualKey& ek, const Alloc& al=Alloc())
	 : super(first,last,comparator(hf,ek),al) { }

      void resize(size_t) { }
   };
} // end namespace std_ext

#endif // __INTEL_COMPILER

namespace pm {

template <typename Key, typename HashFcn, typename EqualKey, typename Alloc>
struct spec_object_traits< std_ext::hash_set<Key,HashFcn,EqualKey,Alloc> >
   : spec_object_traits<is_container> {
   static const IO_separator_kind IO_separator=IO_sep_inherit;
   static const bool is_ordered=false;
};

} // end namespace pm

#endif // _POLYMAKE_STD_HASH_SET

// Local Variables:
// mode:C++
// End:
