MonomialHasher.h
Go to the documentation of this file.
// -*- c++ -*-
//*****************************************************************************
//*****************************************************************************
#ifndef polybori_groebner_MonomialHasher_h_
#define polybori_groebner_MonomialHasher_h_
// include basic definitions
#include "groebner_defs.h"
BEGIN_NAMESPACE_PBORIGB
class MonomialHasher{
public:
size_t operator() (const Monomial & m) const{
return m.hash();
}
};
END_NAMESPACE_PBORIGB
#endif /* polybori_MonomialHasher_h_ */
END_NAMESPACE_PBORIGB
#define END_NAMESPACE_PBORIGB
Definition: groebner_defs.h:16
BEGIN_NAMESPACE_PBORIGB
#define BEGIN_NAMESPACE_PBORIGB
Definition: groebner_defs.h:15
groebner_defs.h
polybori::groebner::MonomialHasher
This class defines MonomialHasher.
Definition: MonomialHasher.h:28
polybori::BooleMonomial
This class is just a wrapper for using variables from cudd's decicion diagram.
Definition: BooleMonomial.h:50
polybori::BooleMonomial::hash
hash_type hash() const
Get unique hash value (valid only per runtime)
Definition: BooleMonomial.h:165