| clear() | Clasp::VarScore | [inline] |
| nVal() const | Clasp::VarScore | [inline] |
| nVal_ | Clasp::VarScore | [private] |
| prefSign() const | Clasp::VarScore | [inline] |
| pVal() const | Clasp::VarScore | [inline] |
| pVal_ | Clasp::VarScore | [private] |
| score(Literal p) const | Clasp::VarScore | [inline] |
| score(uint32 &mx, uint32 &mn) const | Clasp::VarScore | [inline] |
| seen(Literal p) const | Clasp::VarScore | [inline] |
| seen() const | Clasp::VarScore | [inline] |
| seen_ | Clasp::VarScore | [private] |
| setDepScore(Literal p, uint32 sc) | Clasp::VarScore | [inline] |
| setScore(Literal p, LitVec::size_type value) | Clasp::VarScore | [inline] |
| setSeen(Literal p) | Clasp::VarScore | [inline] |
| setTested(Literal p) | Clasp::VarScore | [inline] |
| tested(Literal p) const | Clasp::VarScore | [inline] |
| tested() const | Clasp::VarScore | [inline] |
| tested_ | Clasp::VarScore | [private] |
| testedBoth() const | Clasp::VarScore | [inline] |
| VarScore() | Clasp::VarScore | [inline] |