cvc4-1.3
|
A hash function for type ascription operators. More...
#include <ascription_type.h>
Public Member Functions | |
size_t | operator() (const AscriptionType &at) const |
A hash function for type ascription operators.
Definition at line 49 of file ascription_type.h.
|
inline |
Definition at line 50 of file ascription_type.h.
References CVC4::AscriptionType::getType().