cvc4-1.4
|
Hash function for the RegExp constants. More...
#include <regexp.h>
Public Member Functions | |
size_t | operator() (const RegExp &s) const |
|
inline |
Definition at line 343 of file regexp.h.
References CVC4_PUBLIC, CVC4::RegExp::getType(), and CVC4::operator<<().