UnCoVer (Using Coverability for Verification)
|
This is the complete list of members for BackwardResultHandler, including all inherited members.
BackwardResultHandler() | BackwardResultHandler | inlineprotected |
finishedBackwardStep()=0 | BackwardResultHandler | pure virtual |
setFirstGraphs(shared_ptr< const vector< graphs::Hypergraph_sp >> graphs)=0 | BackwardResultHandler | pure virtual |
setOldGTS(graphs::GTS_csp gts)=0 | BackwardResultHandler | pure virtual |
setPreparedGTS(PreparedGTS_csp gts)=0 | BackwardResultHandler | pure virtual |
startingNewBackwardStep()=0 | BackwardResultHandler | pure virtual |
wasDeletedBecauseOf(IDType deletedGraph, IDType reasonGraph)=0 | BackwardResultHandler | pure virtual |
wasGeneratedByFrom(graphs::Hypergraph_sp genGraph, IDType rule, IDType srcGraph)=0 | BackwardResultHandler | pure virtual |
wasNoValidGraph(IDType deletedGraph)=0 | BackwardResultHandler | pure virtual |
~BackwardResultHandler() | BackwardResultHandler | inlinevirtual |