Skip to Content

Changes for page KIML Layout Options

Last modified by Alexander Schulz-Rosengarten on 2023/09/11 16:17
From version 8.1
edited by cds
on 2013/06/03 10:45
Change comment: There is no comment for this version
To version 7.1
edited by cds
on 2013/06/03 10:45
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -516,10 +516,8 @@
516 516  
517 517  This section explains every layout option in more detail.
518 518  
519 -== Port Offset ==
519 +== Port Offset ==
520 520  
521 -
522 -
523 523  {{id name="optionPO"/}}
524 524  
525 525  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.
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -7111112
1 +7111111
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7111112/KIML Layout Options
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/7111111/KIML Layout Options