UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for MinGraphList, including all inherited members.
addGraph(Hypergraph_sp graph, shared_ptr< vector< Hypergraph_sp >> deletedGraphs=nullptr) | MinGraphList | |
addGraphs(vector< Hypergraph_sp > const &graphs) | MinGraphList | |
contains(IDType graphID) const | MinGraphList | |
getGraphs() | MinGraphList | |
graphs | MinGraphList | private |
idsInList | MinGraphList | private |
MinGraphList(basic_types::Order_sp order, analysis::BackwardResultHandler_sp resHandler=nullptr) | MinGraphList | |
order | MinGraphList | private |
resHandler | MinGraphList | private |
size() const | MinGraphList | |
~MinGraphList() | MinGraphList | virtual |