brozek/matmod
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-01-04 23:12:44 +00:00
Code Issues Projects Releases Packages Wiki Activity

Removed a from model value names

Browse source
This commit is contained in:
Brandon Rozek 2024-11-26 15:52:20 -05:00
parent bdc1f1e64d
commit 10d2e47665
2 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
model.py
View file

@ -255,7 +255,7 @@ def model_closure(initial_set: Set[ModelValue], mfunctions: Set[ModelFunction],
new_elements.add(element) new_elements.add(element)
# Optimization: Break out of computation # 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: if forbidden_element is not None and element == forbidden_element:
forbidden_found = True forbidden_found = True
break break
@ -287,7 +287,7 @@ def model_closure(initial_set: Set[ModelValue], mfunctions: Set[ModelFunction],
new_elements.add(element) new_elements.add(element)
# Optimization: Break out of computation # 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: if forbidden_element is not None and element == forbidden_element:
forbidden_found = True forbidden_found = True
break break

2
parse_magic.py
View file

@ -410,7 +410,7 @@ def mvalue_from_index(i: int) -> ModelValue:
Given an index, return the Given an index, return the
representation of the model value. representation of the model value.
""" """
return ModelValue(f"a{i}") return ModelValue(f"{i}")
def parse_mvalue(x: str) -> ModelValue: def parse_mvalue(x: str) -> ModelValue:
""" """