brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-11-07 03:11:12 +00:00
Code Issues Projects Releases Packages Wiki Activity

(#42) Iterate over designated values instead of carrier set for VSP check

Browse source
This commit is contained in:
Brandon Rozek 2025-11-05 16:55:42 -05:00 • committed by GitHub
commit 2fbdf26274
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
vsp.py
View file

@ -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))