Matthias Koefferlein a18a6be181 DRC: New options for "corners", "angle", "with(out)_angle" ...

- layer.corners: absolute and negative option
- drc(corners): absolute option, != operator supported
- layer.with_angle/without_angle: absolute option
- drc(angle): absolute option

+ corresponding API updates:

- EdgePairs#with_angle, with_angle_both: 'absolute' flag added
- Edges#with_angle: 'absolute' flag added
- Region#corners: 'inverse' and 'absolute' added

2024-04-20 21:52:38 +02:00

360 B

Raw History

View Raw