| _data | Literal | [private] |
| atom() const | Literal | [inline] |
| compare(Literal l) const | Literal | |
| exists() const | Literal | [inline] |
| isless(Literal l) const | Literal | |
| isRenamingOf(Literal l, Substitution &sbst) const | Literal | |
| Literal() | Literal | [inline] |
| Literal(bool sign, const Atom &atom) | Literal | [inline] |
| Literal(const Literal &t) | Literal | [inline] |
| Literal(const VampireKernel::Literal *lit, const VampireKernel &kernel) | Literal | |
| negative() const | Literal | [inline] |
| normalize() | Literal | |
| operator=(const Literal &rhs) | Literal | |
| positive() const | Literal | [inline] |
| sign() const | Literal | [inline] |
| ~Literal() | Literal | [inline] |
1.3.2