diff options
Diffstat (limited to 'src/expr/node_value.h')
-rw-r--r-- | src/expr/node_value.h | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h index fbf3ff76e..b403d0c86 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -372,6 +372,18 @@ struct NodeValueIDHashFunction { } };/* struct NodeValueIDHashFunction */ + +/** + * An equality predicate that is applicable between pointers to fully + * constructed NodeValues. + */ +struct NodeValueIDEquality { + inline bool operator()(const NodeValue* a, const NodeValue* b) const { + return a->getId() == b->getId(); + } +}; + + inline std::ostream& operator<<(std::ostream& out, const NodeValue& nv); }/* CVC4::expr namespace */ |