4.2.6.1. MiniZincIDE solution visualisation tools¶
Functions and variable annotations for visualising solutions. This feature is experimental and may not remain backwards compatible.
In this section: ide_launch_server, vis_bar, vis_column, vis_digraph, vis_digraph_highlight, vis_gantt, vis_geost_2d, vis_graph, vis_graph_highlight, vis_line, vis_scatter, vis_scatter_cumulative.
ide_launch_server¶
1. test ide_launch_server(string: file)
2. test ide_launch_server(string: file, string: user_data)
|
|
vis_bar¶
1. test vis_bar(array [$$D] of var int: x)
2. test vis_bar(array [$$D] of var float: x)
3. test vis_bar(array [$$D] of var int: x,
array [$$D] of string: data_labels)
4. test vis_bar(array [$$D] of var float: x,
array [$$D] of string: data_labels)
5. test vis_bar(array [$$S,$$D] of var int: x)
6. test vis_bar(array [$$S,$$D] of var float: x)
7. test vis_bar(array [$$S,$$D] of var int: x,
array [$$S] of string: series_labels,
array [$$D] of string: data_labels)
8. test vis_bar(array [$$S,$$D] of var float: x,
array [$$S] of string: series_labels,
array [$$D] of string: data_labels)
|
|
vis_column¶
1. test vis_column(array [$$D] of var int: x)
2. test vis_column(array [$$D] of var float: x)
3. test vis_column(array [$$D] of var int: x,
array [$$D] of string: data_labels)
4. test vis_column(array [$$D] of var float: x,
array [$$D] of string: data_labels)
5. test vis_column(array [$$S,$$D] of var int: x)
6. test vis_column(array [$$S,$$D] of var float: x)
7. test vis_column(array [$$S,$$D] of var int: x,
array [$$S] of string: series_labels,
array [$$D] of string: data_labels)
8. test vis_column(array [$$S,$$D] of var float: x,
array [$$S] of string: series_labels,
array [$$D] of string: data_labels)
|
|
vis_digraph¶
1. test vis_digraph(array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$E] of string: edge_labels,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
2. test vis_digraph(array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
3. test vis_digraph(array [$$N] of string: node_labels,
array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$E] of string: edge_labels,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
|
|
vis_digraph_highlight¶
1. test vis_digraph_highlight(array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$E] of string: edge_labels,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
2. test vis_digraph_highlight(array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
3. test vis_digraph_highlight(array [$$N] of string: node_labels,
array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$E] of string: edge_labels,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
|
|
vis_gantt¶
1. test vis_gantt(array [$$E] of var int: start,
array [$$E] of var int: dur)
2. test vis_gantt(array [$$E] of var int: start,
array [$$E] of var int: dur,
array [$$E] of string: labels)
3. test vis_gantt(array [$$E] of var int: start,
array [$$E] of var int: dur,
array [$$E] of string: labels,
array [$$E] of string: colors)
|
|
vis_geost_2d¶
1. test vis_geost_2d(array [$$E] of int: rect_x,
array [$$E] of int: rect_y,
array [$$E] of int: rect_dx,
array [$$E] of int: rect_dy,
array [$$K] of set of $$E: shape,
array [$$T] of var int: x,
array [$$T] of var int: y,
array [$$T] of var $$K: kind)
2. test vis_geost_2d(array [$$E,1..2] of int: rect_size,
array [$$E,1..2] of int: rect_offset,
array [$$K] of set of $$E: shape,
array [$$T,1..2] of var int: x,
array [$$T] of var $$K: kind)
|
|
vis_graph¶
1. test vis_graph(array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$E] of string: edge_labels,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
2. test vis_graph(array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
3. test vis_graph(array [$$N] of string: node_labels,
array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$E] of string: edge_labels,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
|
|
vis_graph_highlight¶
1. test vis_graph_highlight(array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$E] of string: edge_labels,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
2. test vis_graph_highlight(array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
3. test vis_graph_highlight(array [$$N] of string: node_labels,
array [$$E] of $$N: from,
array [$$E] of $$N: to,
array [$$E] of string: edge_labels,
array [$$N] of var bool: ns,
array [$$E] of var bool: es)
|
|
vis_line¶
1. test vis_line(var int: x, string: label)
2. test vis_line(var float: x, string: label)
3. test vis_line(array [$$E] of var int: x)
4. test vis_line(array [$$E] of var float: x)
5. test vis_line(array [$$E] of var int: x,
array [$$E] of string: series_labels)
6. test vis_line(array [$$E] of var float: x,
array [$$E] of string: series_labels)
7. test vis_line(array [$$E] of var int: x,
array [$$E] of var int: y,
string: x_label,
string: y_label)
8. test vis_line(array [$$E] of var float: x,
array [$$E] of var float: y,
string: x_label,
string: y_label)
|
|
vis_scatter¶
test vis_scatter(array [$$E] of var int: x,
array [$$E] of var int: y,
string: x_label,
string: y_label)
test vis_scatter(array [$$E] of var float: x,
array [$$E] of var float: y,
string: x_label,
string: y_label)
|
Add a scatter plot of x against y, labelling the axes x_label and y_label respectively. |
vis_scatter_cumulative¶
1. test vis_scatter_cumulative(var int: x,
var int: y,
string: x_label,
string: y_label,
string: series_label)
2. test vis_scatter_cumulative(var float: x,
var float: y,
string: x_label,
string: y_label,
string: series_label)
3. test vis_scatter_cumulative(array [$$E] of var int: x,
array [$$E] of var int: y,
string: x_label,
string: y_label)
4. test vis_scatter_cumulative(array [$$E] of var float: x,
array [$$E] of var float: y,
string: x_label,
string: y_label)
5. test vis_scatter_cumulative(array [$$E] of var int: x,
array [$$E] of var int: y,
string: x_label,
string: y_label,
array [$$E] of string: series_labels)
6. test vis_scatter_cumulative(array [$$E] of var float: x,
array [$$E] of var float: y,
string: x_label,
string: y_label,
array [$$E] of string: series_labels)
|
|