| firstArgument() const | VampireKernel::Literal | |
| isPositive() const | VampireKernel::Literal | |
| Literal() | VampireKernel::Literal | [inline, private] |
| next() const | VampireKernel::Literal | |
| predicate() const | VampireKernel::Literal | |
| VampireKernel class | VampireKernel::Literal | [friend] |
| ~Literal() | VampireKernel::Literal | [inline, private] |
1.3.2