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