From 0a0b62f3a0bffc2bedfcb7447465d15954c0e7b8 Mon Sep 17 00:00:00 2001
From: Brandon Rozek <brozek@brandonrozek.com>
Date: Wed, 29 Oct 2025 15:15:10 -0400
Subject: [PATCH] Iterate over designated values instead of carrier set

---
 vsp.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vsp.py b/vsp.py
index 1a861f7..034005f 100644
--- a/vsp.py
+++ b/vsp.py
@@ -47,7 +47,7 @@ def has_vsp(model: Model, impfunction: ModelFunction,
     # x -> y does not take a designiated value
     I: List[Tuple[ModelValue, ModelValue]] = []
 
-    for (x, y) in product(model.carrier_set, model.carrier_set):
+    for (x, y) in product(model.designated_values, model.designated_values):
         if impfunction(x, y) not in model.designated_values:
             I.append((x, y))