Graphviz 16.1.1~dev.20260926.2046
Loading...
Searching...
No Matches
circle.c
Go to the documentation of this file.
1/*************************************************************************
2 * Copyright (c) 2011 AT&T Intellectual Property
3 * All rights reserved. This program and the accompanying materials
4 * are made available under the terms of the Eclipse Public License v2.0
5 * which accompanies this distribution, and is available at
6 * https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
7 *
8 * Contributors: Details at https://graphviz.org
9 *************************************************************************/
10
11#include "config.h"
12
13#include <assert.h>
14#include <twopigen/circle.h>
15#include <inttypes.h>
16#include <limits.h>
17#include <math.h>
18#include <stdbool.h>
19#include <stdint.h>
20#include <stdlib.h>
21#include <string.h>
22#include <util/alloc.h>
23#include <util/gv_ctype.h>
24#include <util/gv_math.h>
25#include <util/list.h>
26#include <util/streq.h>
27#define DEF_RANKSEP 1.00
28#define UNSET 10.00
29
30/* dfs to set distance from a particular leaf.
31 * Note that termination is implicit in the test
32 * for reduced number of steps. Proof?
33 */
35{
36 Agnode_t *next;
37
38 uint64_t nsteps = SLEAF(n) + 1;
39
40 for (Agedge_t *ep = agfstedge(g, n); ep; ep = agnxtedge(g, ep, n)) {
41 if ((next = agtail(ep)) == n)
42 next = aghead(ep);
43
44 if (prev == next)
45 continue;
46
47 if (nsteps < SLEAF(next)) { /* handles loops and multiedges */
48 SLEAF(next) = nsteps;
49 setNStepsToLeaf(g, next, n);
50 }
51 }
52}
53
55static bool isLeaf(Agraph_t * g, Agnode_t * n)
56{
57 Agnode_t *neighp = 0;
58 Agnode_t *np;
59
60 for (Agedge_t *ep = agfstedge(g, n); ep; ep = agnxtedge(g, ep, n)) {
61 if ((np = agtail(ep)) == n)
62 np = aghead(ep);
63 if (n == np)
64 continue; /* loop */
65 if (neighp) {
66 if (neighp != np)
67 return false; /* two different neighbors */
68 } else
69 neighp = np;
70 }
71 return true;
72}
73
74static void initLayout(Agraph_t * g)
75{
76 const size_t nnodes = agnnodes_z(g);
77 uint64_t INF = (uint64_t)nnodes * nnodes;
78
79 for (Agnode_t *n = agfstnode(g); n; n = agnxtnode(g, n)) {
80 SCENTER(n) = INF;
81 THETA(n) = UNSET; /* marks theta as unset, since 0 <= theta <= 2PI */
82 if (isLeaf(g, n))
83 SLEAF(n) = 0;
84 else
85 SLEAF(n) = INF;
86 }
87}
88
89/*
90 * Working recursively in from each leaf node (ie, each node
91 * with nStepsToLeaf == 0; see initLayout), set the
92 * minimum value of nStepsToLeaf for each node. Using
93 * that information, assign some node to be the centerNode.
94*/
96{
98 uint64_t maxNStepsToLeaf = 0;
99
100 /* dfs from each leaf node */
101 for (Agnode_t *n = agfstnode(g); n; n = agnxtnode(g, n)) {
102 if (SLEAF(n) == 0)
103 setNStepsToLeaf(g, n, 0);
104 }
105
106 for (Agnode_t *n = agfstnode(g); n; n = agnxtnode(g, n)) {
107 if (center == NULL || SLEAF(n) > maxNStepsToLeaf) {
108 maxNStepsToLeaf = SLEAF(n);
109 center = n;
110 }
111 }
112 return center;
113}
114
115/* bfs to create tree structure */
117{
118 Agnode_t *next;
119 Agsym_t* wt = agfindedgeattr(g,"weight");
120 LIST(Agnode_t *) q = {0};
121
122 LIST_PUSH_BACK(&q, n);
123 while (!LIST_IS_EMPTY(&q)) {
124 n = LIST_POP_FRONT(&q);
125 uint64_t nsteps = SCENTER(n) + 1;
126 for (Agedge_t *ep = agfstedge(g, n); ep; ep = agnxtedge(g, ep, n)) {
127 if (wt && streq(agxget(ep,wt), "0")) continue;
128 if ((next = agtail(ep)) == n)
129 next = aghead(ep);
130 if (nsteps < SCENTER(next)) {
131 SCENTER(next) = nsteps;
132 SPARENT(next) = n;
133 NCHILD(n)++;
134 LIST_PUSH_BACK(&q, next);
135 }
136 }
137 }
138 LIST_FREE(&q);
139}
140
141/*
142 * Work out from the center and determine the value of
143 * nStepsToCenter and parent node for each node.
144 * Return UINT64_MAX if some node was not reached.
145 */
146static uint64_t setParentNodes(Agraph_t * sg, Agnode_t * center)
147{
148 uint64_t maxn = 0;
149 uint64_t unset = SCENTER(center);
150
151 SCENTER(center) = 0;
152 SPARENT(center) = 0;
154
155 /* find the maximum number of steps from the center */
156 for (Agnode_t *n = agfstnode(sg); n; n = agnxtnode(sg, n)) {
157 if (SCENTER(n) == unset) {
158 return UINT64_MAX;
159 }
160 else if (SCENTER(n) > maxn) {
161 maxn = SCENTER(n);
162 }
163 }
164 return maxn;
165}
166
167/* Sets each node's subtreeSize, which counts the number of
168 * leaves in subtree rooted at the node.
169 * At present, this is done bottom-up.
170 */
171static void setSubtreeSize(Agraph_t * g)
172{
173 for (Agnode_t *n = agfstnode(g); n; n = agnxtnode(g, n)) {
174 if (NCHILD(n) > 0)
175 continue;
176 STSIZE(n)++;
178 STSIZE(parent)++;
179 }
180 }
181}
182
184{
185 Agnode_t *next;
186
187 // Only integers up to 2⁵³ can be precisely stored in an IEEE 754 double. We
188 // do not expect subtree size to exceed this.
189 assert(STSIZE(n) <= UINT64_C(1) << 53);
190
191 const double ratio = SPAN(n) / (double)STSIZE(n);
192 for (Agedge_t *ep = agfstedge(g, n); ep; ep = agnxtedge(g, ep, n)) {
193 if ((next = agtail(ep)) == n)
194 next = aghead(ep);
195 if (SPARENT(next) != n)
196 continue; /* handles loops */
197
198 if (!is_exactly_zero(SPAN(next)))
199 continue; /* multiedges */
200 assert(STSIZE(next) <= UINT64_C(1) << 53);
201 SPAN(next) = ratio * (double)STSIZE(next);
202
203 if (NCHILD(next) > 0) {
204 setChildSubtreeSpans(g, next);
205 }
206 }
207}
208
210{
211 SPAN(center) = 2 * M_PI;
213}
214
216static bool is_set(double a) { return !is_exactly_equal(a, UNSET); }
217
218 /* Set the node positions for the 2nd and later rings. */
219static void setChildPositions(Agraph_t * sg, Agnode_t * n)
220{
221 Agnode_t *next;
222 double theta; /* theta is the lower boundary radius of the fan */
223
224 if (SPARENT(n) == 0) /* center */
225 theta = 0;
226 else
227 theta = THETA(n) - SPAN(n) / 2;
228
229 for (Agedge_t *ep = agfstedge(sg, n); ep; ep = agnxtedge(sg, ep, n)) {
230 if ((next = agtail(ep)) == n)
231 next = aghead(ep);
232 if (SPARENT(next) != n)
233 continue; /* handles loops */
234 if (is_set(THETA(next)))
235 continue; /* handles multiedges */
236
237 THETA(next) = theta + SPAN(next) / 2.0;
238 theta += SPAN(next);
239
240 if (NCHILD(next) > 0)
241 setChildPositions(sg, next);
242 }
243}
244
246{
247 THETA(center) = 0;
249}
250
251/* Return array of doubles of size maxrank+1 containing the radius of each
252 * rank. Position 0 always contains 0. Use the colon-separated list of
253 * doubles provided by ranksep to get the deltas for each additional rank.
254 * If not enough values are provided, the last value is repeated.
255 * If the ranksep attribute is not provided, use DEF_RANKSEP for all values.
256 */
257static double*
258getRankseps (Agraph_t* g, uint64_t maxrank)
259{
260 char *p;
261 char *endp;
262 uint64_t rk = 1;
263 double* ranks = gv_calloc(maxrank + 1, sizeof(double));
264 double xf = 0.0, delx = 0.0, d;
265
266 if ((p = late_string(g, agfindgraphattr(g->root, "ranksep"), NULL))) {
267 while (rk <= maxrank && (d = strtod (p, &endp)) > 0) {
268 delx = fmax(d, MIN_RANKSEP);
269 xf += delx;
270 ranks[rk++] = xf;
271 p = endp;
272 while (gv_isspace(*p) || *p == ':')
273 p++;
274 }
275 }
276 else {
277 delx = DEF_RANKSEP;
278 }
279
280 for (uint64_t i = rk; i <= maxrank; i++) {
281 xf += delx;
282 ranks[i] = xf;
283 }
284
285 return ranks;
286}
287
288static void setAbsolutePos(Agraph_t * g, uint64_t maxrank)
289{
290 double* ranksep = getRankseps (g, maxrank);
291 if (Verbose) {
292 fputs ("Rank separation = ", stderr);
293 for (uint64_t i = 0; i <= maxrank; i++)
294 fprintf (stderr, "%.03lf ", ranksep[i]);
295 fputs ("\n", stderr);
296 }
297
298 /* Convert circular to cartesian coordinates */
299 for (Agnode_t *n = agfstnode(g); n; n = agnxtnode(g, n)) {
300 double hyp = ranksep[SCENTER(n)];
301 ND_pos(n)[0] = hyp * cos(THETA(n));
302 ND_pos(n)[1] = hyp * sin(THETA(n));
303 }
304 free (ranksep);
305}
306
307/* We assume sg is is connected and non-empty.
308 * Also, if center != 0, we are guaranteed that center is
309 * in the graph.
310 */
312{
313 if (agnnodes(sg) == 1) {
314 Agnode_t *n = agfstnode(sg);
315 ND_pos(n)[0] = 0;
316 ND_pos(n)[1] = 0;
317 return center;
318 }
319
320 initLayout(sg);
321
322 if (!center)
324
325 uint64_t maxNStepsToCenter = setParentNodes(sg,center);
326 if (Verbose)
327 fprintf(stderr, "root = %s max steps to root = %" PRIu64 "\n",
328 agnameof(center), maxNStepsToCenter);
329 if (maxNStepsToCenter == UINT64_MAX) {
330 agerrorf("twopi: use of weight=0 creates disconnected component.\n");
331 return center;
332 }
333
334 setSubtreeSize(sg);
335
337
338 setPositions(sg, center);
339
340 setAbsolutePos(sg, maxNStepsToCenter);
341 return center;
342}
Memory allocation wrappers that exit on failure.
static void * gv_calloc(size_t nmemb, size_t size)
Definition alloc.h:26
#define M_PI
Definition arith.h:41
static void setNStepsToCenter(Agraph_t *g, Agnode_t *n)
Definition circle.c:116
static double * getRankseps(Agraph_t *g, uint64_t maxrank)
Definition circle.c:258
static void setPositions(Agraph_t *sg, Agnode_t *center)
Definition circle.c:245
static void setSubtreeSize(Agraph_t *g)
Definition circle.c:171
static void setChildPositions(Agraph_t *sg, Agnode_t *n)
Definition circle.c:219
static void setChildSubtreeSpans(Agraph_t *g, Agnode_t *n)
Definition circle.c:183
static bool is_set(double a)
has the given value been assigned?
Definition circle.c:216
static void setNStepsToLeaf(Agraph_t *g, Agnode_t *n, Agnode_t *prev)
Definition circle.c:34
static void setAbsolutePos(Agraph_t *g, uint64_t maxrank)
Definition circle.c:288
static void initLayout(Agraph_t *g)
Definition circle.c:74
static Agnode_t * findCenterNode(Agraph_t *g)
Definition circle.c:95
Agnode_t * circleLayout(Agraph_t *sg, Agnode_t *center)
Definition circle.c:311
#define UNSET
Definition circle.c:28
static void setSubtreeSpans(Agraph_t *sg, Agnode_t *center)
Definition circle.c:209
#define DEF_RANKSEP
Definition circle.c:27
static uint64_t setParentNodes(Agraph_t *sg, Agnode_t *center)
Definition circle.c:146
static bool isLeaf(Agraph_t *g, Agnode_t *n)
return true if n is a leaf node
Definition circle.c:55
#define SLEAF(n)
Definition circle.h:30
#define THETA(n)
Definition circle.h:36
#define NCHILD(n)
Definition circle.h:32
#define SCENTER(n)
Definition circle.h:33
#define SPAN(n)
Definition circle.h:35
#define STSIZE(n)
Definition circle.h:31
#define parent(i)
Definition closest.c:75
char * late_string(void *obj, attrsym_t *attr, char *defaultValue)
Definition utils.c:85
#define MIN_RANKSEP
Definition const.h:88
static bool Verbose
Definition gml2gv.c:26
void free(void *)
node NULL
Definition grammar.y:181
int agnnodes(Agraph_t *g)
Definition graph.c:163
size_t agnnodes_z(const Agraph_t *g)
Definition graph.c:161
char * agxget(void *obj, Agsym_t *sym)
Definition attr.c:457
#define agfindedgeattr(g, a)
Definition types.h:617
#define agtail(e)
Definition cgraph.h:982
Agedge_t * agnxtedge(Agraph_t *g, Agedge_t *e, Agnode_t *n)
Definition edge.c:98
#define aghead(e)
Definition cgraph.h:983
Agedge_t * agfstedge(Agraph_t *g, Agnode_t *n)
Definition edge.c:89
void agerrorf(const char *fmt,...)
Definition agerror.c:167
#define agfindgraphattr(g, a)
Definition types.h:613
Agnode_t * agnxtnode(Agraph_t *g, Agnode_t *n)
Definition node.c:50
Agnode_t * agfstnode(Agraph_t *g)
Definition node.c:43
#define ND_pos(n)
Definition types.h:520
char * agnameof(void *)
returns a string descriptor for the object.
Definition id.c:145
replacements for ctype.h functions
static bool gv_isspace(int c)
Definition gv_ctype.h:55
Arithmetic helper functions.
static bool is_exactly_zero(double v)
is a value precisely 0.0?
Definition gv_math.h:70
static bool is_exactly_equal(double a, double b)
are two values precisely the same?
Definition gv_math.h:51
$2 prev
Definition htmlparse.y:291
type-generic dynamically expanding list
#define LIST_PUSH_BACK(list,...)
Definition list.h:431
#define LIST(type)
Definition list.h:66
#define LIST_POP_FRONT(list)
Definition list.h:447
#define LIST_FREE(list)
Definition list.h:413
#define LIST_IS_EMPTY(list)
Definition list.h:102
#define SPARENT(n)
Definition patchwork.h:25
#define INF
Definition sccmap.c:43
static bool streq(const char *a, const char *b)
are a and b equal?
Definition streq.h:11
graph or subgraph
Definition cgraph.h:424
Agraph_t * root
subgraphs - ancestors
Definition cgraph.h:433
string attribute descriptor symbol in Agattr_s.dict
Definition cgraph.h:641
static point center(point vertex[], size_t n)