Changes for page KIML Layout Options
Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -6,8 +6,10 @@ 6 6 7 7 **Contents** 8 8 9 - 10 10 10 + 11 +{{toc/}} 12 + 11 11 = Overview = 12 12 13 13 Beside a human-readable name, layout options are defined by the following properties: ... ... @@ -370,7 +370,7 @@ 370 370 ))) 371 371 |(% colspan="1" %)(% colspan="1" %) 372 372 ((( 373 -[[Port Offset>>doc:||anchor=" portOffset"]]375 +[[Port Offset>>doc:||anchor="optionPO"]] 374 374 )))|(% colspan="1" %)(% colspan="1" %) 375 375 ((( 376 376 de.cau.cs.kieler.offset ... ... @@ -516,7 +516,7 @@ 516 516 517 517 == Port Offset == 518 518 519 -{{id name=" portOffset"/}}521 +{{id name="optionPO"/}} 520 520 521 521 The port offset is used to specify how much space a layout algorithm should leave between a port and the border of its node. This is usually zero, but doesn't have to be. If the offset is not defined for a given port, a layout algorithm can try to infer the offset from the port's coordinates and its node's size in the input graph. This of course requires both properties to be set to sensible values. 522 522
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -711111 01 +7111111 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/711111 0/KIML Layout Options1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7111111/KIML Layout Options