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

This is the complete list of members for BackwardAnalysis, including all inherited members.

applyOne(graphs::MinGraphList &minList, vector< graphs::Hypergraph_sp > &newGraphs)BackwardAnalysisprivate
BackwardAnalysis(graphs::GTS_sp gts, shared_ptr< vector< graphs::Hypergraph_sp >> errorGraphs, basic_types::Order_sp order, RulePreparer_sp rulePreparer, MinPOCEnumerator_sp pocEnumerator, bool checkInitial=false, BackwardResultHandler_sp resultHandler=nullptr, unsigned int timeout=0)BackwardAnalysis
checkInitialBackwardAnalysisprivate
errorGraphsBackwardAnalysisprivate
gtsBackwardAnalysisprivate
orderBackwardAnalysisprivate
performAnalysis()BackwardAnalysis
pocEnumeratorBackwardAnalysisprivate
resultHandlerBackwardAnalysisprivate
rulePreparerBackwardAnalysisprivate
timerBackwardAnalysisprivate
~BackwardAnalysis()BackwardAnalysisvirtual