From 56d975667fce93882be55c764c6889d35a52aa43 Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Sat, 13 Oct 2018 06:56:34 -0700
Subject: [PATCH] state count

---
 csp/csp.rkt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/csp/csp.rkt b/csp/csp.rkt
index f7ced556..1b6bcb80 100644
--- a/csp/csp.rkt
+++ b/csp/csp.rkt
@@ -329,3 +329,8 @@
 (define/contract (alldiff= x y)
   (any/c any/c . -> . boolean?)
   (not (= x y)))
+
+(define/contract (state-count csp)
+  ($csp? . -> . exact-nonnegative-integer?)
+  (for/product ([var (in-list ($csp-vars csp))])
+    (length ($var-vals var))))
\ No newline at end of file