|
57 | 57 |
|
58 | 58 |
|
59 | 59 |
|
60 | | -%! dot_arc(+Out:stream, +FromTerm:term, +ToTerm:term) is det. |
61 | | -%! dot_arc(+Out:stream, +FromTerm:term, +ToTerm:term, +Options:options) is det. |
| 60 | +%! dot_arc(+Out:ostream, +FromTerm:term, +ToTerm:term) is det. |
| 61 | +%! dot_arc(+Out:ostream, +FromTerm:term, +ToTerm:term, +Options:options) is det. |
62 | 62 | % |
63 | 63 | % Emits an arc (directed edge) from one Prolog term to another in the |
64 | 64 | % DOT language. |
|
83 | 83 |
|
84 | 84 |
|
85 | 85 |
|
86 | | -%! dot_arc_id(+Out:stream, +FromId:atom, +ToId:atom) is det. |
87 | | -%! dot_arc_id(+Out:stream, +FromId:atom, +ToId:atom, +Options:options) is det. |
| 86 | +%! dot_arc_id(+Out:ostream, +FromId:atom, +ToId:atom) is det. |
| 87 | +%! dot_arc_id(+Out:ostream, +FromId:atom, +ToId:atom, +Options:options) is det. |
88 | 88 | % |
89 | 89 | % Emits a directed edge or arc from one DOT ID to another in the DOT |
90 | 90 | % language. |
|
152 | 152 |
|
153 | 153 |
|
154 | 154 |
|
155 | | -%! dot_cluster(+Out:stream, +Term:term, :Goal_1) is det. |
156 | | -%! dot_cluster(+Out:stream, +Term:term, :Goal_1, +Options:options) is det. |
| 155 | +%! dot_cluster(+Out:ostream, +Term:term, :Goal_1) is det. |
| 156 | +%! dot_cluster(+Out:ostream, +Term:term, :Goal_1, +Options:options) is det. |
157 | 157 |
|
158 | 158 | dot_cluster(Out, Term, Goal_1) :- |
159 | 159 | dot_cluster(Out, Term, Goal_1, options{label: Term}). |
|
165 | 165 |
|
166 | 166 |
|
167 | 167 |
|
168 | | -%! dot_cluster_arc(+Out:stream, +FromTerm:term, +ToTerm:term) is det. |
169 | | -%! dot_cluster_arc(+Out:stream, +FromTerm:term, +ToTerm:term, +Options:options) is det. |
| 168 | +%! dot_cluster_arc(+Out:ostream, +FromTerm:term, +ToTerm:term) is det. |
| 169 | +%! dot_cluster_arc(+Out:ostream, +FromTerm:term, +ToTerm:term, +Options:options) is det. |
170 | 170 |
|
171 | 171 | dot_cluster_arc(Out, FromTerm, ToTerm) :- |
172 | 172 | dot_cluster_arc(Out, FromTerm, ToTerm, options{}). |
|
178 | 178 |
|
179 | 179 |
|
180 | 180 |
|
181 | | -%! dot_cluster_arc_id(+Out:stream, +FromId:atom, +ToId:atom) is det. |
182 | | -%! dot_cluster_arc_id(+Out:stream, +FromId:atom, +ToId:atom, +Options:options) is det. |
| 181 | +%! dot_cluster_arc_id(+Out:ostream, +FromId:atom, +ToId:atom) is det. |
| 182 | +%! dot_cluster_arc_id(+Out:ostream, +FromId:atom, +ToId:atom, +Options:options) is det. |
183 | 183 |
|
184 | 184 | dot_cluster_arc_id(Out, FromId, ToId) :- |
185 | 185 | dot_cluster_arc_id(Out, FromId, ToId, options{}). |
|
193 | 193 |
|
194 | 194 |
|
195 | 195 |
|
196 | | -%! dot_cluster_id(+Out:stream, +Id:atom, :Goal_1) is det. |
197 | | -%! dot_cluster_id(+Out:stream, +Id:atom, :Goal_1, +Options:options) is det. |
| 196 | +%! dot_cluster_id(+Out:ostream, +Id:atom, :Goal_1) is det. |
| 197 | +%! dot_cluster_id(+Out:ostream, +Id:atom, :Goal_1, +Options:options) is det. |
198 | 198 |
|
199 | 199 | dot_cluster_id(Out, Id, Goal_1) :- |
200 | 200 | dot_cluster_id(Out, Id, Goal_1, options{}). |
|
210 | 210 |
|
211 | 211 |
|
212 | 212 |
|
213 | | -%! dot_edge(+Out:stream, +FromTerm:term, +ToTerm:term) is det. |
214 | | -%! dot_edge(+Out:stream, +FromTerm:term, +ToTerm:term, +Options:options) is det. |
| 213 | +%! dot_edge(+Out:ostream, +FromTerm:term, +ToTerm:term) is det. |
| 214 | +%! dot_edge(+Out:ostream, +FromTerm:term, +ToTerm:term, +Options:options) is det. |
215 | 215 | % |
216 | 216 | % Emits an edge between two Prolog terms in the DOT language. |
217 | 217 | % |
|
236 | 236 |
|
237 | 237 |
|
238 | 238 |
|
239 | | -%! dot_edge_id(+Out:stream, +FromId:atom, +ToId:atom) is det. |
240 | | -%! dot_edge_id(+Out:stream, +FromId:atom, +ToId:atom, +Options:options) is det. |
| 239 | +%! dot_edge_id(+Out:ostream, +FromId:atom, +ToId:atom) is det. |
| 240 | +%! dot_edge_id(+Out:ostream, +FromId:atom, +ToId:atom, +Options:options) is det. |
241 | 241 | % |
242 | 242 | % Emits an edge between two DOT IDs in the DOT language. |
243 | 243 | % |
|
253 | 253 |
|
254 | 254 |
|
255 | 255 |
|
256 | | -%! dot_graph(+Out:stream, :Goal_1) is det. |
257 | | -%! dot_graph(+Out:stream, :Goal_1, +Options:options) is det. |
| 256 | +%! dot_graph(+Out:ostream, :Goal_1) is det. |
| 257 | +%! dot_graph(+Out:ostream, :Goal_1, +Options:options) is det. |
258 | 258 | % |
259 | 259 | % @arg Options The following options are supported: |
260 | 260 | % |
|
345 | 345 |
|
346 | 346 |
|
347 | 347 |
|
348 | | -%! dot_node(+Out:stream, +Term:term) is det. |
349 | | -%! dot_node(+Out:stream, +Term:term, +Options:options) is det. |
| 348 | +%! dot_node(+Out:ostream, +Term:term) is det. |
| 349 | +%! dot_node(+Out:ostream, +Term:term, +Options:options) is det. |
350 | 350 | % |
351 | 351 | % @arg Out is a handle to an output stream. |
352 | 352 | % |
|
384 | 384 |
|
385 | 385 |
|
386 | 386 |
|
387 | | -%! dot_node_id(+Out:stream, +Id:atom) is det. |
388 | | -%! dot_node_id(+Out:stream, +Id:atom, +Options:options) is det. |
| 387 | +%! dot_node_id(+Out:ostream, +Id:atom) is det. |
| 388 | +%! dot_node_id(+Out:ostream, +Id:atom, +Options:options) is det. |
389 | 389 | % |
390 | 390 | % @see dot_node/[2,3] allows nodes to be asserted for Prolog terms. |
391 | 391 |
|
|
0 commit comments