Clasp::ClauseWatch::EqHead Struct Reference

#include <solver_types.h>

List of all members.

Public Member Functions
	EqHead (ClauseHead *h)
bool	operator() (const ClauseWatch &w) const
Public Attributes
ClauseHead *	head

---

Detailed Description

Definition at line 545 of file solver_types.h.

---

Constructor & Destructor Documentation

Clasp::ClauseWatch::EqHead::EqHead

(

ClauseHead *

h

)

[inline, explicit]

Definition at line 546 of file solver_types.h.

---

Member Function Documentation

bool Clasp::ClauseWatch::EqHead::operator()

(

const ClauseWatch &

w

)

const [inline]

Definition at line 547 of file solver_types.h.

---

Member Data Documentation

ClauseHead* Clasp::ClauseWatch::EqHead::head

Definition at line 548 of file solver_types.h.

---

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

• solver_types.h