SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
node_helper.cpp File Reference
#include "node_helper.h"
#include <cstdint>
Include dependency graph for node_helper.cpp:

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.