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