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

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)PreparedGTSprotected
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
initialGraphsGTSprotected
nameGTSprotected
oldStdRulesPreparedGTSprotected
PreparedGTS(GTS const &gts, RulePreparer_sp rulePrep, bool opt=true)PreparedGTS
prepFromPreparedGTSprotected
RuleMap typedefGTS
rulePreparerPreparedGTSprotected
stdRulesGTSprotected
Streamable()Streamableinlineprotected
streamTo(std::ostream &ost) const GTSvirtual
uqRuleInstancesPreparedGTSprotected
uqRuleLengthsPreparedGTSprotected
UQRuleMap typedefGTS
uqRulesGTSprotected
~GTS()GTS
~PreparedGTS()PreparedGTSvirtual
~Streamable()Streamableinlineprotectedvirtual