From 10d2e4766527fd2326b33b540f72586a4a31d731 Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Tue, 26 Nov 2024 15:52:20 -0500 Subject: [PATCH] Removed a from model value names --- model.py | 4 ++-- parse_magic.py | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/model.py b/model.py index 1860c70..12fa5bf 100644 --- a/model.py +++ b/model.py @@ -255,7 +255,7 @@ def model_closure(initial_set: Set[ModelValue], mfunctions: Set[ModelFunction], new_elements.add(element) # Optimization: Break out of computation - # early when top or bottom element is foun + # early when forbidden element is found if forbidden_element is not None and element == forbidden_element: forbidden_found = True break @@ -287,7 +287,7 @@ def model_closure(initial_set: Set[ModelValue], mfunctions: Set[ModelFunction], new_elements.add(element) # Optimization: Break out of computation - # early when top or bottom element is foun + # early when forbidden element is found if forbidden_element is not None and element == forbidden_element: forbidden_found = True break diff --git a/parse_magic.py b/parse_magic.py index ca5d671..bab221a 100644 --- a/parse_magic.py +++ b/parse_magic.py @@ -410,7 +410,7 @@ def mvalue_from_index(i: int) -> ModelValue: Given an index, return the representation of the model value. """ - return ModelValue(f"a{i}") + return ModelValue(f"{i}") def parse_mvalue(x: str) -> ModelValue: """