|
8 | 8 | ############################################################################# |
9 | 9 | ## |
10 | 10 |
|
11 | | -DeclareAttribute("GraphvizDotDigraph", IsDigraph); |
12 | | -DeclareOperation("GraphvizDotColoredDigraph", [IsDigraph, IsList, IsList]); |
13 | | -DeclareOperation("GraphvizDotVertexColoredDigraph", [IsDigraph, IsList]); |
14 | | -DeclareOperation("GraphvizDotEdgeColoredDigraph", [IsDigraph, IsList]); |
15 | | -DeclareOperation("GraphvizDotVertexLabelledDigraph", [IsDigraph]); |
16 | | -DeclareAttribute("GraphvizDotSymmetricDigraph", IsDigraph); |
17 | | -DeclareOperation("GraphvizDotSymmetricColoredDigraph", |
18 | | - [IsDigraph, IsList, IsList]); |
19 | | -DeclareOperation("GraphvizDotSymmetricVertexColoredDigraph", |
20 | | - [IsDigraph, IsList]); |
21 | | -DeclareOperation("GraphvizDotSymmetricEdgeColoredDigraph", [IsDigraph, IsList]); |
22 | | -DeclareAttribute("GraphvizDotPartialOrderDigraph", IsDigraph); |
23 | | -DeclareAttribute("GraphvizDotPreorderDigraph", IsDigraph); |
24 | | -DeclareSynonym("GraphvizDotQuasiorderDigraph", GraphvizDotPreorderDigraph); |
25 | | -DeclareOperation("GraphvizDotHighlightedDigraph", [IsDigraph, IsList]); |
26 | | -DeclareOperation("GraphvizDotHighlightedDigraph", |
27 | | - [IsDigraph, IsList, IsString, IsString]); |
| 11 | +############################################################################# |
| 12 | +# Graphs and digraphs |
| 13 | +############################################################################# |
28 | 14 |
|
29 | | -DeclareAttribute("DotDigraph", IsDigraph); |
30 | | -DeclareOperation("DotColoredDigraph", [IsDigraph, IsList, IsList]); |
31 | | -DeclareOperation("DotVertexColoredDigraph", [IsDigraph, IsList]); |
32 | | -DeclareOperation("DotEdgeColoredDigraph", [IsDigraph, IsList]); |
33 | | -DeclareOperation("DotVertexLabelledDigraph", [IsDigraph]); |
34 | | -DeclareAttribute("DotSymmetricDigraph", IsDigraph); |
35 | | -DeclareOperation("DotSymmetricColoredDigraph", [IsDigraph, IsList, IsList]); |
36 | | -DeclareOperation("DotSymmetricVertexColoredDigraph", [IsDigraph, IsList]); |
37 | | -DeclareOperation("DotSymmetricEdgeColoredDigraph", [IsDigraph, IsList]); |
38 | | -DeclareAttribute("DotPartialOrderDigraph", IsDigraph); |
39 | | -DeclareAttribute("DotPreorderDigraph", IsDigraph); |
40 | | -DeclareSynonym("DotQuasiorderDigraph", DotPreorderDigraph); |
41 | | -DeclareOperation("DotHighlightedDigraph", [IsDigraph, IsList]); |
42 | | -DeclareOperation("DotHighlightedDigraph", |
43 | | - [IsDigraph, IsList, IsString, IsString]); |
| 15 | +DeclareOperation("GraphvizDigraph", [IsDigraph]); |
| 16 | +DeclareOperation("GraphvizGraph", [IsDigraph]); |
| 17 | + |
| 18 | +############################################################################# |
| 19 | +# Vertex coloured graphs and digraphs |
| 20 | +############################################################################# |
| 21 | + |
| 22 | +DeclareOperation("GraphvizVertexColoredDigraph", [IsDigraph, IsList]); |
| 23 | +DeclareOperation("GraphvizVertexColoredGraph", [IsDigraph, IsList]); |
| 24 | + |
| 25 | +############################################################################# |
| 26 | +# Edge coloured graphs and digraphs |
| 27 | +############################################################################# |
| 28 | + |
| 29 | +DeclareOperation("GraphvizEdgeColoredDigraph", [IsDigraph, IsList]); |
| 30 | +DeclareOperation("GraphvizEdgeColoredGraph", [IsDigraph, IsList]); |
| 31 | + |
| 32 | +############################################################################# |
| 33 | +# Vertex and edge coloured graphs and digraphs |
| 34 | +############################################################################# |
44 | 35 |
|
| 36 | +DeclareOperation("GraphvizColoredDigraph", [IsDigraph, IsList, IsList]); |
| 37 | +DeclareOperation("GraphvizColoredGraph", [IsDigraph, IsList, IsList]); |
| 38 | + |
| 39 | +############################################################################# |
| 40 | +# Vertex labelled graphs and digraphs |
| 41 | +############################################################################# |
| 42 | + |
| 43 | +DeclareOperation("GraphvizVertexLabelledDigraph", [IsDigraph]); |
| 44 | +DeclareOperation("GraphvizVertexLabelledGraph", [IsDigraph]); |
| 45 | + |
| 46 | +############################################################################# |
| 47 | +# Partial and preorder digraphs |
| 48 | +############################################################################# |
| 49 | + |
| 50 | +DeclareAttribute("GraphvizPartialOrderDigraph", IsDigraph); |
| 51 | +DeclareAttribute("GraphvizPreorderDigraph", IsDigraph); |
| 52 | + |
| 53 | +DeclareSynonym("GraphvizQuasiorderDigraph", GraphvizPreorderDigraph); |
| 54 | + |
| 55 | +############################################################################# |
| 56 | +# Highlighted subdigraphs |
| 57 | +############################################################################# |
| 58 | + |
| 59 | +DeclareOperation("GraphvizHighlightedDigraph", [IsDigraph, IsList]); |
| 60 | +DeclareOperation("GraphvizHighlightedDigraph", |
| 61 | + [IsDigraph, IsList, IsString, IsString]); |
| 62 | +DeclareOperation("GraphvizHighlightedGraph", [IsDigraph, IsList]); |
| 63 | +DeclareOperation("GraphvizHighlightedGraph", |
| 64 | + [IsDigraph, IsList, IsString, IsString]); |
0 commit comments