| 1 |
4 |
tbourke |
(* $Id: graph_attribute.sig 13 2007-11-02 05:34:38Z tbourke $ *)
|
| 2 |
|
|
|
| 3 |
|
|
signature GRAPH_ATTRIBUTE =
|
| 4 |
|
|
sig
|
| 5 |
|
|
include ATTRIBUTE
|
| 6 |
|
|
structure X11Color : X11_COLOR
|
| 7 |
|
|
|
| 8 |
|
|
type pointf = real * real
|
| 9 |
|
|
|
| 10 |
|
|
type escString = string (* but printing is special *)
|
| 11 |
|
|
type rect = {llx: int, lly: int, urx: int, ury: int}
|
| 12 |
|
|
|
| 13 |
|
|
type lblString
|
| 14 |
|
|
val PlainString : escString -> lblString (*enclosing dblquotes added*)
|
| 15 |
|
|
val HTMLString : string -> lblString (*no dblquotes added*)
|
| 16 |
|
|
|
| 17 |
|
|
type spacing
|
| 18 |
|
|
val SpacingEqual : real -> spacing
|
| 19 |
|
|
val SpacingDifferent : real * real -> spacing
|
| 20 |
|
|
|
| 21 |
|
|
type color
|
| 22 |
|
|
val RGB : {red: int, green: int, blue: int} -> color
|
| 23 |
|
|
val X11 : X11Color.t -> color
|
| 24 |
|
|
|
| 25 |
|
|
type viewport = {width: real, height: real, zoom: real option,
|
| 26 |
|
|
center: pointf option}
|
| 27 |
|
|
|
| 28 |
|
|
type outputMode
|
| 29 |
|
|
val BreadthFirst : outputMode
|
| 30 |
|
|
val NodesFirst : outputMode
|
| 31 |
|
|
val EdgesFirst : outputMode
|
| 32 |
|
|
|
| 33 |
|
|
type ratio
|
| 34 |
|
|
val RatioNumeric : real -> ratio
|
| 35 |
|
|
val RatioFill : ratio
|
| 36 |
|
|
val RatioCompress : ratio
|
| 37 |
|
|
val RatioExpand : ratio
|
| 38 |
|
|
val RatioAuto : ratio
|
| 39 |
|
|
|
| 40 |
|
|
type pageDir
|
| 41 |
|
|
val Page_BL : pageDir
|
| 42 |
|
|
val Page_BR : pageDir
|
| 43 |
|
|
val Page_TL : pageDir
|
| 44 |
|
|
val Page_TR : pageDir
|
| 45 |
|
|
val Page_RB : pageDir
|
| 46 |
|
|
val Page_RT : pageDir
|
| 47 |
|
|
val Page_LB : pageDir
|
| 48 |
|
|
val Page_LT : pageDir
|
| 49 |
|
|
|
| 50 |
|
|
type rankDir
|
| 51 |
|
|
val Rank_TB : rankDir
|
| 52 |
|
|
val Rank_LR : rankDir
|
| 53 |
|
|
val Rank_BT : rankDir
|
| 54 |
|
|
val Rank_RL : rankDir
|
| 55 |
|
|
|
| 56 |
|
|
type startStyle
|
| 57 |
|
|
val Regular : startStyle
|
| 58 |
|
|
val Self : startStyle
|
| 59 |
|
|
val Random : startStyle
|
| 60 |
|
|
|
| 61 |
|
|
type clusterStyle
|
| 62 |
|
|
val Filled : clusterStyle
|
| 63 |
|
|
val Rounded : clusterStyle
|
| 64 |
|
|
val Custom : string -> clusterStyle
|
| 65 |
|
|
|
| 66 |
|
|
type overlap
|
| 67 |
|
|
val OL_True : overlap
|
| 68 |
|
|
val OL_False : overlap
|
| 69 |
|
|
val OL_Scale : overlap
|
| 70 |
|
|
val OL_ScaleXY : overlap
|
| 71 |
|
|
val OL_Ortho : overlap
|
| 72 |
|
|
val OL_OrthoXY : overlap
|
| 73 |
|
|
val OL_OrthYX : overlap
|
| 74 |
|
|
val OL_POrtho : overlap
|
| 75 |
|
|
val OL_POrthoXY : overlap
|
| 76 |
|
|
val OL_POrthoYX : overlap
|
| 77 |
|
|
val OL_Compress : overlap
|
| 78 |
|
|
val OL_IPSep : overlap
|
| 79 |
|
|
val OL_VPSC : overlap
|
| 80 |
|
|
val OL_FDP : int * overlap -> overlap
|
| 81 |
|
|
|
| 82 |
|
|
val Damping : real -> t (*neato only*)
|
| 83 |
|
|
val K : real -> t (*fdp only*)
|
| 84 |
|
|
val URL : lblString -> t (*svg, postscript, map only*)
|
| 85 |
|
|
val Bb : rect -> t
|
| 86 |
|
|
val BgColor : color -> t
|
| 87 |
|
|
val Center : t
|
| 88 |
|
|
val NoCenter : t
|
| 89 |
|
|
val Charset : string -> t
|
| 90 |
|
|
val ClusterRank_local : t
|
| 91 |
|
|
val ClusterRank_global : t
|
| 92 |
|
|
val ClusterRank_none : t
|
| 93 |
|
|
val Color : color list -> t
|
| 94 |
|
|
val ColorScheme : string -> t
|
| 95 |
|
|
val Comment : string -> t
|
| 96 |
|
|
val Compound : t (*dot only*)
|
| 97 |
|
|
val NoCompound : t (*dot only*)
|
| 98 |
|
|
val Concentrate : t (*dot only*)
|
| 99 |
|
|
val NoConcentrate : t (*dot only*)
|
| 100 |
|
|
val DefaultDist : real -> t (*neato only*)
|
| 101 |
|
|
val Dim : int -> t (*fdp, neato only*)
|
| 102 |
|
|
val DirEdgeConstraints_true : t (*neato only*)
|
| 103 |
|
|
val DirEdgeConstraints_none : t (*neato only*)
|
| 104 |
|
|
val DirEdgeConstraints_hier : t (*neato only*)
|
| 105 |
|
|
val Dpi : real -> t (*svg, bitmap output only*)
|
| 106 |
|
|
val Epsilon : real -> t (*neato only*)
|
| 107 |
|
|
val Esep : real -> t (*not dot*)
|
| 108 |
|
|
val FillColor : color -> t
|
| 109 |
|
|
val FontColor : color -> t
|
| 110 |
|
|
val FontName : string -> t
|
| 111 |
|
|
val FontNames : string -> t (*svg only*)
|
| 112 |
|
|
val FontPath : string -> t
|
| 113 |
|
|
val FontSize : real -> t
|
| 114 |
|
|
val Label : lblString -> t
|
| 115 |
|
|
val LabelJust : string -> t
|
| 116 |
|
|
val LabelLoc_top : t
|
| 117 |
|
|
val LabelLoc_bottom : t
|
| 118 |
|
|
val Landscape : t
|
| 119 |
|
|
val NoLandscape : t
|
| 120 |
|
|
val Layers : string list -> t
|
| 121 |
|
|
val LayerSep : string -> t
|
| 122 |
|
|
val LevelsGap : real -> t (*neato only*)
|
| 123 |
|
|
val LabelPos : pointf -> t
|
| 124 |
|
|
val Margin : spacing -> t
|
| 125 |
|
|
val MaxIter : int -> t (*fdp, neato only*)
|
| 126 |
|
|
val McLimit : real -> t (*dot only*)
|
| 127 |
|
|
val MinDist : real -> t (*circo only*)
|
| 128 |
|
|
val Mode : string -> t (*neato only*)
|
| 129 |
|
|
val Model : string -> t (*neato only*)
|
| 130 |
|
|
val Mosek : t (*neato only*)
|
| 131 |
|
|
val NodeSep : real -> t (*dot only*)
|
| 132 |
|
|
val Justify : t
|
| 133 |
|
|
val NoJustify : t
|
| 134 |
|
|
val Normalize : t (*not dot*)
|
| 135 |
|
|
val NoNormalize : t (*not dot*)
|
| 136 |
|
|
val NsLimit : real -> t (*dot only*)
|
| 137 |
|
|
val NsLimit1 : real -> t (*dot only*)
|
| 138 |
|
|
val Ordering : string -> t (*dot only*)
|
| 139 |
|
|
val Orientation : string -> t
|
| 140 |
|
|
val OutputOrder : outputMode -> t
|
| 141 |
|
|
val Overlap : overlap -> t (*not dot*)
|
| 142 |
|
|
val PackTrue : t (*not dot*)
|
| 143 |
|
|
val PackFalse : t (*not dot*)
|
| 144 |
|
|
val PackValue : int -> t (*not dot*)
|
| 145 |
|
|
val PackMode_node : t (*not dot*)
|
| 146 |
|
|
val PackMode_cluster : t (*not dot*)
|
| 147 |
|
|
val PackMode_graph : t (*not dot*)
|
| 148 |
|
|
val Pad : spacing -> t
|
| 149 |
|
|
val Page : pointf -> t
|
| 150 |
|
|
val PageDir : pageDir -> t
|
| 151 |
|
|
val PenColor : color -> t
|
| 152 |
|
|
val Peripheries : int -> t
|
| 153 |
|
|
val Quantum : real -> t
|
| 154 |
|
|
val Rank_same : t (*dot only*)
|
| 155 |
|
|
val Rank_min : t (*dot only*)
|
| 156 |
|
|
val Rank_source : t (*dot only*)
|
| 157 |
|
|
val Rank_max : t (*dot only*)
|
| 158 |
|
|
val Rank_sink : t (*dot only*)
|
| 159 |
|
|
val RankDir : rankDir -> t (*dot only*)
|
| 160 |
|
|
val RankSep : real -> t (*twopi, dot only*)
|
| 161 |
|
|
val Ratio : ratio -> t
|
| 162 |
|
|
val ReMinCross : t (*dot only*)
|
| 163 |
|
|
val NoReMinCross : t (*dot only*)
|
| 164 |
|
|
val Resolution : real -> t (*svg, bitmap output only*)
|
| 165 |
|
|
val Root : string -> t (*circo, twopi only*)
|
| 166 |
|
|
val Rotate : int -> t
|
| 167 |
|
|
val SearchSize : int -> t (*dot only*)
|
| 168 |
|
|
val Sep : spacing -> t
|
| 169 |
|
|
val ShowBoxes : int -> t (*dot only*)
|
| 170 |
|
|
val Size : pointf -> t
|
| 171 |
|
|
val Splines_true : t
|
| 172 |
|
|
val Splines_line : t
|
| 173 |
|
|
val Splines_none : t
|
| 174 |
|
|
val Splines_compound : t (*fdp only*)
|
| 175 |
|
|
val Start : startStyle option * int option -> t
|
| 176 |
|
|
(*fdp, neato only*)
|
| 177 |
|
|
val Style : clusterStyle -> t
|
| 178 |
|
|
val StyleSheet : string -> t (*svg only*)
|
| 179 |
|
|
val Target : escString -> t (*svg, map only*)
|
| 180 |
|
|
val Tooltip : escString -> t (*svg, cmap only*)
|
| 181 |
|
|
val TrueColor : bool -> t (*bitmap output only*)
|
| 182 |
|
|
val Viewport : viewport -> t (*bitmap output,cmap,map only*)
|
| 183 |
|
|
val Voro_Margin : real -> t
|
| 184 |
|
|
|
| 185 |
|
|
end
|
| 186 |
|
|
|