We hash the constants with their values.
More...
#include <kind.h>
We hash the constants with their values.
Definition at line 562 of file kind.h.
size_t CVC4::TypeConstantHashFunction::operator() |
( |
TypeConstant |
tc | ) |
const |
|
inline |
The documentation for this struct was generated from the following file:
- builds/powerpc64le-redhat-linux-gnu/production-abc-proof/src/expr/kind.h