TDVisu.schema.json

{
  "$schema": "http://json-schema.org/draft-07/schema",
  "$id": "https://raw.githubusercontent.com/VaeterchenFrost/tdvisu/main/TDVisu.schema.json",
  "type": "object",
  "title": "The root schema for TDVisu",
  "description": "The schema describes the valid JSON input for visualizing dynamic programming on tree-decompositions in TDVisu.",
  "examples": [
    {
      "treeDecJson": {
        "bagpre": "REQ",
        "num_vars": 1,
        "joinpre": "Join %d~%d",
        "solpre": "sol%d",
        "soljoinpre": "solJoin%d~%d",
        "edgearray": [
          [
            2,
            1
          ],
          [
            3,
            2
          ],
          [
            4,
            2
          ],
          [
            5,
            3
          ]
        ],
        "labeldict": [
          {
            "id": 1,
            "items": [
              1,
              2,
              5
            ],
            "labels": [
              "[1, 2, 5]",
              "dtime=0.0007s"
            ]
          },
          {
            "id": 2,
            "items": [
              1,
              2,
              4,
              6
            ],
            "labels": [
              "[1, 2, 4, 6]",
              "dtime=0.0019s"
            ]
          },
          {
            "id": 3,
            "items": [
              2,
              4,
              8
            ],
            "labels": [
              "[2, 4, 8]",
              "dtime=0.0009s"
            ]
          },
          {
            "id": 4,
            "items": [
              1,
              4,
              7
            ],
            "labels": [
              "[1, 4, 7]",
              "dtime=0.0018s"
            ]
          },
          {
            "id": 5,
            "items": [
              2,
              3,
              8
            ],
            "labels": [
              "[2, 3, 8]",
              "dtime=0.0026s"
            ]
          }
        ]
      },
      "tdTimeline": [
        [
          5
        ],
        [
          5,
          [
            [
              [
                "v2",
                "v8"
              ],
              [
                0,
                0
              ],
              [
                1,
                1
              ],
              [
                0,
                1
              ],
              [
                1,
                0
              ]
            ],
            "sol bag 5",
            "",
            true
          ]
        ],
        [
          [
            3,
            4
          ],
          [
            [
              [
                "id",
                "v1",
                "v5",
                "v10",
                "n Sol"
              ],
              [
                0,
                0,
                0,
                0,
                2
              ],
              [
                1,
                1,
                0,
                0,
                0
              ],
              [
                2,
                0,
                1,
                0,
                2
              ],
              [
                3,
                1,
                1,
                0,
                2
              ],
              [
                4,
                0,
                0,
                1,
                4
              ],
              [
                5,
                1,
                0,
                1,
                2
              ],
              [
                6,
                0,
                1,
                1,
                4
              ],
              [
                7,
                1,
                1,
                1,
                4
              ]
            ],
            "sol Join 3~4",
            "sum: 20",
            true
          ]
        ]
      ],
      "incidenceGraph": {
        "subgraph_name_one": "clauses",
        "subgraph_name_two": "variables",
        "var_name_one": "",
        "var_name_two": "",
        "infer_primal": false,
        "infer_dual": false,
        "primal_file": "PrimalGraphStep",
        "inc_file": "IncidenceGraphStep",
        "dual_file": "DualGraphStep",
        "fontsize": 16,
        "penwidth": 2.2,
        "second_shape": "diamond",
        "column_distance": 0.5,
        "edges": [
          {
            "id": 1,
            "list": [
              1,
              4,
              6
            ]
          },
          {
            "id": 2,
            "list": [
              1,
              -5
            ]
          },
          {
            "id": 3,
            "list": [
              -1,
              7
            ]
          }
        ]
      },
      "generalGraph": {
        "extra_nodes": [
          100
        ],
        "graph_name": "graph",
        "file_basename": "graph",
        "var_name": "",
        "do_sort_nodes": false,
        "do_adj_nodes": false,
        "fontsize": 20,
        "first_color": "yellow",
        "first_style": "filled",
        "second_color": "green",
        "second_style": "dotted,filled",
        "third_color": "red",
        "edges": [
          [
            6,
            15
          ],
          [
            3,
            4
          ],
          [
            4,
            3
          ],
          [
            14,
            7
          ],
          [
            5,
            4
          ]
        ]
      },
      "td_file": "TDStep",
      "colors": [
        "#0073a1",
        "#b14923",
        "#244320",
        "#b1740f",
        "#a682ff",
        "#004066",
        "#0d1321",
        "#da1167",
        "#604909",
        "#0073a1",
        "#b14923",
        "#244320",
        "#b1740f",
        "#a682ff"
      ],
      "orientation": "BT",
      "linesmax": 100,
      "columnsmax": 20,
      "bagcolor": "white",
      "fontsize": 20,
      "penwidth": 2.2,
      "fontcolor": "black",
      "emphasis": {
        "firstcolor": "yellow",
        "secondcolor": "green",
        "firststyle": "filled",
        "secondstyle": "dotted,filled"
      },
      "svgjoin": {
        "base_names": [
          "REQUIRED"
        ],
        "folder": null,
        "outname": "combined",
        "suffix": "%d.svg",
        "preserve_aspectratio": "xMinYMin",
        "num_images": 1,
        "padding": 0,
        "scale2": 1.0,
        "v_top": "top",
        "v_bottom": null
      }
    }
  ],
  "required": [
    "tdTimeline",
    "treeDecJson"
  ],
  "additionalProperties": false,
  "definitions": {
    "list_integer": {
      "type": "array",
      "additionalItems": true,
      "items": {
        "type": "integer"
      }
    },
    "list_string": {
      "type": "array",
      "additionalItems": true,
      "items": {
        "type": "string"
      }
    },
    "generalGraph": {
      "type": "object",
      "examples": [
        {
          "extra_nodes": [
            100
          ],
          "graph_name": "graph",
          "file_basename": "graph",
          "var_name": "",
          "do_sort_nodes": false,
          "do_adj_nodes": false,
          "fontsize": 20,
          "first_color": "yellow",
          "first_style": "filled",
          "second_color": "green",
          "second_style": "dotted,filled",
          "third_color": "red",
          "edges": [
            [
              6,
              15
            ],
            [
              3,
              4
            ],
            [
              4,
              3
            ],
            [
              14,
              7
            ],
            [
              5,
              4
            ]
          ]
        }
      ],
      "required": [
        "edges"
      ],
      "additionalProperties": false,
      "properties": {
        "graph_name": {
          "$id": "#/definitions/generalGraph/properties/graph_name",
          "type": "string",
          "description": "The name for this graph.",
          "default": "graph"
        },
        "file_basename": {
          "$id": "#/definitions/generalGraph/properties/file_basename",
          "type": "string",
          "description": "The name for the file the graph will be saved in.",
          "default": "graph"
        },
        "var_name": {
          "$id": "#/definitions/generalGraph/properties/var_name",
          "type": "string",
          "description": "The label for nodes in the graph.",
          "default": ""
        },
        "do_sort_nodes": {
          "$id": "#/definitions/generalGraph/properties/do_sort_nodes",
          "type": "boolean",
          "description": "Whether to sort nodes for the layout based on their id.",
          "default": false
        },
        "do_adj_nodes": {
          "$id": "#/definitions/generalGraph/properties/do_adj_nodes",
          "type": "boolean",
          "description": "Whether to consider adjacent nodes of the current bag for the emphasis.",
          "default": false
        },
        "extra_nodes": {
          "$id": "#/definitions/generalGraph/properties/extra_nodes",
          "type": "array",
          "description": "Can contain nodes (with no edges connected).",
          "additionalItems": true,
          "items": {
            "type": "integer"
          }
        },
        "fontsize": {
          "$id": "#/definitions/generalGraph/properties/fontsize",
          "type": "integer",
          "description": "The fontsize in pixels.",
          "default": 20
        },
        "first_color": {
          "$id": "#/definitions/generalGraph/properties/first_color",
          "type": "string",
          "description": "The color for primary highlighting.",
          "default": "yellow"
        },
        "first_style": {
          "$id": "#/definitions/generalGraph/properties/first_style",
          "type": "string",
          "description": "The style for primary highlighting.",
          "default": "filled"
        },
        "second_color": {
          "$id": "#/definitions/generalGraph/properties/second_color",
          "type": "string",
          "description": "The color for secondary highlighting.",
          "default": "green"
        },
        "second_style": {
          "$id": "#/definitions/generalGraph/properties/second_style",
          "type": "string",
          "description": "The style for secondary highlighting.",
          "default": "dotted,filled"
        },
        "third_color": {
          "$id": "#/definitions/generalGraph/properties/third_color",
          "type": "string",
          "description": "The color for secondary highlighting.",
          "default": "green"
        },
        "edges": {
          "$id": "#/definitions/generalGraph/properties/edges",
          "type": "array",
          "description": "Every (undirected) edge as tuple of two node ids.",
          "examples": [
            [
              [
                6,
                15
              ],
              [
                3,
                4
              ]
            ]
          ],
          "additionalItems": true,
          "items": {
            "$ref": "#/definitions/list_integer"
          }
        }
      }
    },
    "incidenceGraph": {
      "type": "object",
      "examples": [
        {
          "subgraph_name_one": "clauses",
          "subgraph_name_two": "variables",
          "var_name_one": "",
          "var_name_two": "",
          "infer_primal": false,
          "infer_dual": false,
          "primal_file": "PrimalGraphStep",
          "inc_file": "IncidenceGraphStep",
          "dual_file": "DualGraphStep",
          "fontsize": 16,
          "penwidth": 2.2,
          "second_shape": "diamond",
          "column_distance": 0.5,
          "edges": [
            {
              "id": 1,
              "list": [
                1,
                4,
                6
              ]
            },
            {
              "id": 2,
              "list": [
                1,
                -5
              ]
            },
            {
              "id": 3,
              "list": [
                -1,
                7
              ]
            }
          ]
        }
      ],
      "required": [
        "edges"
      ],
      "additionalProperties": false,
      "properties": {
        "subgraph_name_one": {
          "$id": "#/definitions/incidenceGraph/properties/subgraph_name_one",
          "type": "string",
          "description": "The name of the 1st partition subgraph.",
          "default": "clauses"
        },
        "subgraph_name_two": {
          "$id": "#/definitions/incidenceGraph/properties/subgraph_name_two",
          "type": "string",
          "description": "The name of the 2nd partition subgraph.",
          "default": "variables"
        },
        "var_name_one": {
          "$id": "#/definitions/incidenceGraph/properties/var_name_one",
          "type": "string",
          "description": "The label for nodes in the 1st partition.",
          "default": ""
        },
        "var_name_two": {
          "$id": "#/definitions/incidenceGraph/properties/var_name_two",
          "type": "string",
          "description": "The label for nodes in the 2nd partition.",
          "default": ""
        },
        "infer_primal": {
          "$id": "#/definitions/incidenceGraph/properties/infer_primal",
          "type": "boolean",
          "description": "Whether to calculate the primal graph from the incidence edges.",
          "default": false
        },
        "infer_dual": {
          "$id": "#/definitions/incidenceGraph/properties/infer_dual",
          "type": "boolean",
          "description": "Whether to calculate the dual graph from the incidence edges.",
          "default": false
        },
        "primal_file": {
          "$id": "#/definitions/incidenceGraph/properties/primal_file",
          "type": "string",
          "description": "The name for created primal graph files.",
          "default": "PrimalGraphStep"
        },
        "inc_file": {
          "$id": "#/definitions/incidenceGraph/properties/inc_file",
          "type": "string",
          "description": "The name for created incidence graph files.",
          "default": "IncidenceGraphStep"
        },
        "dual_file": {
          "$id": "#/definitions/incidenceGraph/properties/dual_file",
          "type": "string",
          "description": "The name for created dual graph files.",
          "default": "DualGraphStep"
        },
        "fontsize": {
          "$id": "#/definitions/incidenceGraph/properties/fontsize",
          "type": "integer",
          "description": "The fontsize in pixels.",
          "default": 16
        },
        "penwidth": {
          "$id": "#/definitions/incidenceGraph/properties/penwidth",
          "type": "number",
          "description": "The width of lines drawn.",
          "default": 2.2
        },
        "second_shape": {
          "$id": "#/definitions/incidenceGraph/properties/second_shape",
          "type": "string",
          "description": "A description of the shape for the nodes in the 2nd partition.",
          "default": "diamond"
        },
        "column_distance": {
          "$id": "#/definitions/incidenceGraph/properties/column_distance",
          "type": "number",
          "description": "The distance between the partitions in units.",
          "default": 0.5
        },
        "edges": {
          "$id": "#/definitions/incidenceGraph/properties/edges",
          "type": "array",
          "description": "The edges from the 1st partition to the 2nd partition.",
          "examples": [
            [
              {
                "id": 1,
                "list": [
                  1,
                  4,
                  6
                ]
              },
              {
                "id": 2,
                "list": [
                  1,
                  -5
                ]
              }
            ]
          ],
          "additionalItems": true,
          "items": {
            "anyOf": [
              {
                "$id": "#/definitions/incidenceGraph/properties/edges/items/anyOf/0",
                "type": "object",
                "examples": [
                  {
                    "id": 1,
                    "list": [
                      1,
                      4,
                      6
                    ]
                  }
                ],
                "required": [
                  "id",
                  "list"
                ],
                "additionalProperties": true,
                "properties": {
                  "id": {
                    "$id": "#/definitions/incidenceGraph/properties/edges/items/anyOf/0/properties/id",
                    "type": "integer",
                    "title": "The id schema",
                    "description": "An integer id from the first partition."
                  },
                  "list": {
                    "description": "Ids from the second partition connected to 'id'.",
                    "$ref": "#/definitions/list_integer"
                  }
                }
              }
            ],
            "$id": "#/definitions/incidenceGraph/properties/edges/items"
          }
        }
      }
    }
  },
  "properties": {
    "treeDecJson": {
      "$id": "#/properties/treeDecJson",
      "type": "object",
      "title": "The treeDecJson schema",
      "description": "Describes the tree decomposition.",
      "examples": [
        {
          "bagpre": "bag %s",
          "num_vars": 1,
          "joinpre": "Join %d~%d",
          "solpre": "sol%d",
          "soljoinpre": "solJoin%d~%d",
          "edgearray": [
            [
              2,
              1
            ],
            [
              3,
              2
            ],
            [
              4,
              2
            ],
            [
              5,
              3
            ]
          ],
          "labeldict": [
            {
              "id": 1,
              "items": [
                1,
                2,
                5
              ],
              "labels": [
                "[1, 2, 5]",
                "dtime=0.0007s"
              ]
            },
            {
              "id": 2,
              "items": [
                1,
                2,
                4,
                6
              ],
              "labels": [
                "[1, 2, 4, 6]",
                "dtime=0.0019s"
              ]
            },
            {
              "id": 3,
              "items": [
                2,
                4,
                8
              ],
              "labels": [
                "[2, 4, 8]",
                "dtime=0.0009s"
              ]
            },
            {
              "id": 4,
              "items": [
                1,
                4,
                7
              ],
              "labels": [
                "[1, 4, 7]",
                "dtime=0.0018s"
              ]
            },
            {
              "id": 5,
              "items": [
                2,
                3,
                8
              ],
              "labels": [
                "[2, 3, 8]",
                "dtime=0.0026s"
              ]
            }
          ]
        }
      ],
      "required": [
        "bagpre",
        "num_vars",
        "edgearray",
        "labeldict"
      ],
      "additionalProperties": false,
      "properties": {
        "bagpre": {
          "$id": "#/properties/treeDecJson/properties/bagpre",
          "type": "string",
          "description": "The string prefix for every bag label.",
          "examples": [
            "bag %s"
          ]
        },
        "num_vars": {
          "$id": "#/properties/treeDecJson/properties/num_vars",
          "type": "integer",
          "description": "The number of variables in the 2nd partition."
        },
        "joinpre": {
          "$id": "#/properties/treeDecJson/properties/joinpre",
          "type": "string",
          "description": "The string prefix for every label for joined bags.",
          "default": "Join %d~%d"
        },
        "solpre": {
          "$id": "#/properties/treeDecJson/properties/solpre",
          "type": "string",
          "description": "The string prefix for every label of solution nodes.",
          "default": "sol%d"
        },
        "soljoinpre": {
          "$id": "#/properties/treeDecJson/properties/soljoinpre",
          "type": "string",
          "description": "The string prefix for every label of solution nodes for joined bags.",
          "default": "solJoin%d~%d"
        },
        "edgearray": {
          "$id": "#/properties/treeDecJson/properties/edgearray",
          "type": "array",
          "description": "The edges of the tree decomposition as tuples of bag ids.",
          "examples": [
            [
              [
                2,
                1
              ],
              [
                3,
                2
              ]
            ]
          ],
          "additionalItems": true,
          "items": {
            "anyOf": [
              {
                "$ref": "#/definitions/list_integer",
                "description": "Tuples of edge endpoints. Each at least two items.",
                "minItems": 2,
                "examples": [
                  [
                    2,
                    1
                  ]
                ]
              }
            ],
            "$id": "#/properties/treeDecJson/properties/edgearray/items"
          }
        },
        "labeldict": {
          "$id": "#/properties/treeDecJson/properties/labeldict",
          "type": "array",
          "title": "The labeldict schema",
          "description": "Labels and items for each bag.",
          "examples": [
            [
              {
                "id": 1,
                "items": [
                  1,
                  2,
                  5
                ],
                "labels": [
                  "[1, 2, 5]",
                  "dtime=0.0007s"
                ]
              },
              {
                "id": 2,
                "items": [
                  1,
                  2,
                  4,
                  6
                ],
                "labels": [
                  "[1, 2, 4, 6]",
                  "dtime=0.0019s"
                ]
              }
            ]
          ],
          "additionalItems": true,
          "items": {
            "anyOf": [
              {
                "$id": "#/properties/treeDecJson/properties/labeldict/items/anyOf/0",
                "type": "object",
                "description": "An explanation about the purpose of this instance.",
                "examples": [
                  {
                    "id": 1,
                    "items": [
                      1,
                      2,
                      5
                    ],
                    "labels": [
                      "[1, 2, 5]",
                      "dtime=0.0007s"
                    ]
                  }
                ],
                "required": [
                  "id",
                  "items",
                  "labels"
                ],
                "additionalProperties": true,
                "properties": {
                  "id": {
                    "$id": "#/properties/treeDecJson/properties/labeldict/items/anyOf/0/properties/id",
                    "type": "integer"
                  },
                  "items": {
                    "$ref": "#/definitions/list_integer",
                    "description": "Variables included in the bag.",
                    "examples": [
                      [
                        1,
                        2
                      ]
                    ]
                  },
                  "labels": {
                    "$ref": "#/definitions/list_string",
                    "description": "List of labels to add to the bag.",
                    "examples": [
                      [
                        "[1, 2, 5]",
                        "dtime=0.0007s"
                      ]
                    ]
                  }
                }
              }
            ],
            "$id": "#/properties/treeDecJson/properties/labeldict/items"
          }
        }
      }
    },
    "tdTimeline": {
      "$id": "#/properties/tdTimeline",
      "type": "array",
      "title": "The tdTimeline schema",
      "description": "The timesteps for visualizing a solution on the tree decomposition.",
      "examples": [
        [
          [
            5
          ],
          [
            5,
            [
              [
                [
                  "v2",
                  "v8"
                ],
                [
                  0,
                  0
                ],
                [
                  1,
                  1
                ],
                [
                  0,
                  1
                ],
                [
                  1,
                  0
                ]
              ],
              "sol bag 5",
              "",
              true
            ]
          ]
        ]
      ],
      "additionalItems": true,
      "items": {
        "anyOf": [
          {
            "$ref": "#/definitions/list_integer",
            "description": "Just a higlighting.",
            "examples": [
              [
                5
              ]
            ]
          },
          {
            "$id": "#/properties/tdTimeline/items/anyOf/1",
            "type": "array",
            "description": "Highlighting a solution.",
            "examples": [
              [
                5,
                [
                  [
                    [
                      "v2",
                      "v8"
                    ],
                    [
                      0,
                      0
                    ],
                    [
                      1,
                      1
                    ],
                    [
                      0,
                      1
                    ],
                    [
                      1,
                      0
                    ]
                  ],
                  "sol bag 5",
                  "",
                  true
                ]
              ]
            ],
            "additionalItems": true,
            "items": {
              "anyOf": [
                {
                  "$id": "#/properties/tdTimeline/items/anyOf/1/items/anyOf/0",
                  "type": [
                    "array",
                    "integer"
                  ],
                  "description": "The bag(s) to highlight.",
                  "items": {
                    "type": "integer"
                  }
                },
                {
                  "$id": "#/properties/tdTimeline/items/anyOf/1/items/anyOf/1",
                  "type": "array",
                  "description": "The solution node.",
                  "examples": [
                    [
                      [
                        [
                          "v2",
                          "v8"
                        ],
                        [
                          0,
                          0
                        ],
                        [
                          1,
                          1
                        ],
                        [
                          0,
                          1
                        ],
                        [
                          1,
                          0
                        ]
                      ],
                      "sol bag 5"
                    ]
                  ],
                  "additionalItems": true,
                  "items": [
                    {
                      "$id": "#/properties/tdTimeline/items/anyOf/1/items/anyOf/1/items/anyOf/0",
                      "type": "array",
                      "title": "solution table",
                      "description": "2D-arraylike, entries get converted to str.",
                      "examples": [
                        [
                          [
                            "v2",
                            "v8"
                          ],
                          [
                            0,
                            0
                          ]
                        ]
                      ],
                      "additionalItems": true,
                      "items": {
                        "type": "array",
                        "$id": "#/properties/tdTimeline/items/anyOf/1/items/anyOf/1/items/anyOf/0/items"
                      }
                    },
                    {
                      "$id": "#/properties/tdTimeline/items/anyOf/1/items/anyOf/1/items/anyOf/1",
                      "type": "string",
                      "title": "toplabel",
                      "description": "A label on the solution node.",
                      "default": "",
                      "examples": [
                        "sol bag 5"
                      ]
                    },
                    {
                      "$id": "#/properties/tdTimeline/items/anyOf/1/items/anyOf/1/items/anyOf/1",
                      "type": "string",
                      "title": "bottomlabel",
                      "description": "A label below the solution node.",
                      "default": "",
                      "examples": [
                        "sum: 20"
                      ]
                    },
                    {
                      "$id": "#/properties/tdTimeline/items/anyOf/1/items/anyOf/1/items/anyOf/2",
                      "type": "boolean",
                      "description": "Whether to transpose the solution table before processing.",
                      "default": false
                    }
                  ]
                }
              ],
              "$id": "#/properties/tdTimeline/items/anyOf/1/items"
            }
          }
        ],
        "$id": "#/properties/tdTimeline/items"
      }
    },
    "incidenceGraph": {
      "description": "A bipartite graph called incidence graph.",
      "anyOf": [
        {
          "$ref": "#/definitions/incidenceGraph"
        },
        {
          "type": "array",
          "items": {
            "$ref": "#/definitions/incidenceGraph"
          },
          "minItems": 1
        }
      ]
    },
    "generalGraph": {
      "description": "One or list of (simple) graphs with various layout parameters.",
      "anyOf": [
        {
          "$ref": "#/definitions/generalGraph"
        },
        {
          "type": "array",
          "items": {
            "$ref": "#/definitions/generalGraph"
          },
          "minItems": 1
        }
      ]
    },
    "td_file": {
      "$id": "#/properties/td_file",
      "description": "The name for tree-decomposition graphics.",
      "default": "TDStep",
      "type": "string"
    },
    "colors": {
      "$id": "#/properties/colors",
      "description": "The color cycle to use for larger collections.",
      "type": "array",
      "items": {
        "type": [
          "number",
          "string"
        ]
      },
      "minItems": 1,
      "default": [
        "#0073a1",
        "#b14923",
        "#244320",
        "#b1740f",
        "#a682ff",
        "#004066",
        "#0d1321",
        "#da1167",
        "#604909",
        "#0073a1",
        "#b14923",
        "#244320",
        "#b1740f",
        "#a682ff"
      ]
    },
    "orientation": {
      "$id": "#/properties/orientation",
      "description": "'TB', 'LR', 'BT', 'RL', corresponding to directed graphs drawn from top to bottom, from left to right, from bottom to top, and from right to left, respectively.",
      "default": "BT",
      "enum": [
        "TB",
        "LR",
        "BT",
        "RL"
      ]
    },
    "linesmax": {
      "$id": "#/properties/linesmax",
      "type": "integer",
      "description": "Maximum of rows to visualize.",
      "default": 100
    },
    "columnsmax": {
      "$id": "#/properties/columnsmax",
      "type": "integer",
      "description": "Maximum of columns to visualize.",
      "default": 20
    },
    "bagcolor": {
      "$id": "#/properties/bagcolor",
      "type": "string",
      "description": "The fillcolor for bags.",
      "default": "white"
    },
    "fontsize": {
      "$id": "#/properties/fontsize",
      "type": "integer",
      "description": "An explanation about the purpose of this instance.",
      "default": 20
    },
    "penwidth": {
      "$id": "#/properties/penwidth",
      "type": "number",
      "description": "An explanation about the purpose of this instance.",
      "default": 2.2
    },
    "fontcolor": {
      "$id": "#/properties/fontcolor",
      "type": "string",
      "description": "The default fontcolor.",
      "default": "black"
    },
    "emphasis": {
      "$id": "#/properties/emphasis",
      "type": "object",
      "description": "Changes defaults for the additional emphasis.",
      "examples": [
        {
          "firstcolor": "yellow",
          "secondcolor": "green",
          "firststyle": "filled",
          "secondstyle": "dotted,filled"
        }
      ],
      "additionalProperties": false,
      "properties": {
        "firstcolor": {
          "$id": "#/properties/emphasis/properties/firstcolor",
          "type": "string",
          "default": "yellow"
        },
        "secondcolor": {
          "$id": "#/properties/emphasis/properties/secondcolor",
          "type": "string",
          "default": "green"
        },
        "firststyle": {
          "$id": "#/properties/emphasis/properties/firststyle",
          "type": "string",
          "default": "filled"
        },
        "secondstyle": {
          "$id": "#/properties/emphasis/properties/secondstyle",
          "type": "string",
          "default": "dotted,filled"
        }
      }
    },
    "svgjoin": {
      "$id": "#/properties/svgjoin",
      "type": "object",
      "title": "The svgjoin schema",
      "description": "Parameters to join SVG graphs.",
      "default": {},
      "examples": [
        {
          "base_names": [
            "TDStep",
            "PrimalGraphStep",
            "IncidenceGraphStep"
          ],
          "folder": null,
          "outname": "combined",
          "suffix": "%d.svg",
          "preserve_aspectratio": "xMinYMin",
          "num_images": 1,
          "padding": 0,
          "scale2": 1.0,
          "v_top": "top",
          "v_bottom": null
        }
      ],
      "required": [
        "base_names"
      ],
      "additionalProperties": false,
      "properties": {
        "base_names": {
          "$id": "#/properties/svgjoin/properties/base_names",
          "$ref": "#/definitions/list_string",
          "description": "The base for file names without index and extension to be joined.",
          "minItems": 1,
          "examples": [
            [
              "TDStep",
              "PrimalGraphStep"
            ]
          ]
        },
        "folder": {
          "$id": "#/properties/svgjoin/properties/folder",
          "type": [
            "string",
            "null"
          ],
          "description": "The working directory also for the input files. Default is not set.",
          "default": null
        },
        "outname": {
          "$id": "#/properties/svgjoin/properties/outname",
          "type": "string",
          "description": "The base name for the result files.",
          "default": "combined"
        },
        "suffix": {
          "$id": "#/properties/svgjoin/properties/suffix",
          "type": "string",
          "description": "The suffix for result files.",
          "default": "%d.svg"
        },
        "preserve_aspectratio": {
          "$id": "#/properties/svgjoin/properties/preserve_aspectratio",
          "type": "string",
          "description": "From <https://developer.mozilla.org/en-US/docs/Web/SVG/Attribute/preserveAspectRatio> The preserveAspectRatio attribute indicates how an element with a viewBox providing a given aspect ratio must fit into a viewport with a different aspect ratio. Defined by the 'viewBox' attribute, if this attribute isn't set, the preserveAspectRatio attribute has no effect.",
          "default": "xMinYMin",
          "examples": [
            "none",
            "xMinYMin",
            "xMidYMin",
            "xMaxYMin",
            "xMinYMid",
            "xMidYMid slice",
            "xMaxYMid slice"
          ]
        },
        "num_images": {
          "$id": "#/properties/svgjoin/properties/num_images",
          "type": "integer",
          "description": "The number of time steps to join.",
          "default": 1
        },
        "padding": {
          "$id": "#/properties/svgjoin/properties/padding",
          "type": [
            "array",
            "integer"
          ],
          "description": "Horizontal padding between the images.",
          "default": 0,
          "minItems": 1
        },
        "scale2": {
          "$id": "#/properties/svgjoin/properties/scale2",
          "type": [
            "array",
            "number"
          ],
          "description": "The uniform scaling of the next image.",
          "default": 1.0,
          "minItems": 1
        },
        "v_top": {
          "$id": "#/properties/svgjoin/properties/v_top",
          "type": [
            "array",
            "string",
            "number",
            "null"
          ],
          "description": "The vertical position of the top of the next image in units of the previous size.",
          "default": "top",
          "minItems": 1
        },
        "v_bottom": {
          "$id": "#/properties/svgjoin/properties/v_bottom",
          "type": [
            "array",
            "string",
            "number",
            "null"
          ],
          "description": "The vertical position of the bottom of the next image in units of the previous size.",
          "default": null,
          "minItems": 1
        }
      }
    }
  }
}