statisticsobject for solver and simulation output files.
lowerbounds. In cases where our solver is maximizing or minimizing an objective, Hop continuously updates the
lowerbounds after generating a new state.
searchobject, you'll notice that there are values for
Generatedstates are all the states Hop has created.
Filteredstates are those that have been removed from the search because they have been bounded out. Hop has determined that it cannot, from a particular set of decisions, produce a solution that will be better than the best one it has found so far.
Expandedstates are all the states that are not
Reducedstates are states that have been removed from the search because a
Reducerwas able to determine that there are states that strictly dominate them.
Deferredstates are states saved for later exploration if there's time. This is how Hop manages explosion of the state space. Hop won't explore every state sequentially. It will try to explore the most fruitful ones first and defer the others for later exploration if there's time.
Restrictedstates are the states that have not been deferred, but instead will be investigated immediately.
Exploredstates are all states Hop has fully explored. Those states are not able to produce more child states.