Binary encoding of supplied orthogonal drawings #
Main definitions #
Cslib.Complexity.Graph.encOrthogonalDrawing: framed vertex and route lists using the existing binary-coordinate point encoding. Geometric certificates remain propositions.
References #
Uses the finite drawing data and binary signed-integer encodings already defined in the library.
Framed vertex positions and incidence routes, with binary signed coordinates.