, including all inherited members.
| addSolution(SL *solution, const ThreadId &id) | Clasp::ModelEnumerator::SolutionQueue | [inline] |
| addThread() | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline] |
| allocate(uint32 maxR, const SharedLiterals *&in) | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline, protected] |
| base_type typedef | Clasp::ModelEnumerator::SolutionQueue | |
| hasItems(ThreadId &cId) const | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline] |
| maxQ() const | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline, protected] |
| maxThreads() const | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline] |
| MultiQueue(uint32 m, const void(*)(SharedLiterals *)&d=void(*)(SharedLiterals *)()) | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline, explicit] |
| Node typedef | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [protected] |
| NodeBase typedef | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [protected] |
| pop(ThreadId &cId) | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline] |
| publish(const SharedLiterals *&in, const ThreadId &) | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline, protected] |
| publishRelaxed(NodeBase *n) | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline, protected] |
| releaseLits(SL *x) | Clasp::ModelEnumerator::SolutionQueue | [inline, static] |
| reserve(uint32 c) | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline] |
| SL typedef | Clasp::ModelEnumerator::SolutionQueue | |
| SolutionQueue(uint32 m) | Clasp::ModelEnumerator::SolutionQueue | [inline] |
| ThreadId typedef | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | |
| tryConsume(ThreadId &cId, SharedLiterals *&out) | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline] |
| unsafePublish(const SharedLiterals *&in, const ThreadId &) | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline, protected] |
| ~MultiQueue() | Clasp::mt::MultiQueue< SharedLiterals *, void(*)(SharedLiterals *)> | [inline] |