delpi  0.0.1
DElta-complete LP solver
Loading...
Searching...
No Matches
std::hash< mpq_class > Struct Reference

#include <gmp.h>

Public Member Functions

size_t operator() (const mpq_class &val) const noexcept
 Hash a gmp rational.

Detailed Description

Author
Ernesto Casablanca (casab.nosp@m.lanc.nosp@m.aerne.nosp@m.sto@.nosp@m.gmail.nosp@m..com)

Definition at line 25 of file gmp.h.

Member Function Documentation

◆ operator()()

size_t std::hash< mpq_class >::operator() ( const mpq_class & val) const
noexcept

Hash a gmp rational.

Credits to the cvc5 implementation.

Parameters
valrational to hash
Returns
hash

Definition at line 36 of file gmp.cpp.


The documentation for this struct was generated from the following files: