20 #ifndef BACKWARDRESULTHANDLER_H_
21 #define BACKWARDRESULTHANDLER_H_
23 #include "PreparedGTS.h"
58 virtual void setFirstGraphs(shared_ptr<
const vector<graphs::Hypergraph_sp>> graphs) = 0;
virtual void setOldGTS(graphs::GTS_csp gts)=0
Sets the old unprepared GTS.
shared_ptr< const GTS > GTS_csp
Alias for a shared pointer to a constant GTS object.
Definition: GTS.h:169
virtual void setPreparedGTS(PreparedGTS_csp gts)=0
Sets the new prepared GTS.
virtual ~BackwardResultHandler()
Destroys the current BackwardResultHandler.
Definition: BackwardResultHandler.h:40
The BackwardResultHandler is an interface to handle intermediate results produced by the backward sea...
Definition: BackwardResultHandler.h:33
shared_ptr< PreparedGTS const > PreparedGTS_csp
Alias of a shared pointer to a constant PreparedGTS.
Definition: PreparedGTS.h:289
virtual void wasGeneratedByFrom(graphs::Hypergraph_sp genGraph, IDType rule, IDType srcGraph)=0
Stores that the given graph was generated from the second graph by the given rule.
virtual void startingNewBackwardStep()=0
Informs that the next backward step has begun.
shared_ptr< BackwardResultHandler > BackwardResultHandler_sp
Alias for a shared pointer to a BackwardResultHandler.
Definition: BackwardResultHandler.h:105
virtual void wasNoValidGraph(IDType deletedGraph)=0
Stores that the graph with the given ID did not belong to the restricted set of graphs and was theref...
BackwardResultHandler()
Creates a new BackwardResultHandler.
Definition: BackwardResultHandler.h:98
virtual void setFirstGraphs(shared_ptr< const vector< graphs::Hypergraph_sp >> graphs)=0
Sets the initial set of graphs from which the backward search is started.
virtual void wasDeletedBecauseOf(IDType deletedGraph, IDType reasonGraph)=0
Stores that the graph with the first ID was deleted because it was subsumed by the graph with the sec...
unsigned int IDType
IDType is an (unsigned) integer specifically used as an Identifier of graphs, elements of graphs or a...
Definition: globals.h:53
virtual void finishedBackwardStep()=0
Informs that the current backward step has ended.
shared_ptr< Hypergraph > Hypergraph_sp
Alias for a shared pointer to a Hypergraph.
Definition: Hypergraph.h:85