UnCoVer (Using Coverability for Verification)
|
Contains all classes and definitions for graphs, mappings between graphs, rules and graph transformation systems. More...
Classes | |
class | AnonHypergraph |
An AnonHypergraph is a data structure storing a hypergraph. More... | |
class | AnonRule |
AnonRule serves as a data structure of a rule object. More... | |
class | Edge |
This class represents an edge in a Hypergraph. More... | |
class | GTS |
The GTS class is the data structure for a graph transformation system. More... | |
class | Hypergraph |
A Hypergraph represents a graph with a unique identifier. More... | |
class | IsomorphismChecker |
Checks whether two given Hypergraphs are isomorphic or not. More... | |
class | Mapping |
This is the data structure representing a morphism mapping from a graph to another graph. More... | |
class | MinGraphList |
This data structure stores a collection of graphs minimal to some given order. More... | |
class | PathChecker |
The PathChecker class provides functions to compute whether given graphs have paths of a defined length. More... | |
class | Rule |
Represents the data structure for a rule including a unique identifier. More... | |
class | SignatureCreater |
The SignatureCreater provides functions to generate signatures for Hypergraphs. More... | |
class | UQRule |
This class serves as data structure of a universally quantified rule. More... | |
class | UQRuleInstance |
The UQRuleInstance is a rule which is generated when UQRules are instantiated. More... | |
class | Vertex |
Vertex stores all data of a vertex in a Hypergraph. More... | |
Typedefs | |
typedef unsigned int | PartSig |
PartSig is a Signature of an element of a graph. More... | |
typedef unordered_map< IDType, PartSig > | HGSignature |
HGSignature represents a Signature calculated from a Hypergraph. More... | |
typedef shared_ptr < AnonHypergraph > | AnonHypergraph_sp |
Alias of a shared pointer to an AnonHypergraph. | |
typedef shared_ptr< const AnonHypergraph > | AnonHypergraph_csp |
Alias of a shared pointer to a constant AnonHypergraph. | |
typedef shared_ptr< AnonRule > | AnonRule_sp |
Alias for a shared pointer to an AnonRule. | |
typedef shared_ptr< const AnonRule > | AnonRule_csp |
Alias for a shared pointer to a constant AnonRule. | |
typedef shared_ptr< GTS > | GTS_sp |
Alias for a shared pointer to a GTS object. | |
typedef shared_ptr< const GTS > | GTS_csp |
Alias for a shared pointer to a constant GTS object. | |
typedef shared_ptr< Hypergraph > | Hypergraph_sp |
Alias for a shared pointer to a Hypergraph. | |
typedef shared_ptr< const Hypergraph > | Hypergraph_csp |
Alias for a shared pointer to a constant Hypergraph. | |
typedef shared_ptr< Mapping > | Mapping_sp |
Alias for a shared pointer to a Mapping object. | |
typedef shared_ptr< Mapping const > | Mapping_csp |
Alias for a shared pointer to a constant Mapping object. | |
typedef shared_ptr< Rule > | Rule_sp |
Alias for a shared pointer to a Rule. | |
typedef shared_ptr< Rule const > | Rule_csp |
Alias for a shared pointer to a constant Rule. | |
typedef shared_ptr< UQRule > | UQRule_sp |
Alias for a shared pointer to a UQRule. | |
typedef shared_ptr< UQRule const > | UQRule_csp |
Alias for a shared pointer to a constant UQRule. | |
typedef shared_ptr < UQRuleInstance > | UQRuleInstance_sp |
Alias of a shared pointer to a UQRuleIstance. | |
typedef shared_ptr < UQRuleInstance const > | UQRuleInstance_csp |
Alias of a shared pointer to a constant UQRuleInstance. | |
Functions | |
std::ostream & | operator<< (std::ostream &ost, Edge const &data) |
bool | operator== (const Mapping &m1, const Mapping &m2) |
std::ostream & | operator<< (std::ostream &ost, Mapping const &map) |
std::ostream & | operator<< (std::ostream &ost, Vertex const &data) |
Contains all classes and definitions for graphs, mappings between graphs, rules and graph transformation systems.
See the namespace uncover::rule_engine for basic classes and definitions for applying rules.
typedef unordered_map<IDType,PartSig> HGSignature |
HGSignature represents a Signature calculated from a Hypergraph.
If two Hypergraphs are isomorphic, their signature is equal.
typedef unsigned int PartSig |
PartSig is a Signature of an element of a graph.
It is used as part of the Signature type.
std::ostream& uncover::graphs::operator<< | ( | std::ostream & | ost, |
Vertex const & | data | ||
) |
std::ostream& uncover::graphs::operator<< | ( | std::ostream & | ost, |
Edge const & | data | ||
) |
ost | the ostream to be used |
data | the Edge to be streamed |
std::ostream& uncover::graphs::operator<< | ( | std::ostream & | ost, |
Mapping const & | map | ||
) |
ost | the stream to which it will be streamed |
map | the Mapping which will be streamed |