search

Malavika-Srinivasan / CAS741

Course Website for CAS 741
Other
0 stars 1 forks source link

MIS - Use of logical or #40

Closed bmaclach closed 5 years ago

bmaclach commented 5 years ago

Sometimes in the MIS the logical or symbol, \lor, is used on non-boolean values. As an example, in section 9.4.4 the transitions and outputs use the logical or, such as "out := interp.x \lor reg.x". The logical or is an operator on booleans, so this implies that interp.x, reg.x, and out are all boolean values, which I don't think is what you meant.

In cases like these, I would suggest replacing the logical or with a plain word "or". Alternatively, if you want to keep the formal specification, you can probably express this with some conditional rules. It's not clear to me how exactly this would look. You would probably need a variable to represent the choice of solution method, and then write cases based on the value of that variable.

Malavika-Srinivasan commented 5 years ago

@bmaclach Makes sense. I changed lor to or.

Malavika-Srinivasan commented 5 years ago

It is not possible to have a choice because user will be using only one of them at a time. So, in execution this shouldn't be a problem. However, I can see that it is not formal after I replace \lor with or. But I think, its better to keep it simple.