#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 >. |
1.3.2