next up previous index
Next: Menus and Buttons Up: Grace Windows Previous: Keyboard Accelerators

Variable Matrix

Each variable matrix displays the domains of a set of variables in a two-dimensional grid. Each row and each column has a label, which is by default an integer starting from zero, it can be modified with the options label_x   and label_y  .

Each variable is displayed in a rectangular field, its domain is printed in the standard ECLiPSe format, as a list of intervals. The width of the field is controlled by the option element_width  . Each field is a hyperlink, when the cursor enters a field, its background is highlighted together with all other representations of this variable on the screen (currently this can be only in the varstack or in another variable matrix).

If the matrix is a square, its main diagonal is displayed with a light red background for better visibility. This can be modified with the option diagonal_color  .





Micha Meier
Tue Jul 2 10:07:34 MET DST 1996