====== Save Elevation Graph ======

===== Description =====
This functor saves the elevation patch graph in [[wp>DOT_(graph_description_language)|Graphviz DOT]] or [[wp>JSON|JSON]] format.

===== Inputs =====
^ Name  ^ Type  ^ Description  ^
| Elevation Graph | [[Elevation Graph Type]]  | Elevation patch graph created from neighborhood relationships and their properties.  |

===== Optional Inputs =====
^ Name  ^ Type  ^ Description  ^ Default Value  ^
| Dot Filename  | [[Generic Filename Type]]  | If provided, represents the filename where the elevation patch graph representation in [[wp>DOT_(graph_description_language)|Graphviz DOT]] format will be saved.  | null  |
| Json Filename  | [[Generic Filename Type]]  | If provided, represents the filename where the elevation patch graph representation in [[wp>JSON|JSON]] format will be saved.  | null  |

===== Output =====
None.

===== Group =====
[[Functor List#Elevation Graph | Elevation Graph]]

===== Notes =====
If the corresponding filename is provided, saves the elevation patch graph in [[wp>DOT_(graph_description_language)|Graphviz DOT]] or [[wp>JSON|JSON]] format.

An error is reported if at least one filename where the elevation patch graph should be saved is not provided.

===== Internal Name =====
SaveElevationGraph