add_corner

SetSeparationSystem.add_corner(sep_id_a: int, orientation_a: int, sep_id_b: int, orientation_b: int) → tuple[int, int]

Calculate the infimum of two oriented separations from the separation system and add this infimum as a new separation to the separation system.

Parameters

sep_id_aint

The id of the first separation.

orientation_aint

The orientation of the first separation.

sep_id_bint

The id of the second separation.

orientation_bint

The orientation of the second separation.

Returns

tuple (int, int)

Separation id of the infimum and orientation of the infimum.