Clasp::CBConsequences::SharedConstraint Class Reference

List of all members.

Public Member Functions
SharedLiterals *	fetch_if_neq (SharedLiterals *last) const
void	release (SharedLiterals *newLits)
	SharedConstraint ()
Public Attributes
SharedLiterals *	current
Clasp::spin_mutex	mutex

---

Detailed Description

Definition at line 33 of file cb_enumerator.cpp.

---

Constructor & Destructor Documentation

Clasp::CBConsequences::SharedConstraint::SharedConstraint

(

)

[inline]

Definition at line 35 of file cb_enumerator.cpp.

---

Member Function Documentation

SharedLiterals* Clasp::CBConsequences::SharedConstraint::fetch_if_neq

(

SharedLiterals *

last

)

const [inline]

Definition at line 36 of file cb_enumerator.cpp.

void Clasp::CBConsequences::SharedConstraint::release

(

SharedLiterals *

newLits

)

[inline]

Definition at line 40 of file cb_enumerator.cpp.

---

Member Data Documentation

SharedLiterals* Clasp::CBConsequences::SharedConstraint::current

Definition at line 45 of file cb_enumerator.cpp.

Clasp::spin_mutex Clasp::CBConsequences::SharedConstraint::mutex [mutable]

Definition at line 46 of file cb_enumerator.cpp.

---

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

• cb_enumerator.cpp