UnCoVer (Using Coverability for Verification)
|
The StdRuleMapCB is a helper class defining a CollectionCallback to a PreparedGTS standard rule map. More...
#include <PreparedGTS.h>
Public Member Functions | |
StdRuleMapCB (PreparedGTS >s) | |
Creates a new CollectionCallback to the given PreparedGTS standard rule map. More... | |
virtual | ~StdRuleMapCB () |
Destroys this StdRuleMapCB, not affecting the references PreparedGTS. | |
virtual void | insert (graphs::Rule_sp rule) |
Adds the given Rule to the standard rule map of the PreparedGTS. More... | |
void | setCurrentRuleID (IDType id) |
Sets the ID of the rule which was used to generate any subsequently added (prepared) rules (until the next time this function is called). | |
Private Attributes | |
PreparedGTS & | gts |
Stores a reference to the PreparedGTS to which Rules will be added by this callback. | |
IDType | currentRuleID |
Stores an ID which will be set as the original rule ID from which any rules added by insert(...) were generated. | |
The StdRuleMapCB is a helper class defining a CollectionCallback to a PreparedGTS standard rule map.
For every rule added it also stores that it was prepared by the rule with the ID currently set in this callback.
|
inline |
Creates a new CollectionCallback to the given PreparedGTS standard rule map.
gts | to which rules will be added by the callback |
|
inlinevirtual |
Adds the given Rule to the standard rule map of the PreparedGTS.
It is also referenced as having been prepared from the rule with the ID currently stored in this callback.
rule | the rule to be added |
Implements CollectionCallback< graphs::Rule_sp >.