carl
24.04
Computer ARithmetic Library
|
Implements std::hash for vectors of constraints. More...
#include <BasicConstraint.h>
Public Member Functions | |
std::size_t | operator() (const std::vector< carl::BasicConstraint< Pol >> &arg) const |
Implements std::hash for vectors of constraints.
Definition at line 175 of file BasicConstraint.h.
|
inline |
_arg | The vector of constraints to get the hash for. |
Definition at line 180 of file BasicConstraint.h.