brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2025-07-31 21:01:59 +00:00
Code Issues Projects Releases Packages Wiki Activity

Removed comment

Browse source
This commit is contained in:
Brandon Rozek 2025-05-13 12:55:24 -04:00
parent 4cccdc85b9
commit ec451e007c
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
model.py
View file

@ -103,9 +103,6 @@ def binary_function_str(f: ModelFunction) -> str:
Interpretation = Dict[Operation, ModelFunction] Interpretation = Dict[Operation, ModelFunction]
# TODO: Replace with a nicer representation
# Include meet and join functions
# Something like x : (all elements less than x)
class OrderTable: class OrderTable:
def __init__(self): def __init__(self):
# a : {x | x <= a } # a : {x | x <= a }