DoublyLinkedListWrap::Iterator::Iterator

Synopsis

Declared in <support/DoublyLinkedList.h>

Iterator(
    DoublyLinkedListWrap<SymbolicTerm> const& l,
    DoublyLinkedEntryWrap<SymbolicTerm>* c);

Created with MrDocs