Compare commits

..

No commits in common. "2fbdf26274ee536cc52bd5085ac0d05ea304fab4" and "6d7fc9094af0a136172fc52bc325580620385410" have entirely different histories.

2
vsp.py
View file

@ -47,7 +47,7 @@ def has_vsp(model: Model, impfunction: ModelFunction,
# x -> y does not take a designiated value # x -> y does not take a designiated value
I: List[Tuple[ModelValue, ModelValue]] = [] I: List[Tuple[ModelValue, ModelValue]] = []
for (x, y) in product(model.designated_values, model.designated_values): for (x, y) in product(model.carrier_set, model.carrier_set):
if impfunction(x, y) not in model.designated_values: if impfunction(x, y) not in model.designated_values:
I.append((x, y)) I.append((x, y))