20 #ifndef INSTANTWRITERRESULTHANDLER_H_
21 #define INSTANTWRITERRESULTHANDLER_H_
23 #include "BackwardResultHandler.h"
24 #include "../io/GTXLWriter.h"
25 #include <boost/filesystem.hpp>
26 #include <boost/filesystem/fstream.hpp>
67 virtual void setFirstGraphs(shared_ptr<
const vector<graphs::Hypergraph_sp>> graphs)
override;
boost::filesystem::path foldername
Stores the path to the storage folder.
Definition: InstantWriterResultHandler.h:89
virtual void finishedBackwardStep() override
Informs that the current backward step has ended.
Definition: InstantWriterResultHandler.cpp:115
shared_ptr< const GTS > GTS_csp
Alias for a shared pointer to a constant GTS object.
Definition: GTS.h:169
virtual void setOldGTS(graphs::GTS_csp gts) override
Sets the old unprepared GTS.
Definition: InstantWriterResultHandler.cpp:70
Stores only the GTSs and the IDs of graph, but not the graphs themselves.
Definition: InstantWriterResultHandler.h:48
virtual ~InstantWriterResultHandler()
Destroys this instance of InstantWriterResultHandler.
Definition: InstantWriterResultHandler.cpp:61
The BackwardResultHandler is an interface to handle intermediate results produced by the backward sea...
Definition: BackwardResultHandler.h:33
InstantWriterResultHandler::Extent extent
Stores the extent to which information is stored.
Definition: InstantWriterResultHandler.h:119
vector< graphs::Hypergraph_sp > currentStepGraphs
A collection temporary storing all graphs generated in the current backward step. ...
Definition: InstantWriterResultHandler.h:109
Stores only the IDs of graph, but not the graphs or GTSs.
Definition: InstantWriterResultHandler.h:50
Extent
Describes the extent to which the information should be stored.
Definition: InstantWriterResultHandler.h:44
shared_ptr< PreparedGTS const > PreparedGTS_csp
Alias of a shared pointer to a constant PreparedGTS.
Definition: PreparedGTS.h:289
virtual void setFirstGraphs(shared_ptr< const vector< graphs::Hypergraph_sp >> graphs) override
Sets the initial set of graphs from which the backward search is started.
Definition: InstantWriterResultHandler.cpp:86
virtual void startingNewBackwardStep() override
Informs that the next backward step has begun.
Definition: InstantWriterResultHandler.cpp:109
virtual void wasDeletedBecauseOf(IDType deletedGraph, IDType reasonGraph) override
Stores that the graph with the first ID was deleted because it was subsumed by the graph with the sec...
Definition: InstantWriterResultHandler.cpp:94
unsigned int stepnr
A counter storing the index of the current backward step.
Definition: InstantWriterResultHandler.h:114
The InstantWriterResultHandler implements the BackwardResultHandler by writing the given information ...
Definition: InstantWriterResultHandler.h:37
boost::filesystem::ofstream graphDeletionFile
The file stream where information about the deletion of old graphs are stored.
Definition: InstantWriterResultHandler.h:104
virtual void wasNoValidGraph(IDType deletedGraph) override
Stores that the graph with the given ID did not belong to the restricted set of graphs and was theref...
Definition: InstantWriterResultHandler.cpp:98
InstantWriterResultHandler()
This constructor cannot/should not be called.
Definition: InstantWriterResultHandler.cpp:34
virtual void setPreparedGTS(PreparedGTS_csp gts) override
Sets the new prepared GTS.
Definition: InstantWriterResultHandler.cpp:78
boost::filesystem::ofstream graphGenerationFile
The file stream where information about the generation of new graphs are stored.
Definition: InstantWriterResultHandler.h:99
unsigned int IDType
IDType is an (unsigned) integer specifically used as an Identifier of graphs, elements of graphs or a...
Definition: globals.h:53
unique_ptr< io::GTXLWriter > gtxlWriter
A GTXLWriter used to write the information to the file system.
Definition: InstantWriterResultHandler.h:94
virtual void wasGeneratedByFrom(graphs::Hypergraph_sp genGraph, IDType rule, IDType srcGraph) override
Stores that the given graph was generated from the second graph by the given rule.
Definition: InstantWriterResultHandler.cpp:102
Stores all given information.
Definition: InstantWriterResultHandler.h:46
shared_ptr< Hypergraph > Hypergraph_sp
Alias for a shared pointer to a Hypergraph.
Definition: Hypergraph.h:85