, including all inherited members.
| add(wsum_t *lhs, const WeightLiteral &lit) const | Clasp::SharedMinimizeData | [inline] |
| add(wsum_t *lhs, const LevelWeight *w) const | Clasp::SharedMinimizeData | [inline] |
| adjust(uint32 x) const | Clasp::SharedMinimizeData | [inline] |
| adjust_ | Clasp::SharedMinimizeData | [private] |
| Atomic typedef | Clasp::SharedMinimizeData | [private] |
| attach(Solver &s, uint32 strat=UINT32_MAX, bool addRef=true) | Clasp::SharedMinimizeData | |
| checkNext() const | Clasp::SharedMinimizeData | [inline] |
| count_ | Clasp::SharedMinimizeData | [private] |
| destroy() const | Clasp::SharedMinimizeData | [private] |
| gCount_ | Clasp::SharedMinimizeData | [private] |
| generation() const | Clasp::SharedMinimizeData | [inline] |
| heuristic(Solver &s, bool full) const | Clasp::SharedMinimizeData | |
| imp(wsum_t *lhs, const WeightLiteral &lit, const wsum_t *rhs, uint32 &lev) const | Clasp::SharedMinimizeData | [inline] |
| imp(wsum_t *lhs, const LevelWeight *w, const wsum_t *rhs, uint32 &lev) const | Clasp::SharedMinimizeData | |
| level(uint32 i) const | Clasp::SharedMinimizeData | [inline] |
| lits | Clasp::SharedMinimizeData | |
| lower(uint32 x) const | Clasp::SharedMinimizeData | [inline] |
| lower() const | Clasp::SharedMinimizeData | [inline] |
| lower_ | Clasp::SharedMinimizeData | [private] |
| markOptimal() | Clasp::SharedMinimizeData | |
| maxBound() | Clasp::SharedMinimizeData | [inline, static] |
| maxLevel() const | Clasp::SharedMinimizeData | [inline] |
| mode() const | Clasp::SharedMinimizeData | [inline] |
| mode_ | Clasp::SharedMinimizeData | [private] |
| numRules() const | Clasp::SharedMinimizeData | [inline] |
| operator=(const SharedMinimizeData &) | Clasp::SharedMinimizeData | [private] |
| opt_ | Clasp::SharedMinimizeData | [private] |
| optGen_ | Clasp::SharedMinimizeData | [private] |
| optimize() const | Clasp::SharedMinimizeData | [inline] |
| optimum(uint32 x) const | Clasp::SharedMinimizeData | [inline] |
| release() | Clasp::SharedMinimizeData | [inline] |
| resetBounds() | Clasp::SharedMinimizeData | |
| setLower(uint32 lev, wsum_t low) | Clasp::SharedMinimizeData | |
| setMode(MinimizeMode m, const wsum_t *bound=0, uint32 boundSize=0) | Clasp::SharedMinimizeData | |
| setMode(MinimizeMode m, const SumVec &bound) | Clasp::SharedMinimizeData | [inline] |
| setOptimum(const wsum_t *opt) | Clasp::SharedMinimizeData | |
| share() | Clasp::SharedMinimizeData | [inline] |
| SharedMinimizeData(const SumVec &lhsAdjust, MinimizeMode m=MinimizeMode_t::optimize) | Clasp::SharedMinimizeData | [explicit] |
| SharedMinimizeData(const SharedMinimizeData &) | Clasp::SharedMinimizeData | [private] |
| sub(wsum_t *lhs, const WeightLiteral &lit, uint32 &aLev) const | Clasp::SharedMinimizeData | [inline] |
| sub(wsum_t *lhs, const LevelWeight *w, uint32 &aLev) const | Clasp::SharedMinimizeData | |
| ThisType typedef | Clasp::SharedMinimizeData | |
| upper(uint32 x) const | Clasp::SharedMinimizeData | [inline] |
| upper() const | Clasp::SharedMinimizeData | [inline] |
| weight(uint32 i) const | Clasp::SharedMinimizeData | [inline] |
| weight(const WeightLiteral &lit, uint32 lev) const | Clasp::SharedMinimizeData | [inline] |
| weights | Clasp::SharedMinimizeData | |
| WeightVec typedef | Clasp::SharedMinimizeData | |
| ~SharedMinimizeData() | Clasp::SharedMinimizeData | [private] |