UnCoVer (Using Coverability for Verification)
|
Files | |
file | AnonHypergraph.cpp |
file | AnonHypergraph.h [code] |
file | AnonRule.cpp |
file | AnonRule.h [code] |
file | Edge.cpp |
file | Edge.h [code] |
file | graphs-info.h [code] |
file | GTS.cpp |
file | GTS.h [code] |
file | Hypergraph.cpp |
file | Hypergraph.h [code] |
file | IsomorphismChecker.cpp |
file | IsomorphismChecker.h [code] |
file | Mapping.cpp |
file | Mapping.h [code] |
file | MinGraphList.cpp |
file | MinGraphList.h [code] |
file | PathChecker.cpp |
file | PathChecker.h [code] |
file | Rule.cpp |
file | Rule.h [code] |
file | SignatureCreater.cpp |
file | SignatureCreater.h [code] |
file | UQRule.cpp |
file | UQRule.h [code] |
file | UQRuleInstance.cpp |
file | UQRuleInstance.h [code] |
file | Vertex.cpp |
file | Vertex.h [code] |