hash_gate_t Struct Reference

std::hash functor for gate_t. More...

#include "dDNNF.h"

Public Member Functions
size_t	operator() (gate_t g) const
	Compute the hash of a gate identifier.

Detailed Description

std::hash functor for gate_t.

Allows gate_t to be used as a key in std::unordered_map and std::unordered_set by delegating to std::hash on the underlying integer type.

Definition at line 48 of file dDNNF.h.

Member Function Documentation

operator()()

size_t hash_gate_t::operator() ( gate_t  g ) const

inline

Compute the hash of a gate identifier.

Parameters

g	Gate to hash.

Returns

Hash value suitable for use in unordered containers.

Definition at line 55 of file dDNNF.h.

---

The documentation for this struct was generated from the following file:

• /home/pierre/git/software/provsql/src/dDNNF.h