#include <q.hpp>
Public Member Functions | |
| const Clause * | clause () const |
| const Ancestor * | next () const |
Private Member Functions | |
| Ancestor () | |
| ~Ancestor () | |
Friends | |
| class | Clause |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.3.2