Visualizing Variable Domains

IBM ILOG Solver Debugger User's Manual > Debugging and Performance Tuning for Solver-based Applications > Visualizing Propagation > Visualizing Variable Domains

Visualizing Variable Domains

INDEX

PREVIOUS NEXT

You can set visualization options to follow the domains of the variables during the execution in the Output window located at the bottom of the Solver Debugger GUI.

Setting Visualization Options

To follow the domains of the variables, you can put graphical demons on your variables by passing a fourth argument to the member function registerVariable().

debugger.registerVariable(ilovars,IloTrue,IloTrue, 
                                 IlcVisualizeDomain | IlcVisualizeInterval |
                                 IlcVisualizeValue | IlcVisualizeBoolean, 
                          "queens");

To visualize the domain of an integer variable or an array of integer variables, use IlcVisualizeDomain.
To visualize the lower and upper bounds of a variable or an array of variables, use IlcVisualizeInterval.
To visualize the value of a variable or an array of variables, use IlcVisualizeValue.
To display colored squares for Boolean variables (integer variables containing 0 in their domain), use IlcVisualizeBoolean.
To disable visualization, use IlcVisualizeDisabled.Visualization is disabled by default.

These displays are available as notebook pages in the Output window of the Solver Debugger GUI.

Note

You may miss some changes if a failure occurs at a node before the graphical demon is executed.

Visualizing Variable Domains in the Output Window

The following variable visualization examples are taken from the debugnqueen problem.

To visualize the domains of an array of integer variables, click on the corresponding tab in the Output window. In this example, because of the presolve that occurs when a model is extracted, the x1[0] variable replaces the expected queens[0].

To visualize the bounds of an array of integer variables, click on the corresponding tab in the Output window.

To visualize the values of an array of integer variables, click on the corresponding tab in the Output window.

To visualize the state of an array of integer variables interpreted as Boolean, click on the corresponding tab in the Output window. In this example, the colors have the following meaning: wheat stands for false, blue stands for true, and grey stands for undetermined.

PREVIOUS NEXT