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

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

BackwardResultHandler()BackwardResultHandlerinlineprotected
finishedBackwardStep()=0BackwardResultHandlerpure virtual
setFirstGraphs(shared_ptr< const vector< graphs::Hypergraph_sp >> graphs)=0BackwardResultHandlerpure virtual
setOldGTS(graphs::GTS_csp gts)=0BackwardResultHandlerpure virtual
setPreparedGTS(PreparedGTS_csp gts)=0BackwardResultHandlerpure virtual
startingNewBackwardStep()=0BackwardResultHandlerpure virtual
wasDeletedBecauseOf(IDType deletedGraph, IDType reasonGraph)=0BackwardResultHandlerpure virtual
wasGeneratedByFrom(graphs::Hypergraph_sp genGraph, IDType rule, IDType srcGraph)=0BackwardResultHandlerpure virtual
wasNoValidGraph(IDType deletedGraph)=0BackwardResultHandlerpure virtual
~BackwardResultHandler()BackwardResultHandlerinlinevirtual