UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
CollectionCallback< E > Member List

This is the complete list of members for CollectionCallback< E >, including all inherited members.

CollectionCallback()CollectionCallback< E >inlineprotected
insert(E element)=0CollectionCallback< E >pure virtual
~CollectionCallback()CollectionCallback< E >inlinevirtual