brozek/vspursuer
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/matmod.git synced 2026-01-30 07:33:38 +00:00
Code Issues Projects Releases Packages Wiki Activity

Small comment change

Browse source
This commit is contained in:
Brandon Rozek 2026-01-27 14:13:19 -05:00
parent bf86bfd83e
commit 51f8adcd44
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
model.py
View file

@ -281,7 +281,7 @@ def rule_satisfied(
rule: Rule, valuations: List[Dict[PropositionalVariable, ModelValue]], rule: Rule, valuations: List[Dict[PropositionalVariable, ModelValue]],
interpretation: Dict[Operation, ModelFunction], designated_values: Set[ModelValue]) -> bool: interpretation: Dict[Operation, ModelFunction], designated_values: Set[ModelValue]) -> bool:
""" """
Checks whether a rule holds under all valuations listed in mapping. Checks whether a rule holds under all valuations.
If there is a mapping where the premise holds but the consequent does If there is a mapping where the premise holds but the consequent does
not then this returns False. not then this returns False.