_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] |