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

Check models in parallel

Browse source
This commit is contained in:
Brandon Rozek 2024-11-26 16:24:49 -05:00
parent fb074ff0e8
commit aeb8ae0440
4 changed files with 26 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

5
model.py
View file

@ -2,7 +2,7 @@
Matrix model semantics and satisfiability of
a given logic.
"""
from common import set_to_str
from common import set_to_str, immutable
from logic import (
get_propostional_variables, Logic,
Operation, PropositionalVariable, Term
@ -15,13 +15,10 @@ from typing import Dict, List, Optional, Set, Tuple
__all__ = ['ModelValue', 'ModelFunction', 'Model', 'Interpretation']
class ModelValue:
def __init__(self, name):
self.name = name
self.hashed_value = hash(self.name)
def immutable(self, name, value):
raise Exception("Model values are immutable")
self.__setattr__ = immutable
def __str__(self):
return self.name