#include <Lst.hpp>
Public Member Functions | |
Lst () | |
Lst (const Lst &) | |
Lst (const C &head, const Lst &tail) | |
Lst (const C &t) | |
Lst (LstData< C > *) | |
~Lst () | |
void | operator= (const Lst &rhs) |
void | append (const Lst &) |
bool | isEmpty () const |
bool | isNonEmpty () const |
const C & | head () const |
const C & | second () const |
const Lst & | tail () const |
void | pop () |
bool | operator== (const Lst &rhs) const |
void | makeEmpty () |
int | length () const |
bool | member (const C elem) const |
void | push (C elem) |
void | reverse (Lst &result) const |
void | reverse (Lst &result, const Lst &appendTo) const |
void | copy (Lst &to) const |
Protected Attributes | |
LstData< C > * | _data |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Reimplemented in AtomList, ClauseList, FormulaList, InferenceList, IntList, LiteralList, Position, TermList, UnitList, VarList, and VarListList. |
|
|