(left: Targ, op: str, right: Targ)
| 266 | |
| 267 | |
| 268 | def fixed_comparison(left: Targ, op: str, right: Targ) -> int: |
| 269 | rmap = {False: ALWAYS_FALSE, True: ALWAYS_TRUE} |
| 270 | if op == "==": |
| 271 | return rmap[left == right] |
| 272 | if op == "!=": |
| 273 | return rmap[left != right] |
| 274 | if op == "<=": |
| 275 | return rmap[left <= right] |
| 276 | if op == ">=": |
| 277 | return rmap[left >= right] |
| 278 | if op == "<": |
| 279 | return rmap[left < right] |
| 280 | if op == ">": |
| 281 | return rmap[left > right] |
| 282 | return TRUTH_VALUE_UNKNOWN |
| 283 | |
| 284 | |
| 285 | def contains_int_or_tuple_of_ints(expr: Expression) -> None | int | tuple[int, ...]: |
no outgoing calls
no test coverage detected
searching dependent graphs…