cut over to next_proposition using resolved_count
authorMatt S Trout <mst@shadowcat.co.uk>
Sat, 2 Apr 2016 21:50:53 +0000 (21:50 +0000)
committerMatt S Trout <mst@shadowcat.co.uk>
Sat, 2 Apr 2016 21:52:42 +0000 (21:52 +0000)
commitf25e6894d06995a4d10da0f59b96447816b67a01
tree5fc19b1951a4fb7ea779b878067a2d2eafb48b1f
parent9ccd6cafe6d214e8a4f5a48fcbe4d0e85dec81c2
cut over to next_proposition using resolved_count
lib/DX/Hypothesis.pm
lib/DX/ResolvedPropositionSet.pm
lib/DX/SearchState.pm