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

Removed 'a' from model value names (#24)

Browse source
This commit is contained in:
Brandon Rozek 2024-11-26 15:53:35 -05:00 committed by GitHub
commit fb074ff0e8
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
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)
# 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

2
parse_magic.py
View file

@ -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:
"""