UnCoVer (Using Coverability for Verification)
|
Contains implementations of classes from the uncover::analysis namespace for the subgraph ordering. More...
Classes | |
class | SubgraphOrder |
This class implement the "standard" subgraph ordering. More... | |
class | SubgraphPOCEnumerator |
This enumerator can be used to enumerate all pushout complements of a (partial) rule and a graph. More... | |
class | SubgraphRulePreparer |
This class prepares given rules to be used together with the subgraph order in the backward search. More... | |
Typedefs | |
typedef shared_ptr < SubgraphRulePreparer > | SubgraphRulePreparer_sp |
Alias for a shared pointer of a SubgraphRulePreparer. | |
typedef shared_ptr < SubgraphRulePreparer const > | SubgraphRulePreparer_csp |
Alias for a shared pointer of a constant SubgraphRulePreparer. | |
Functions | |
template<class T > | |
void | prepareRule_Impl (T const &rule, CollectionCallback< shared_ptr< T >> &callback, RulePreparer const &rulePreparer) |
Serves as an implementation of the SubgraphRulePreparer::prepareRule(...) variants for normal and UQRules. More... | |
Contains implementations of classes from the uncover::analysis namespace for the subgraph ordering.
Enables the subgraph ordering to be used in the analysis.
void uncover::subgraphs::prepareRule_Impl | ( | T const & | rule, |
CollectionCallback< shared_ptr< T >> & | callback, | ||
RulePreparer const & | rulePreparer | ||
) |
Serves as an implementation of the SubgraphRulePreparer::prepareRule(...) variants for normal and UQRules.
rule | a reference to the rule to be prepared |
callback | a callback for storing newly generated rules |
rulePreparer | the RulePreparer used for preparation |