carl
24.04
Computer ARithmetic Library
|
Implements std::hash for constraints. More...
#include <Constraint.h>
Public Member Functions | |
std::size_t | operator() (const carl::Constraint< Pol > &constraint) const |
Implements std::hash for constraints.
Definition at line 366 of file Constraint.h.
|
inline |
constraint | The constraint to get the hash for. |
Definition at line 371 of file Constraint.h.