std::hash< m::cnf::Predicate > Struct Reference

#include <CNF.hpp>

Public Member Functions
std::size_t	operator() (m::cnf::Predicate P) const

Detailed Description

Definition at line 216 of file CNF.hpp.

Member Function Documentation

operator()()

std::size_t std::hash< m::cnf::Predicate >::operator() ( m::cnf::Predicate  P ) const

inline

Definition at line 218 of file CNF.hpp.

References m::cnf::Predicate::expr(), m::ast::Expr::hash(), and m::cnf::Predicate::negative().

---

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

• include/mutable/IR/CNF.hpp