UnCoVer (Using Coverability for Verification)
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Pages
GTS Member List

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
initialGraphsGTSprotected
nameGTSprotected
RuleMap typedefGTS
stdRulesGTSprotected
Streamable()Streamableinlineprotected
streamTo(std::ostream &ost) const GTSvirtual
UQRuleMap typedefGTS
uqRulesGTSprotected
~GTS()GTS
~Streamable()Streamableinlineprotectedvirtual