cvc4-1.4
|
A hash function for Datatypes. More...
#include <datatype.h>
Public Member Functions | |
size_t | operator() (const Datatype &dt) const |
size_t | operator() (const Datatype *dt) const |
size_t | operator() (const DatatypeConstructor &dtc) const |
size_t | operator() (const DatatypeConstructor *dtc) const |
A hash function for Datatypes.
Needed to store them in hash sets and hash maps.
Definition at line 635 of file datatype.h.
|
inline |
Definition at line 636 of file datatype.h.
References CVC4::Datatype::getName().
|
inline |
Definition at line 639 of file datatype.h.
References CVC4::Datatype::getName().
|
inline |
Definition at line 642 of file datatype.h.
References CVC4::DatatypeConstructor::getName().
|
inline |
Definition at line 645 of file datatype.h.
References CVC4::DatatypeConstructor::getName().