CDNLSolver::SimpleHashID Struct Reference

Allows for hashing ID. More...

#include <include/dlvhex2/CDNLSolver.h>

Public Member Functions
std::size_t	operator() (ID const &id) const

---

Detailed Description

Allows for hashing ID.

Definition at line 69 of file CDNLSolver.h.

---

Member Function Documentation

std::size_t CDNLSolver::SimpleHashID::operator()

(

ID const &

id

)

const [inline]

Definition at line 71 of file CDNLSolver.h.

---

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

• include/dlvhex2/CDNLSolver.h