Struct JaniSmcStatesExpansion::PairHash

Defined in File jani_smc_states_expansion.hpp

Nested Relationships

This struct is a nested type of Template Class JaniSmcStatesExpansion.

Struct Documentation

struct PairHash

Public Functions

inline uint64_t operator()(const std::pair<uint64_t, uint64_t> &p) const