Title: Theory / Unimportant / CS / Descriptive / Dot
Tags: récupéré mid1516974248815 seen_description MissingMedia déclaration fromMath hasSeenConjDef

Name: A group
Definition: each element has a a right group inverse and a left group inverse
Page: 13, 13, 202
Chapter: II,II, XI
Section: 1.3,4.2
Index: 3, 4, 20
Kind: Prop
Definition2: \(x^{\omega}=1\) (assuming finiteness)
Conjdef: A monoid such that, equivalently
Definition3: each element has a a right group inverse (assuming finiteness)

Variable: shape
Meaning: The edge shape
Page: https://graphviz.gitlab.io/_pages/doc/info/shapes.html
Context: dot edge

Name: An arrowname
Definition: One to four aname
Page: https://graphviz.gitlab.io/_pages/doc/info/arrows.html
Context: dot
Applied to3: How the arrow is represented

Name: An aname
Definition: a modifier
Page: https://graphviz.gitlab.io/_pages/doc/info/arrows.html
Context: dot
Definition2: an arrow shape
Conjdef: A pair with

Name: An arrow shape
Definition: Either
Page: https://graphviz.gitlab.io/_pages/doc/info/arrows.html
Context: dot
Applied to3: How a part of the arrow is represented

Name: An arrow modifier
Definition: 'o'
Use an open (non-filled) version of the shape.
Page: https://graphviz.gitlab.io/_pages/doc/info/arrows.html
Context: dot
Definition2: Either
'l'
Clip the shape, leaving only the part to the left of the edge.
'r'
Clip the shape, leaving only the part to the right of the edge.
Conjdef: A set of

Name: A node shape
Definition: A polygon-based shape
Page: https://graphviz.gitlab.io/_pages/doc/info/shapes.html
Context: dot
Definition2: A record-based shape
Conjdef: Either
Definition3: An user-defined shape

Name: A user-defined node
Definition: A node with a description of how to draw it in the output format (svg, bmp, ps...)
Page: https://graphviz.gitlab.io/_pages/doc/info/shapes.html
Context: dot

Variable: GDFONTPATH
Meaning: List of pathnames giving directories which a program should search for fonts. Overridden by DOTFONTPATH. Used only if Graphviz is not built with the fontconfig library
Page: https://graphviz.gitlab.io/_pages/doc/info/command.html
Context: graphviz
Value: Environment variable

Variable: DOTFONTPATH
Meaning: List of pathnames giving directories which a program should search for fonts. Overridden by fontpath. Used only if Graphviz is not built with the fontconfig library
Page: https://graphviz.gitlab.io/_pages/doc/info/command.html
Context: graphviz
Value: Environment variable

Variable: SERVER_NAME
Meaning: If defined, this indicates that the software is running as a web application, which restricts access to image files. See GV_FILE_PATH.
Page: https://graphviz.gitlab.io/_pages/doc/info/command.html
Context: graphviz
Value: Environment variable

Variable: GV_FILE_PATH
Meaning: If SERVER_NAME is defined, image files are restricted to exist in one of the directories specified by GV_FILE_PATH. This last is a list of directory pathnames, separated by semicolons in Windows or by colons otherwise. Note that sometimes, when using one of the layout programs in a web script, it is not enough to use an export command but rather the variables should be set when the command is run, for example,
SERVER_NAME=xxx GV_FILE_PATH="images:etc/images:/usr/share/images" dot -Tpng -o x.png x.gv
Note that the image files must really reside in one of the specified directories. If the image file is specified as an absolute or relative pathname, a warning is given and only the base name is used.
Page: https://graphviz.gitlab.io/_pages/doc/info/command.html
Context: graphviz
Value: Environment variable

Variable: GVBINDIR
Meaning: Indicates which directory contains the Graphviz config file and plug-in libraries. If it is defined, the value overrides any other mechanism for finding this directory. If Graphviz is properly installed, it should not be needed, though it can be useful for relocation on platforms not running Linux or Windows.
Page: https://graphviz.gitlab.io/_pages/doc/info/command.html
Context: graphviz
Value: Environment variable

Instruction: foo=bar
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 2
Effect: Assign foo to bar in every following value where it makes sens
Context: graphviz output format
Section: graph file language

Instruction: foo
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 2
Effect: Introduce a node named foo
Context: graphviz output format
Section: graph file language
Variables: foo some string

Instruction: foo_1 -- ... -- foo_n or foo_1 -> ... -> foo_n
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 2
Effect: Introduce a sequence of edges from foo__i to foo_i+1. Creating node if required
Context: graphviz output format
Section: graph file language
Variables: foo some string

Variable: hlef
Meaning: the default url for image map files; in PostScript files, the base URL for all relative URLs, as recognized by Acrobat Distiller 3.0 and up.
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: url
Meaning: synonyme for HREF
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: fontcolor
Meaning: sets the label text color
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Value: "h,s,v" (hue, saturation, brightness) floating point numbers between 0 and 1, or an
X11 color name such as white, black, red, green, blue, yellow, magenta, or cyan, or a "#rrggbb" (red,
green, blue,2hex characters each) value

Variable: fontsize
Meaning: sets the label type size to n points
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: fontname
Meaning: sets the label font family name
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: label
Meaning: The text labelling an element
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Instruction: \l
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Effect: justify left
Context: graphviz label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Instruction: \r
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Effect: justify right
Context: graphviz label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Instruction: \G
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Effect: The graph name
Context: graphviz label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Instruction: \N
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Effect: the node name
Context: graphviz label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Instruction: \T
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Effect: the name of the tail node
Context: graphviz label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Instruction: \H
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Effect: name of the head node
Context: graphviz label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Instruction: \E
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Effect: tail_node_name->head_node_name or tail_node_name--head_node_name
Context: graphviz label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: size
Meaning: "x,y" specifies the maximum bounding box of drawing in inches
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: ratio
Meaning: f sets the aspect ratio to f which may be a floating point number, or one of the keywords fill, ompress, or auto.
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: layout
Meaning: basename of the command or the −K commandline option.
e indicates the preferred layout engine (dot, neato, fdp, etc.) overriding the default from the
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: margin
Meaning: f sets the page margin (included in the page size)
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: ordering
Meaning: constrains order of out-edges in a subgraph according to their file sequence
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: rotate
Meaning: sets landscape mode
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: center
Meaning: a non-zero value centers the drawing on the page.
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: color
Meaning: sets foreground color
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: bgcolor
Meaning: sets background color
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: overlap
Meaning: This specifies what algorithm should do if any nodes overlap. If mode is false, the program uses the Prism algorithm to adjust the nodes to eliminate overlaps. If mode is scale, the layout is uniformly
scaled up, preserving node sizes, until nodes no longer overlap. The latter technique removes overlaps while preserving symmetry and structure, while the former removes overlaps more compactly but destroys symmetries. If mode is true (the default), no repositioning is done. Since the dot algorithm always produces a layout with no node overlaps, this attribute is only useful with other layouts
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: stylesheet
Meaning: includes a reference to a stylesheet in −Tsvg and −Tsvgz outputs. Ignored by other formats.
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: splines=true
Meaning: whether edges are drawn as splines
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: splines=polyline
Meaning: edges are draws as polylines
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: splines=ortho
Meaning: edges are drawn as orthogonal polylines
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: splines=false or splines=line
Meaning: edges are drawn as line segment
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES

Variable: nodesep
Meaning: sets the minimum separation between nodes
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Library: dot

Variable: ranksep
Meaning: sets the minimum separation between ranks
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Library: dot

Variable: rankdir
Meaning: requests a left-to-right, right-to-left, or bottom-to-top, drawing.
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Library: dot

Variable: rank=same
Meaning: constains the rank assignments of its nodes to be the same
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Library: dot subgraph

Variable: rank=min/max
Meaning: constains the rank assignments of its nodes to the min or max
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Library: dot subgraph

Variable: mode=KK
Meaning: Algorithm for minimizing energy in the layout. It uses a version of gradient descent.
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Library: neato

Variable: model=circuit
Meaning: The desired distances between all pairs of vertices. Using a circuit-resistance model
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Library: neato

Variable: model=subset
Meaning: The desired distances between all pairs of vertices. , it uses a model whereby the edge length is the number of nodes that are neighbors of exactly one of the edge’s vertices.
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Library: neato

Variable: start
Meaning: A seed for the random initial placement generator
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Library: neato

Variable: epsilon
Meaning: Sets the cutoff for the solver
Page: https://graphviz.gitlab.io/_pages/pdf/dot.1.pdf 3
Context: graphviz graph label
neato
Section: GRAPH, NODE AND EDGE ATTRIBUTES
Initialization: 0.1