Clasp::Detail::GreaterLevel Struct Reference

List of all members.

Public Member Functions
	GreaterLevel (const Solver &s)
bool	operator() (const Literal &p1, const Literal &p2) const
Private Member Functions
GreaterLevel &	operator= (const GreaterLevel &)
Private Attributes
const Solver &	solver_

---

Detailed Description

Definition at line 26 of file clause.cpp.

---

Constructor & Destructor Documentation

Clasp::Detail::GreaterLevel::GreaterLevel

(

const Solver &

s

)

[inline]

Definition at line 27 of file clause.cpp.

---

Member Function Documentation

bool Clasp::Detail::GreaterLevel::operator()	(	const Literal &	p1,
		const Literal &	p2
	)		const [inline]

Definition at line 28 of file clause.cpp.

GreaterLevel& Clasp::Detail::GreaterLevel::operator=

(

const GreaterLevel &

)

[private]

---

Member Data Documentation

const Solver& Clasp::Detail::GreaterLevel::solver_ [private]

Definition at line 34 of file clause.cpp.

---

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

• clause.cpp