#include <Literal.hpp>
Inheritance diagram for LiteralList:
Public Member Functions | |
LiteralList () | |
LiteralList (const LiteralList &) | |
LiteralList (const Literal &t) | |
LiteralList (const Literal &head, const LiteralList &tail) | |
LiteralList (LstData< Literal > *) | |
LiteralList (const VampireKernel::Literal *lit, const VampireKernel &kernel) | |
const LiteralList & | tail () const |
bool | isRenamingOf (LiteralList lst) const |
Private Member Functions | |
bool | isRenamingOf (LiteralList tried, LiteralList remaining, Substitution sbst) const |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Reimplemented from Lst< Literal >. |