add exhaustionstep and resumesearch concepts
[scpubgit/DX.git] / lib / DX / SearchState.pm
2018-04-14 Matt S Trout add exhaustionstep and resumesearch concepts
2018-04-07 Matt S Trout pervasive type constraints
2018-03-31 Matt S Trout switch over to storing rspace+ss as decision list
2018-03-02 Matt S Trout add some basic tracing using the new deparser
2017-02-16 Matt S Trout add a few more type annotations
2017-02-13 Matt S Trout record all adjustments, even those without alternatives
2017-02-13 Matt S Trout rename alternatives to adjustments
2016-08-03 Matt S Trout re-add basic step tracing
2016-08-02 Matt S Trout blow away current trace calls since they were insuffici...
2016-07-23 Matt S Trout tug firmly, and recursion pops out into iteration
2016-06-25 Matt S Trout rename InvokeNextPredicate to ConsiderPropositon
2016-06-25 Matt S Trout tighten up SearchState new() signature slightly
2016-06-25 Matt S Trout move to on_solution_step concept
2016-06-25 Matt S Trout create explicit on_exhaustion_step attribute
2016-06-23 Matt S Trout mark propositionless search states as solutions
2016-06-23 Matt S Trout add is_solution_state flag on SearchState
2016-06-23 Matt S Trout switch force_backtrack to execute a backtrack step
2016-06-22 Matt S Trout extract backtrack decisions out into steps
2016-06-22 Matt S Trout switch SearchState to using Backtrack step
2016-06-21 Matt S Trout remove alternative addition handling from search state
2016-06-20 Matt S Trout move invoke predicate logic into normal step
2016-06-19 Matt S Trout make search state operate on search states a bit more
2016-06-19 Matt S Trout steps now operate on search states
2016-06-12 Matt S Trout initial creation of SearchProcess class
2016-04-03 Matt S Trout switch to passing prop to resolve in, fix bug in with_o...
2016-04-02 Matt S Trout cut over to next_proposition using resolved_count
2016-04-02 Matt S Trout add propositions method to searchstate
2016-03-26 Matt S Trout re-arranging resolution - thread proposition through...
2016-03-26 Matt S Trout restructure searching so with_one_step is actually...
2016-03-16 Matt S Trout always overwrite alternatives in case @alt has been...
2016-03-16 Matt S Trout better tracing in SearchState
2016-03-12 Matt S Trout clear resume step on first step after forced backtrack
2016-03-12 Matt S Trout const and basic tracing
2016-03-12 Matt S Trout slightly janky attempt at show all solutions
2015-12-04 Matt S Trout types and deparsing and recalculation part working
2015-10-10 Matt S Trout dependency map up, some code running
2015-08-30 Matt S Trout initial partial sketch