SMTStabilizer API
Public API documentation for SMTStabilizer
Loading...
Searching...
No Matches
node_helper.h File Reference
#include <vector>
#include "node/node_manager.h"
Include dependency graph for node_helper.h:
This graph shows which files directly or indirectly include this file:

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.
 
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.