UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
PreparedGTS::StdRuleMapCB Member List

This is the complete list of members for PreparedGTS::StdRuleMapCB, including all inherited members.

CollectionCallback()CollectionCallback< graphs::Rule_sp >inlineprotected
currentRuleIDPreparedGTS::StdRuleMapCBprivate
gtsPreparedGTS::StdRuleMapCBprivate
insert(graphs::Rule_sp rule)PreparedGTS::StdRuleMapCBinlinevirtual
setCurrentRuleID(IDType id)PreparedGTS::StdRuleMapCBinline
StdRuleMapCB(PreparedGTS &gts)PreparedGTS::StdRuleMapCBinline
~CollectionCallback()CollectionCallback< graphs::Rule_sp >inlinevirtual
~StdRuleMapCB()PreparedGTS::StdRuleMapCBinlinevirtual