DoublyLinkedListWrap::InsertBefore

Synopsis

Declared in <support/DoublyLinkedList.h>

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

Created with MrDocs