DoublyLinkedListWrap::InsertAfter

Synopsis

Declared in <support/DoublyLinkedList.h>

DoublyLinkedEntryWrap<SymbolicTerm>*
InsertAfter(
    SymbolicTerm const& o,
    DoublyLinkedEntryWrap<SymbolicTerm>* pos);

Created with MrDocs