24 #include "misc/hash.hh"
45 typedef std::unordered_map<
const formula*,
const formula*,
const formula * mark_concat_ops(const formula *f)
Mark operators NegClosure and EConcat.
Formula visitor.
Definition: visitor.hh:40
A hash function for pointers.
Definition: hash.hh:39