DoublyLinkedListWrap::Iterator::CurrentPtr

Synopsis

Declared in <support/DoublyLinkedList.h>

DoublyLinkedEntryWrap<SymbolicTerm>*
CurrentPtr() const;

Created with MrDocs