#include <Clause.hpp>
Public Member Functions | |
| Data () | |
| Data (const LiteralList &literals) | |
| const LiteralList & | literals () const |
| void | ref () |
| void | deref () |
Private Attributes | |
| int | _counter |
| LiteralList | _literals |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2