Inheritance diagram for Clasp::ModelEnumerator::SolutionQueue:
Public Types | |
| typedef mt::MultiQueue< SL *, void(*)(SL *) | base_type ) |
| typedef SharedLiterals | SL |
Public Member Functions | |
| void | addSolution (SL *solution, const ThreadId &id) |
| SolutionQueue (uint32 m) | |
Static Public Member Functions | |
| static void | releaseLits (SL *x) |
Detailed Description
Definition at line 53 of file model_enumerators.cpp.
Member Typedef Documentation
| typedef mt::MultiQueue<SL*, void (*)(SL*) Clasp::ModelEnumerator::SolutionQueue::base_type) |
Definition at line 56 of file model_enumerators.cpp.
Definition at line 55 of file model_enumerators.cpp.
Constructor & Destructor Documentation
| Clasp::ModelEnumerator::SolutionQueue::SolutionQueue | ( | uint32 | m | ) | [inline] |
Definition at line 57 of file model_enumerators.cpp.
Member Function Documentation
| void Clasp::ModelEnumerator::SolutionQueue::addSolution | ( | SL * | solution, |
| const ThreadId & | id | ||
| ) | [inline] |
Definition at line 58 of file model_enumerators.cpp.
| static void Clasp::ModelEnumerator::SolutionQueue::releaseLits | ( | SL * | x | ) | [inline, static] |
Definition at line 61 of file model_enumerators.cpp.
The documentation for this class was generated from the following file: