UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for PreparedGTS, including all inherited members.
addInitialGraph(Hypergraph_sp graph) | GTS | |
addStdRule(Rule_sp rule) | GTS | |
addUQRule(UQRule_sp rule) | GTS | |
beginUQInstances(IDType const &ruleID, graphs::Hypergraph const &graph) | PreparedGTS | |
createInstancesUpTo(IDType const &ruleID, size_t bound) | PreparedGTS | protected |
getInitialCount() const | GTS | |
getInitialGraphs() const | GTS | |
getName() const | GTS | |
getOriginalRules(IDType id) const | PreparedGTS | |
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 |
oldStdRules | PreparedGTS | protected |
PreparedGTS(GTS const >s, RulePreparer_sp rulePrep, bool opt=true) | PreparedGTS | |
prepFrom | PreparedGTS | protected |
RuleMap typedef | GTS | |
rulePreparer | PreparedGTS | protected |
stdRules | GTS | protected |
Streamable() | Streamable | inlineprotected |
streamTo(std::ostream &ost) const | GTS | virtual |
uqRuleInstances | PreparedGTS | protected |
uqRuleLengths | PreparedGTS | protected |
UQRuleMap typedef | GTS | |
uqRules | GTS | protected |
~GTS() | GTS | |
~PreparedGTS() | PreparedGTS | virtual |
~Streamable() | Streamable | inlineprotectedvirtual |