#include <Clause.hpp>
Inheritance diagram for ClauseList:

Public Member Functions | |
| ClauseList () | |
| ClauseList (const ClauseList &) | |
| ClauseList (const Clause &t) | |
| ClauseList (const Clause &head, const ClauseList &tail) | |
| ClauseList (LstData< Clause > *) | |
| const LiteralList & | literals () |
| const ClauseList & | tail () const |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
Reimplemented from Lst< Clause >. |
1.3.2