| act_ | Clasp::ClauseInfo | [private] |
| activity() const | Clasp::ClauseInfo | [inline] |
| aux() const | Clasp::ClauseInfo | [inline] |
| aux_ | Clasp::ClauseInfo | [private] |
| ClauseInfo(ConstraintType t=Constraint_t::static_constraint) | Clasp::ClauseInfo | [inline] |
| lbd() const | Clasp::ClauseInfo | [inline] |
| lbd_ | Clasp::ClauseInfo | [private] |
| learnt() const | Clasp::ClauseInfo | [inline] |
| MAX_ACTIVITY enum value | Clasp::ClauseInfo | |
| MAX_LBD enum value | Clasp::ClauseInfo | |
| self_type typedef | Clasp::ClauseInfo | |
| setActivity(uint32 act) | Clasp::ClauseInfo | [inline] |
| setAux(bool b) | Clasp::ClauseInfo | [inline] |
| setLbd(uint32 a_lbd) | Clasp::ClauseInfo | [inline] |
| setTagged(bool b) | Clasp::ClauseInfo | [inline] |
| setType(ConstraintType t) | Clasp::ClauseInfo | [inline] |
| tag_ | Clasp::ClauseInfo | [private] |
| tagged() const | Clasp::ClauseInfo | [inline] |
| type() const | Clasp::ClauseInfo | [inline] |
| type_ | Clasp::ClauseInfo | [private] |