UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
Classes | Typedefs | Functions
uncover::subgraphs Namespace Reference

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...
 

Detailed Description

Contains implementations of classes from the uncover::analysis namespace for the subgraph ordering.

Enables the subgraph ordering to be used in the analysis.

Author
Jan Stückrath

Function Documentation

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.

Parameters
rulea reference to the rule to be prepared
callbacka callback for storing newly generated rules
rulePreparerthe RulePreparer used for preparation