1- # ############################################################################
1+ # ###########################################################################
22# #
33# # display.gd
44# # Copyright (C) 2017-19 James D. Mitchell
88# ############################################################################
99# #
1010
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] );
28+
1129DeclareAttribute(" DotDigraph" , IsDigraph);
1230DeclareOperation(" DotColoredDigraph" , [ IsDigraph, IsList, IsList] );
1331DeclareOperation(" DotVertexColoredDigraph" , [ IsDigraph, IsList] );
@@ -23,3 +41,4 @@ DeclareSynonym("DotQuasiorderDigraph", DotPreorderDigraph);
2341DeclareOperation(" DotHighlightedDigraph" , [ IsDigraph, IsList] );
2442DeclareOperation(" DotHighlightedDigraph" ,
2543 [ IsDigraph, IsList, IsString, IsString] );
44+
0 commit comments