From c6c13bc4865818354eaebd9885c6c239aebc166c Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Fri, 26 Oct 2018 15:27:34 -0700 Subject: [PATCH] speed --- csp/csp/hacs.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/csp/csp/hacs.rkt b/csp/csp/hacs.rkt index 74114634..484b7e59 100644 --- a/csp/csp/hacs.rkt +++ b/csp/csp/hacs.rkt @@ -231,7 +231,7 @@ (csp? . -> . (or/c #false (and/c var? (not/c assigned-var?)))) (match (unassigned-vars csp) [(== empty) #false] - [xs (first xs)])) + [uvars (first uvars)])) (define/contract (argmin* proc xs [max-style? #f]) ((procedure? (listof any/c)) (any/c) . ->* . (listof any/c)) @@ -497,6 +497,8 @@ #:inference [inference (or (current-inference) no-inference)]) ((csp?) (#:select-variable procedure? #:order-values procedure? #:inference procedure?) . ->* . generator?) (generator () + (define starting-state-count (state-count prob)) + (define states-examined 0) (define reduce-arity-proc (if (current-arity-reduction) reduce-constraint-arity values)) (let loop ([prob ((if (current-node-consistency) make-nodes-consistent values) prob)]) (match (select-unassigned-variable prob)