|
|
|
@ -161,7 +161,7 @@
|
|
|
|
[#false (yield csp)]
|
|
|
|
[#false (yield csp)]
|
|
|
|
[($var name vals _ _)
|
|
|
|
[($var name vals _ _)
|
|
|
|
(for/fold ([conflicts null]
|
|
|
|
(for/fold ([conflicts null]
|
|
|
|
#:result (void))
|
|
|
|
#:result (void conflicts))
|
|
|
|
([val (in-list (order-domain-values vals))])
|
|
|
|
([val (in-list (order-domain-values vals))])
|
|
|
|
(with-handlers ([inconsistency-signal?
|
|
|
|
(with-handlers ([inconsistency-signal?
|
|
|
|
(λ (sig)
|
|
|
|
(λ (sig)
|
|
|
|
@ -202,7 +202,7 @@
|
|
|
|
($constraint '(x z) <>)
|
|
|
|
($constraint '(x z) <>)
|
|
|
|
($constraint '(y z) <>)))))) 6)
|
|
|
|
($constraint '(y z) <>)))))) 6)
|
|
|
|
|
|
|
|
|
|
|
|
#;(parameterize ([current-inference forward-check])
|
|
|
|
(parameterize ([current-inference forward-check])
|
|
|
|
(define vds (for/list ([k '(wa nsw t q nt v sa)])
|
|
|
|
(define vds (for/list ([k '(wa nsw t q nt v sa)])
|
|
|
|
(+$var k '(red green blue))))
|
|
|
|
(+$var k '(red green blue))))
|
|
|
|
(define cs (list
|
|
|
|
(define cs (list
|
|
|
|
|
