UnCoVer (Using Coverability for Verification)
|
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) |
Contains basic classes for applying rules.
This consists mainly of matching procedures and pushout complement computations.
std::ostream& uncover::rule_engine::operator<< | ( | std::ostream & | ost, |
IDClosureEnumerator const & | data | ||
) |
ost | the stream to which the data will be printed |
data | the enumerator which should be printed |