std::hash< symbolic::PropositionRef > Struct Reference

Public Types
using	is_transparent = void

Public Member Functions
size_t	operator() (const symbolic::PropositionRef &prop) const noexcept

---

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

• /home/runner/work/symbolic/symbolic/include/symbolic/proposition.h