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

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

BackwardResultHandler()BackwardResultHandlerinlineprotected
currentStepGraphsInstantWriterResultHandlerprivate
extentInstantWriterResultHandlerprivate
Extent enum nameInstantWriterResultHandler
finishedBackwardStep() overrideInstantWriterResultHandlervirtual
foldernameInstantWriterResultHandlerprivate
FULL enum valueInstantWriterResultHandler
graphDeletionFileInstantWriterResultHandlerprivate
graphGenerationFileInstantWriterResultHandlerprivate
gtxlWriterInstantWriterResultHandlerprivate
ID_FILES enum valueInstantWriterResultHandler
ID_FILES_AND_RULES enum valueInstantWriterResultHandler
InstantWriterResultHandler(boost::filesystem::path &foldername)InstantWriterResultHandler
InstantWriterResultHandler()InstantWriterResultHandlerprivate
setFirstGraphs(shared_ptr< const vector< graphs::Hypergraph_sp >> graphs) overrideInstantWriterResultHandlervirtual
setOldGTS(graphs::GTS_csp gts) overrideInstantWriterResultHandlervirtual
setPreparedGTS(PreparedGTS_csp gts) overrideInstantWriterResultHandlervirtual
startingNewBackwardStep() overrideInstantWriterResultHandlervirtual
stepnrInstantWriterResultHandlerprivate
wasDeletedBecauseOf(IDType deletedGraph, IDType reasonGraph) overrideInstantWriterResultHandlervirtual
wasGeneratedByFrom(graphs::Hypergraph_sp genGraph, IDType rule, IDType srcGraph) overrideInstantWriterResultHandlervirtual
wasNoValidGraph(IDType deletedGraph) overrideInstantWriterResultHandlervirtual
~BackwardResultHandler()BackwardResultHandlerinlinevirtual
~InstantWriterResultHandler()InstantWriterResultHandlervirtual