cvc4-1.3
|
Hash function for the ArrayStoreAll constants. More...
#include <array_store_all.h>
Public Member Functions | |
size_t | operator() (const ArrayStoreAll &asa) const |
Hash function for the ArrayStoreAll constants.
Definition at line 92 of file array_store_all.h.
|
inline |
Definition at line 93 of file array_store_all.h.
References CVC4::ArrayStoreAll::getExpr(), and CVC4::ArrayStoreAll::getType().