#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 >. |