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