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] |