(
self,
l1: gm.Length,
l2: gm.Length,
l3: gm.Length,
l4: gm.Length,
dep: pr.Dependency,
)
| 574 | return super().add_eq2(l1, l2, m, n, dep) |
| 575 | |
| 576 | def add_eqratio( |
| 577 | self, |
| 578 | l1: gm.Length, |
| 579 | l2: gm.Length, |
| 580 | l3: gm.Length, |
| 581 | l4: gm.Length, |
| 582 | dep: pr.Dependency, |
| 583 | ) -> None: |
| 584 | l1, l2, l3, l4 = self.get_name([l1, l2, l3, l4]) |
| 585 | return self.add_eq4(l1, l2, l3, l4, dep) |
| 586 | |
| 587 | def get_all_eqs_and_why(self) -> Generator[Any, None, None]: |
| 588 | return super().get_all_eqs_and_why(True) |