| _counter | Clause::Data | [private] |
| _literals | Clause::Data | [private] |
| Data() | Clause::Data | |
| Data(const LiteralList &literals) | Clause::Data | [inline, explicit] |
| deref() | Clause::Data | [inline] |
| literals() const | Clause::Data | [inline] |
| ref() | Clause::Data | [inline] |
1.3.2