Returns a newly autorouted version of a wire for the given model. The route is worked out between the points where the two nubs CROSS their symbols' bounding boxes, and the end nubs are then lengthened to reach the ports themselves. For nearly every port those are the same point and this does nothing. Where they are not - a Mux2's SEL sits nine units inside its box - it is what keeps every pass downstream honest. The alternative, routing from the port and asking routing and separation to understand that the first nine units of the wire are inside a symbol they are meant to avoid, was tried: the intersection test needed a multiplexer exemption, separation needed its own, and the two disagreed about which side of the box edge a segment sitting exactly ON it was - which is how a wire arriving at a SEL port came to be drawn through the multiplexer. In this frame the wire's end is ON the box, the room between the two boxes is what `roomForNub` measures, and a symbol's edge stops its own wires being pulled inside it like anyone else's.

If as the result of a drag a zero length segment separates two other draggable segments the wire should be simplified by removing the zero-length segment and joining together the draggables.

Returns Some distance between a point and a segment defined by a start and end XYPos, and None if the segment is of 0 length (can't be clicked)

Give back the part of each end nub that a route worked out in box-edge space left out: the first segment grows away from its port and the last one grows into its port, so each grows in the direction it already runs. A nub is never zero length, so its sign is always meaningful.

Given a model and a list of component Ids, returns an anonymous record containing the id of wires connected to input ports, output ports or both

Used as a folder in foldOverSegs. Finds all jump offsets in a wire for the segment defined in the state

Returns a PortInfo object given a port edge and position

Returns the tuple (startPos, endPos) of the segment at the target index in the given wire. Throws an error if the target index isn't found.

Finds the closest non-zero-length segment in a wire to a mouse click using euclidean distance. Return it and all overlapping same-direction same-net segments

Returns the IDs of the wires in the model connected to a list of components given by compIds

Returns the IDs of the wires in the model connected to a list of components given by compIds

Returns a list of wire IDs that meet the given condition

get segments on wire partitioned horizontal and vertical. small length segments are not included, since this is to determine modern circle placement

Returns the length to change a segment represented by startPos -> endPos in the appropriate dimension of the difference vector.

Given a segment list, returns the first manual segment index

Gets a wire orientation given a port edge

Gets the start position for partial routing.

Returns a distance for a wire move that has been reduced if needed to enforce minimum first/last segment lengths. These prevent the first non-zero segment perpendicular to the nubs to be dragged closer than Constants.nubLength TODO - this can maybe be simplified given we now coalesce segments

Returns a list of all the wires in the given model

A wire the user has routed by hand: at least one of its segments has been dragged, which is what Manual means. Nothing else sets it - separation moves segments without marking them.

Returns a model with all the jumps updated

After coalescing a wire the wire ends may no longer be draggable. This function checks this and adds two segments to correct the problem if necessary. The added segments will not alter wire appearance. The transformation is: BEFORE: 1st seg length x. AFTER: 1st segment length nubLength -> zero-length seg -> segment length x - nubLength

Returns a wwireOf_aining the updated list of segments after a segment is moved by a specified distance. The moved segment is tagged as manual so that it is no longer auto-routed. Throws an error if the index of the segment being moved is not a valid movable segment index.

The unit vector a wire takes leaving a port on this edge.

Returns None if full autoroute is required or applies partial autorouting from the start of the wire at newPortPos to the first manually routed segment and returns Some wire with the new segments.

Partitions a segment list into sections 3 sections for partial autorouting

How far a port lies INSIDE its own symbol's bounding box, measured along the direction a wire leaves it by. Zero for a port that sits ON the box, which is nearly all of them. A Mux2's Sel is what this is for. The symbol is drawn as a trapezium and the port is on the sloping side, so the bounding box - which is what BOTH routing and separation use as the obstacle - reaches nine units further out than the port does. This is the whole of what the rest of the draw block needs to know about that. Routing and separation both work in the space OUTSIDE the boxes, so a wire's end is taken to be where its nub crosses the box and the first `inset` of that nub is treated as part of the symbol rather than as wire. See `autoroute` below, where the two are converted, and `BusWireRoute` for what it saves: with the wire's end on the box, a symbol's own edge stops it being pulled inside, and no pass downstream needs a special case for a multiplexer.

Returns an anonymous record indicating the position of pos relative to origin. The isAbove field indicates whether pos is above (true) or below (false) origin. The isLeft field indicates whether pos is to the left (true) or to the right (false) of origin.

Used when two segments can be coalesced by removing a zero segment separating them

This function updates the wire model by removing from the stored lists of intersections all those generated by wireList wires. intersetcions are stored in maps on the model and on the horizontal segments containing the jumps

If wire contains one or more manally routed segments return Some wire' where wire' has all manual segments chnaged to auto. Return None if no change is required (the normal case).

Reverses a wire so that it may be processed in the opposite direction. This function is self-inverse.

Returns an edge rotated 90 degrees anticlockwise

Returns a port rotated 90 degrees anticlockwise about the origin

Returns an anonymous record containing the starting symbol edge of a wire and its segment list that has been rotated to a target symbol edge.

Returns a function to rotate a segment list 90 degrees about the origin, depending on its initial orientation

Returns a version of the start and destination ports rotated until the start edge matches the target edge.

Update all the modern routing circles in the model

Update all the modern routing circles on the net of wires: wiresInNet

Returns an updated wireMap with the IntersectOrJumpList of targetSeg replaced by jumps or modern intersections.