UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for CollectionCallback< E >, including all inherited members.
CollectionCallback() | CollectionCallback< E > | inlineprotected |
insert(E element)=0 | CollectionCallback< E > | pure virtual |
~CollectionCallback() | CollectionCallback< E > | inlinevirtual |