DoublyLinkedListWrap::iterator::iterator

Synopsis

Declared in <support/DoublyLinkedList.h>

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

Created with MrDocs