This is the complete list of members for
Clasp::Assignment, including all inherited members.
| addVar() | Clasp::Assignment | [inline] |
| assign(Literal p, uint32 lev, const Antecedent &x) | Clasp::Assignment | [inline] |
| assign(Literal p, uint32 lev, Constraint *c, uint32 data) | Clasp::Assignment | [inline] |
| assign_ | Clasp::Assignment | [private] |
| assigned() const | Clasp::Assignment | [inline] |
| Assignment() | Clasp::Assignment | [inline] |
| Assignment(const Assignment &) | Clasp::Assignment | [private] |
| AssignVec typedef | Clasp::Assignment | |
| clear(Var v) | Clasp::Assignment | [inline, private] |
| clearSeen(Var v) | Clasp::Assignment | [inline] |
| clearValue(Var v) | Clasp::Assignment | [inline] |
| copyAssignment(Assignment &o) const | Clasp::Assignment | [inline] |
| data(Var v) const | Clasp::Assignment | [inline] |
| elim_mask | Clasp::Assignment | [private, static] |
| eliminate(Var v) | Clasp::Assignment | [inline] |
| elims_ | Clasp::Assignment | [private] |
| free() const | Clasp::Assignment | [inline] |
| front | Clasp::Assignment | |
| last() const | Clasp::Assignment | [inline] |
| last() | Clasp::Assignment | [inline] |
| level(Var v) const | Clasp::Assignment | [inline] |
| markUnits() | Clasp::Assignment | [inline] |
| maxLevel() const | Clasp::Assignment | [inline] |
| numData() const | Clasp::Assignment | [inline] |
| numVars() const | Clasp::Assignment | [inline] |
| operator=(const Assignment &) | Clasp::Assignment | [private] |
| popUntil(Literal stop) | Clasp::Assignment | [inline, private] |
| pref(Var v) const | Clasp::Assignment | [inline] |
| pref_ | Clasp::Assignment | [private] |
| PrefVec typedef | Clasp::Assignment | |
| qEmpty() const | Clasp::Assignment | [inline] |
| qPop() | Clasp::Assignment | [inline] |
| qReset() | Clasp::Assignment | [inline] |
| qSize() const | Clasp::Assignment | [inline] |
| reason(Var v) const | Clasp::Assignment | [inline] |
| reason_ | Clasp::Assignment | [private] |
| ReasonVec typedef | Clasp::Assignment | |
| ReasonWithData typedef | Clasp::Assignment | |
| requestData(uint32 nv) | Clasp::Assignment | [inline] |
| requestPrefs() | Clasp::Assignment | [inline] |
| resize(uint32 nv) | Clasp::Assignment | [inline] |
| saveAndClear(Var v) | Clasp::Assignment | [inline, private] |
| seen(Var v, uint8 m) const | Clasp::Assignment | [inline] |
| setData(Var v, uint32 data) | Clasp::Assignment | [inline] |
| setPref(Var v, ValueSet::Value which, ValueRep to) | Clasp::Assignment | [inline] |
| setReason(Var v, const Antecedent &a) | Clasp::Assignment | [inline] |
| setSeen(Var v, uint8 m) | Clasp::Assignment | [inline] |
| setUnits(uint32 ts) | Clasp::Assignment | [inline] |
| setValue(Var v, ValueRep val) | Clasp::Assignment | [inline] |
| trail | Clasp::Assignment | |
| undoLast() | Clasp::Assignment | [inline] |
| undoTrail(LitVec::size_type first, bool save) | Clasp::Assignment | [inline] |
| units() const | Clasp::Assignment | [inline] |
| units_ | Clasp::Assignment | [private] |
| valid(Var v) const | Clasp::Assignment | [inline] |
| value(Var v) const | Clasp::Assignment | [inline] |