| Distributor(const Policy &p) | Clasp::Distributor | [explicit] |
| Distributor(const Distributor &) | Clasp::Distributor | [private] |
| initSet(uint32 sz) | Clasp::Distributor | [inline, static] |
| inSet(uint64 s, uint32 id) | Clasp::Distributor | [inline, static] |
| isCandidate(uint32 size, uint32 lbd, uint32 type) const | Clasp::Distributor | [inline] |
| mask(uint32 i) | Clasp::Distributor | [inline, static] |
| operator=(const Distributor &) | Clasp::Distributor | [private] |
| policy_ | Clasp::Distributor | [private] |
| publish(const Solver &source, SharedLiterals *lits)=0 | Clasp::Distributor | [pure virtual] |
| receive(const Solver &in, SharedLiterals **out, uint32 maxOut)=0 | Clasp::Distributor | [pure virtual] |
| ~Distributor() | Clasp::Distributor | [virtual] |