, including all inherited members.
| addCore(Solver &s, const LitPair *lits, uint32 size, weight_t weight) | Clasp::UncoreMinimize | [private] |
| addCore(Solver &s, const WCTemp &wc, weight_t w) | Clasp::UncoreMinimize | [private] |
| addLit(Literal p, weight_t w) | Clasp::UncoreMinimize | [private] |
| allocCore(WeightConstraint *con, weight_t bound, weight_t weight, bool open) | Clasp::UncoreMinimize | [private] |
| analyze(Solver &s, LitVec &cfl, weight_t &minW, LitVec &poppedOther) | Clasp::UncoreMinimize | [private] |
| assume_ | Clasp::UncoreMinimize | [private] |
| aTop_ | Clasp::UncoreMinimize | [private] |
| attach(Solver &s) | Clasp::UncoreMinimize | [virtual] |
| auxAdd_ | Clasp::UncoreMinimize | [private] |
| auxInit_ | Clasp::UncoreMinimize | [private] |
| clause() | Clasp::Constraint | [virtual] |
| cloneAttach(Solver &other) | Clasp::MinimizeConstraint | [virtual] |
| closeCore(Solver &s, LitData &x, bool sat) | Clasp::UncoreMinimize | [private] |
| closed_ | Clasp::UncoreMinimize | [private] |
| computeSum(Solver &s) const | Clasp::UncoreMinimize | [private] |
| conflict_ | Clasp::UncoreMinimize | [private] |
| Constraint() | Clasp::Constraint | |
| ConTable typedef | Clasp::UncoreMinimize | [private] |
| CoreTable typedef | Clasp::UncoreMinimize | [private] |
| destroy(Solver *, bool) | Clasp::UncoreMinimize | [virtual] |
| detach(Solver *s, bool b) | Clasp::UncoreMinimize | [private] |
| enum_ | Clasp::UncoreMinimize | [private] |
| EnumPtr typedef | Clasp::UncoreMinimize | [private] |
| eRoot_ | Clasp::UncoreMinimize | [private] |
| estimateComplexity(const Solver &s) const | Clasp::Constraint | [virtual] |
| fix_ | Clasp::UncoreMinimize | [private] |
| fixLevel(Solver &s) | Clasp::UncoreMinimize | [private] |
| fixLit(Solver &s, Literal p) | Clasp::UncoreMinimize | [private] |
| freeOpen_ | Clasp::UncoreMinimize | [private] |
| gen_ | Clasp::UncoreMinimize | [private] |
| getCore(const LitData &x) | Clasp::UncoreMinimize | [inline, private] |
| getData(uint32 id) | Clasp::UncoreMinimize | [inline, private] |
| handleModel(Solver &s) | Clasp::UncoreMinimize | [virtual] |
| handleUnsat(Solver &s, bool up, LitVec &out) | Clasp::UncoreMinimize | [virtual] |
| hasCore(const LitData &x) const | Clasp::UncoreMinimize | [inline, private] |
| hasPre_ | Clasp::UncoreMinimize | [private] |
| init() | Clasp::UncoreMinimize | [private] |
| init_ | Clasp::UncoreMinimize | [private] |
| initLevel(Solver &s) | Clasp::UncoreMinimize | [private] |
| initRoot(Solver &s) | Clasp::UncoreMinimize | [private] |
| integrate(Solver &s) | Clasp::UncoreMinimize | [virtual] |
| integrateOpt(Solver &s) | Clasp::UncoreMinimize | [private] |
| level_ | Clasp::UncoreMinimize | [private] |
| litData_ | Clasp::UncoreMinimize | [private] |
| LitSet typedef | Clasp::UncoreMinimize | [private] |
| LitTable typedef | Clasp::UncoreMinimize | [private] |
| lower_ | Clasp::UncoreMinimize | [private] |
| minimize(Solver &s, Literal p, CCMinRecursive *rec) | Clasp::Constraint | [virtual] |
| MinimizeConstraint(SharedData *s) | Clasp::MinimizeConstraint | [protected] |
| next_ | Clasp::UncoreMinimize | [private] |
| open_ | Clasp::UncoreMinimize | [private] |
| path_ | Clasp::UncoreMinimize | [private] |
| popPath(Solver &s, uint32 dl, LitVec &out) | Clasp::UncoreMinimize | [private] |
| pre_ | Clasp::UncoreMinimize | [private] |
| prepare(Solver &s, bool useTag) | Clasp::MinimizeConstraint | [protected] |
| propagate(Solver &s, Literal p, uint32 &data) | Clasp::UncoreMinimize | [virtual] |
| pushPath(Solver &s) | Clasp::UncoreMinimize | [private] |
| reason(Solver &s, Literal p, LitVec &lits) | Clasp::UncoreMinimize | [virtual] |
| relax(Solver &, bool reset) | Clasp::UncoreMinimize | [virtual] |
| releaseLits() | Clasp::UncoreMinimize | [private] |
| sat_ | Clasp::UncoreMinimize | [private] |
| setLower(wsum_t x) | Clasp::UncoreMinimize | [inline, private] |
| shared() const | Clasp::MinimizeConstraint | [inline] |
| shared_ | Clasp::MinimizeConstraint | [protected] |
| SharedData typedef | Clasp::MinimizeConstraint | |
| SharedDataP typedef | Clasp::MinimizeConstraint | |
| SharedMinimizeData class | Clasp::UncoreMinimize | [friend] |
| simplify(Solver &s, bool reinit=false) | Clasp::UncoreMinimize | [virtual] |
| sum_ | Clasp::UncoreMinimize | [private] |
| tag_ | Clasp::MinimizeConstraint | [protected] |
| temp_ | Clasp::UncoreMinimize | [private] |
| todo_ | Clasp::UncoreMinimize | [private] |
| type() const | Clasp::Constraint | [virtual] |
| UncoreMinimize(SharedData *d, bool preprocess) | Clasp::UncoreMinimize | [explicit, private] |
| undoLevel(Solver &s) | Clasp::Constraint | [virtual] |
| upper_ | Clasp::UncoreMinimize | [private] |
| valid(Solver &s) | Clasp::UncoreMinimize | [virtual] |
| valid_ | Clasp::UncoreMinimize | [private] |
| validLowerBound() const | Clasp::UncoreMinimize | [inline, private] |
| ~Constraint() | Clasp::Constraint | [protected, virtual] |
| ~MinimizeConstraint() | Clasp::MinimizeConstraint | [protected] |