UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for GTS, including all inherited members.
addInitialGraph(Hypergraph_sp graph) | GTS | |
addStdRule(Rule_sp rule) | GTS | |
addUQRule(UQRule_sp rule) | GTS | |
getInitialCount() const | GTS | |
getInitialGraphs() const | GTS | |
getName() const | GTS | |
getStdRuleCount() const | GTS | |
getStdRules() const | GTS | |
getUQRuleCount() const | GTS | |
getUQRules() const | GTS | |
GTS(string name="", RuleMap const &rules=(RuleMap()), UQRuleMap const &uqRules=(UQRuleMap()), vector< Hypergraph_sp > const &initialGraphs=vector< Hypergraph_sp >()) | GTS | |
initialGraphs | GTS | protected |
name | GTS | protected |
RuleMap typedef | GTS | |
stdRules | GTS | protected |
Streamable() | Streamable | inlineprotected |
streamTo(std::ostream &ost) const | GTS | virtual |
UQRuleMap typedef | GTS | |
uqRules | GTS | protected |
~GTS() | GTS | |
~Streamable() | Streamable | inlineprotectedvirtual |