File:Tagged union tree.svg
Size of this PNG preview of this SVG file: 512 × 417 pixels. Other resolutions: 295 × 240 pixels | 589 × 480 pixels | 943 × 768 pixels | 1,257 × 1,024 pixels | 2,515 × 2,048 pixels.
Original file (SVG file, nominally 512 × 417 pixels, file size: 2 KB)
 | This is a file from the Wikimedia Commons. Information from its description page there is shown below. Commons is a freely licensed media file repository. You can help. |
| Description | Small tree image for tagged union page |
| Date | |
| Source | en:Image:Tagged union tree.png |
| Author | Traced by User:Stannered |
| Permission (Reusing this file) |
PD original |
| Other versions | en:Image:Tagged union tree.png |
| SVG development | |
| Source code | DOT Source codedigraph {
nodesep=.6
ranksep=0
graph [splines=line,bgcolor=transparent]
edge [penwidth=.75,arrowsize=.75]
node [shape=circle,style=filled,fillcolor="#ffffff",fontname="Source Code Pro,Ubuntu Mono,DejaVu Sans Mono,monospace",penwidth=1.5,width=0.5,margin=0,fontsize=18]
5 -> {1 3}
3 -> {a [style=invis]} [penwidth=0,arrowsize=0]
3 -> 4
}
|
|
This work has been released into the public domain by its author, Dcoetzee, at the English Wikipedia project. This applies worldwide. In case this is not legally possible: |
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 21:45, 5 August 2019 | | 512 × 417 (2 KB) | Pat Hawks | Changed node background from transparent to white. Use actual text for labels instead of paths. |
| 22:47, 31 March 2007 |  | 200 × 178 (6 KB) | Stannered | {{Information |Description=Small tree image for tagged union page |Source=en:Image:Tagged union tree.png |Date=2007-03-31 |Author=Traced by User:Stannered |Permission=PD original |other_versions=en:Image:Tagged union tree.png }} [[Category: |
File usage
The following pages on the English Wikipedia use this file (pages on other projects are not listed):
Global file usage
The following other wikis use this file:
- Usage on et.wikipedia.org
- Usage on is.wikipedia.org
- Usage on ro.wikipedia.org
