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

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< AnonRuleAnonRule_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< GTSGTS_sp
 Alias for a shared pointer to a GTS object.
 
typedef shared_ptr< const GTSGTS_csp
 Alias for a shared pointer to a constant GTS object.
 
typedef shared_ptr< HypergraphHypergraph_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< MappingMapping_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< RuleRule_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< UQRuleUQRule_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)
 

Detailed Description

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.

Author
Jan Stückrath

Typedef Documentation

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.

Function Documentation

std::ostream& uncover::graphs::operator<< ( std::ostream &  ost,
Vertex const &  data 
)
Parameters
ostthe stream to which the Vertex ist streamed
datathe Vertex to be streamed
std::ostream& uncover::graphs::operator<< ( std::ostream &  ost,
Edge const &  data 
)
Parameters
ostthe ostream to be used
datathe Edge to be streamed
Returns
a reference to the given stream
std::ostream& uncover::graphs::operator<< ( std::ostream &  ost,
Mapping const &  map 
)
Parameters
ostthe stream to which it will be streamed
mapthe Mapping which will be streamed
Returns
a reference to the given stream object
bool uncover::graphs::operator== ( const Mapping &  m1,
const Mapping &  m2 
)

contain the same mappings).

Parameters
m1the first Mapping
m2the second Mapping
Returns
true, iff the given Mappings are equal