diff --git a/model.py b/model.py index b9b3af1..6a6df38 100644 --- a/model.py +++ b/model.py @@ -103,9 +103,6 @@ def binary_function_str(f: ModelFunction) -> str: 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: def __init__(self): # a : {x | x <= a }