CDNLSolver::SimpleHashIDAddress Struct Reference

Allows for hashing IDAddress. More...

#include <include/dlvhex2/CDNLSolver.h>

Public Member Functions
std::size_t	operator() (IDAddress const &ida) const

---

Detailed Description

Allows for hashing IDAddress.

Definition at line 61 of file CDNLSolver.h.

---

Member Function Documentation

std::size_t CDNLSolver::SimpleHashIDAddress::operator()

(

IDAddress const &

ida

)

const [inline]

Definition at line 63 of file CDNLSolver.h.

---

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

• include/dlvhex2/CDNLSolver.h