UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for BackwardAnalysis, including all inherited members.
applyOne(graphs::MinGraphList &minList, vector< graphs::Hypergraph_sp > &newGraphs) | BackwardAnalysis | private |
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 | |
checkInitial | BackwardAnalysis | private |
errorGraphs | BackwardAnalysis | private |
gts | BackwardAnalysis | private |
order | BackwardAnalysis | private |
performAnalysis() | BackwardAnalysis | |
pocEnumerator | BackwardAnalysis | private |
resultHandler | BackwardAnalysis | private |
rulePreparer | BackwardAnalysis | private |
timer | BackwardAnalysis | private |
~BackwardAnalysis() | BackwardAnalysis | virtual |