key.h

/*
 *  Copyright (C) 2004-2021 Edward F. Valeev
 *
 *  This file is part of Libint.
 *
 *  Libint 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 3 of the License, or
 *  (at your option) any later version.
 *
 *  Libint 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.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with Libint.  If not, see <http://www.gnu.org/licenses/>.
 *
 */
 
#ifndef _libint2_src_bin_libint_key_h_
#define _libint2_src_bin_libint_key_h_
 
#include <libint2/util/intrinsic_types.h>
#include <cstddef>
#include <gmpxx.h>
#include <sstream>
 
namespace libint2 {
 
  template <typename T, typename I>
  class TypeAndInstance {
  public:
    typedef T Type;
    typedef I Instance;
    TypeAndInstance() : t_(invalid_type_), i_(invalid_instance_) {}
    TypeAndInstance(const Type& t, const Instance& i) : t_(t), i_(i) {}
    TypeAndInstance(const TypeAndInstance& i) : t_(i.t_), i_(i.i_) {}
    const TypeAndInstance& operator=(const TypeAndInstance& i) { t_ = i.t_; i_ = i.i_; return *this; }
 
    const Type& type() const { return t_; }
    const Instance& instance() const { return i_; }
    
  private:
    Type t_;
    Instance i_;
    
    static Type invalid_type_;
    static Instance invalid_instance_;
  };
 
  template <typename T, typename I> typename TypeAndInstance<T,I>::Type TypeAndInstance<T,I>::invalid_type_(-1);
  template <typename T, typename I> typename TypeAndInstance<T,I>::Instance TypeAndInstance<T,I>::invalid_instance_(-1);
 
  template <typename T, typename I>
  bool operator==(const TypeAndInstance<T,I>& a,
                  const TypeAndInstance<T,I>& b) {
    return a.type() == b.type() && a.instance() == b.instance();
  }
  
  template <typename T, typename I>
  bool operator<(const TypeAndInstance<T,I>& a,
                 const TypeAndInstance<T,I>& b) {
    bool result = 
      (a.type() < b.type()) || 
      ( (a.type() == b.type()) &&
        (a.instance() < b.instance())
      );
    return result;
  }
 
 
  struct KeyTypes {
    typedef unsigned int ClassID;
    typedef mpz_class InstanceID;
 
    private:
    template <typename Target, typename Source>
    static Target
    string_cast(Source s) {
      std::ostringstream oss;
      oss << s;
      return Target(oss.str());
    }
 
    public:
    template <typename U>
    inline static InstanceID cast(U i) {
      return InstanceID(i);
    }
  };
 
  template <>
  inline KeyTypes::InstanceID
  KeyTypes::cast<long long>(long long i) {
    return string_cast<InstanceID>(i);
  }
  template <>
  inline KeyTypes::InstanceID
  KeyTypes::cast<unsigned long long>(unsigned long long i) {
    return string_cast<InstanceID>(i);
  }
 
 
  typedef TypeAndInstance<KeyTypes::ClassID,KeyTypes::InstanceID> DGVertexKey;
 
};
 
#endif
 
// Local Variables:
// mode: c++
// End: