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

Added small note

Browse source
This commit is contained in:
Brandon Rozek 2025-02-09 11:00:39 -05:00
parent 2ff9f8134c
commit f9d307969e
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
vsp.py
View file

@ -151,6 +151,7 @@ def has_vsp(model: Model, impfunction: ModelFunction, mconjunction: Optional[Mod
# NOTE: Optimization
# If a subalgebra doesn't have at least one
# designated value, move onto the next pair.
# Depends on no intersection between xs and ys
if len(xs & model.designated_values) == 0:
continue