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