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

Contains basic classes for applying rules. More...

Classes

class  ExpEnumerator
 This class represents a number over a variable base with a fixed length. More...
 
class  IDClosureEnumerator
 This enumerator can be used to enumerate all equivalences on IDs, where the equivalence closure of the enumerated IDPartition and a predefined IDPartition is the IDPartition, where every ID is in the same partition. More...
 
class  IDtoIDEnumerator
 This enumerator encapsulates a mapping of an ID to a set of IDs. More...
 
class  PartialPOCEnumerator
 The PartialPOCEnumerator computes a subset of all pushout complement of a partial rule and a total match. More...
 
class  StdMatchFinder
 StdMatchFinder provides a simple algorithm which takes two arbitrary graphs and calculates all matchings from one to the other. More...
 
class  TotalPOCEnumerator
 This enumerator computes all pushout complements for all co-matches from a total (given) rule to a given graph. More...
 

Functions

std::ostream & operator<< (std::ostream &ost, IDClosureEnumerator const &data)
 

Detailed Description

Contains basic classes for applying rules.

This consists mainly of matching procedures and pushout complement computations.

Author
Jan Stückrath

Function Documentation

std::ostream& uncover::rule_engine::operator<< ( std::ostream &  ost,
IDClosureEnumerator const &  data 
)
Parameters
ostthe stream to which the data will be printed
datathe enumerator which should be printed
Returns
a reference to the used stream