cvc4-1.4
|
We hash the constants with their values. More...
#include <kind.h>
Public Member Functions | |
size_t | operator() (TypeConstant tc) const |
size_t | operator() (TypeConstant tc) const |
We hash the constants with their values.
Definition at line 108 of file kind_template.h.
|
inline |
|
inline |
Definition at line 109 of file kind_template.h.