cvc4-1.4
|
Hash function for Types. More...
#include <type.h>
Public Member Functions | |
size_t | operator() (const CVC4::Type &t) const |
Return a hash code for type t. More... | |
size_t CVC4::TypeHashFunction::operator() | ( | const CVC4::Type & | t | ) | const |
Return a hash code for type t.