#include <gdtlist.h>
Public Attributes | |
Record< F > * | succ |
Record< F > * | pred |
F | inf |
Definition at line 33 of file gdtlist.h.
Record<F>* gdt::Record< F >::succ |
Definition at line 35 of file gdtlist.h.
Referenced by gdt::gdtlist< E >::check_item(), gdt::gdtlist< E >::conc(), gdt::gdtlist< E >::consistency_check(), gdt::gdtlist< E >::del_item(), gdt::gdtlist< E >::insert(), gdt::gdtlist< E >::remove(), gdt::gdtlist< E >::reverse_items(), gdt::gdtlist< E >::succ(), and gdt::gdtlist< E >::swap_items().
Record<F>* gdt::Record< F >::pred |
Definition at line 36 of file gdtlist.h.
Referenced by gdt::gdtlist< E >::conc(), gdt::gdtlist< E >::consistency_check(), gdt::gdtlist< E >::del_item(), gdt::gdtlist< E >::insert(), gdt::gdtlist< E >::pred(), gdt::gdtlist< E >::reverse_items(), gdt::gdtlist< E >::split(), and gdt::gdtlist< E >::swap_items().
F gdt::Record< F >::inf |
Definition at line 37 of file gdtlist.h.
Referenced by gdt::gdtlist< E >::assign(), gdt::gdtlist< E >::contents(), gdt::gdtlist< E >::del_item(), gdt::gdtlist< E >::insert(), and gdt::gdtlist< E >::operator[]().