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

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
graphsMinGraphListprivate
idsInListMinGraphListprivate
MinGraphList(basic_types::Order_sp order, analysis::BackwardResultHandler_sp resHandler=nullptr)MinGraphList
orderMinGraphListprivate
resHandlerMinGraphListprivate
size() const MinGraphList
~MinGraphList()MinGraphListvirtual