From 2ed471c92ce8c58ee6972acecfe45ab118789684 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Thu, 3 Oct 2024 22:00:00 -0400 Subject: [PATCH] Discard models with only one designated value --- vsp.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/vsp.py b/vsp.py index 23d6beb..ff4bdae 100644 --- a/vsp.py +++ b/vsp.py @@ -63,6 +63,11 @@ def has_vsp(model: Model, interpretation: Dict[Operation, ModelFunction]) -> VSP """ impfunction = interpretation[Implication] + # NOTE: No models with only one designated + # value satisfies VSP + if len(model.designated_values) == 1: + return VSP_Result(False, model.name) + # Compute I the set of tuples (x, y) where # x -> y does not take a designiated value I: Set[Tuple[ModelValue, ModelValue]] = set()