firstArgument() const | VampireKernel::Subterm | |
isVariable() const | VampireKernel::Subterm | |
next() const | VampireKernel::Subterm | |
Subterm() | VampireKernel::Subterm | [inline, private] |
topFunction() const | VampireKernel::Subterm | |
VampireKernel class | VampireKernel::Subterm | [friend] |
variableNumber() const | VampireKernel::Subterm | |
~Subterm() | VampireKernel::Subterm | [inline, private] |