(
self, a: str, b: str, m: float, n: float, dep: pr.Dependency
)
| 423 | return False |
| 424 | |
| 425 | def add_eq2( |
| 426 | self, a: str, b: str, m: float, n: float, dep: pr.Dependency |
| 427 | ) -> None: |
| 428 | # a/b = m/n |
| 429 | if not self.add_expr([(a, m), (b, -n)]): |
| 430 | return [] |
| 431 | self.register2(a, b, m, n, dep) |
| 432 | |
| 433 | def add_eq3(self, a: str, b: str, f: float, dep: pr.Dependency) -> None: |
| 434 | # a - b = f * constant |
no test coverage detected