| Ancestor() | VampireKernel::Clause::Ancestor | [inline, private] |
| Clause class | VampireKernel::Clause::Ancestor | [friend] |
| clause() const | VampireKernel::Clause::Ancestor | |
| next() const | VampireKernel::Clause::Ancestor | |
| ~Ancestor() | VampireKernel::Clause::Ancestor | [inline, private] |
1.3.2