|
SMTStabilizer API
Public API documentation for SMTStabilizer
|

Go to the source code of this file.
Namespaces | |
| namespace | stabilizer |
| namespace | stabilizer::util |
Functions | |
| size_t | stabilizer::util::hash_node (const node::Node &node) |
| Compute a stable structural hash seed for a parser/node DAG node. | |
| size_t | stabilizer::util::hash_mix (size_t x) |
| void | stabilizer::util::hash_combine (size_t &seed, const size_t &v) |
| Mix one value into a hash seed. | |
| void | stabilizer::util::hash_children (size_t &seed, const std::vector< size_t > &children, const std::vector< size_t > &hash_table) |
| Mix child-node hashes into a parent seed in argument order. | |
| void | stabilizer::util::hash_communative_children (size_t &seed, const std::vector< size_t > &children, const std::vector< size_t > &hash_table) |
| Mix child-node hashes as a commutative multiset. | |
| void | stabilizer::util::hash_parents (size_t &seed, const std::vector< std::pair< size_t, size_t > > &parents, const std::vector< size_t > &hash_table) |
| Propagate a node hash contribution to parent nodes. | |