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