next up previous index
Next: Other Options Up: Grace Options Previous: Grace Options

Matrix Options

The Window argument for the options that concern variable matrices is either matrix for some general options, or the matrix name, or a free variable. The latter specifies a value for all matrices.

Window:
matrix  
Option:
selected_backward  
Value:
The colour used to highlight the next selected variable after a backward step, i.e. a labelling step that has caused backtracking to a previously selected variable.
Interactive:
No
Default:
"red"

Window:
matrix  
Option:
selected_forward  
Value:
The colour used to highlight the next selected variable after a forward step.
Interactive:
No
Default:
"red"

Window:
matrix  
Option:
top  
Value:
The position of the upper left corner of the first implicitly displayed matrix. A matrix is displayed implicitly if it has no matrix_geometry   option. All other implicitly displayed matrices appear directly below each other in the order they were displayed. When on of them is undisplayed, the others will move upwards to fill its place.
Interactive:
No
Default:
"+0+0"

Window:
MatrixName  
Option:
diagonal_color  
Value:
If non-empty, it specifies the background colour for the main diagonal of a square matrix.
Interactive:
No
Default:
"#ffc0c0"

Window:
MatrixName  
Option:
element_width  
Value:
The width of the variable fields in the matrix.
Interactive:
No
Default:
9

Window:
MatrixName  
Option:
font(Size)  
Value:
Specifies the font used for the given size. The value will usually be a callable goal which for a given Size returns the string which identifies the actual font.
Interactive:
No
Default:
grace:default_font(Size),   which is defined as
default_font(Size, Font) :-
    concat_string(['-*-times-bold-r-normal-*-', Size, '-*-*-*-*-*-*-*'], Font).
Window:
MatrixName  
Option:
font_size  
Value:
The font size used to display the matrix. It also controls the size of the matrix.
Interactive:
Column menu
Default:
10

Window:
MatrixName  
Option:
font_sizes  
Value:
A list of values displayed in the font selection menu inside the matrix column menu.
Interactive:
No
Default:
[6,8,10,12,14,18,24]

Window:
MatrixName  
Option:
label  
Value:
A boolean value specifying whether variables in this matrix should be labelled inside the predicates grace_label/0   and grace_minimize/1  . It must be set before these predicates are called, otherwise it has no effect. Only variables in labelled matrices are used to compute the size of the search space, which is displayed in the status window.  
Interactive:
Column menu
Default:
on

Window:
MatrixName  
Option:
label_x  
Value:
A list of column labels.
Interactive:
No
Default:
int_list(0, 9), i.e. integers from 0 to 9. This option also specifies the default matrix width in case that the matrix is only a flat list of variables. It can be set only before grace_matrix/2   for this matrix is called.

Window:
MatrixName  
Option:
label_y  
Value:
A list of row labels.
Interactive:
No
Default:
int_list(0, 30), i.e. integers from 0 to 30. Only rows with some variables are actually displayed even if the label list is longer. It can be set only before grace_matrix/2   for this matrix is called.

Window:
MatrixName  
Option:
lookahead  
Value:
When true, lookahead will be applied on the whole matrix whenever one of its variable is going to be labelled.
Interactive:
Column menu
Default:
off

Window:
MatrixName  
Option:
lookahead_var  
Value:
When true, lookahead will be applied on every variable from this matrix just before it is going to be labelled.
Interactive:
Column menu
Default:
off

Window:
MatrixName  
Option:
matrix_geometry  
Value:
The position of the matrix on the screen. When specified and non-empty, the matrix will be positioned explicitly and its position will remain constant, unlike the implicitly positioned matrices which use the option top  . The geometry is specified as a string in the standard X syntax, i.e.
WIDTHxHEIGHT+X+Y.
Usually only X and Y are specified, because the matrix size is computed automatically.
Interactive:
No
Default:
""

Window:
MatrixName  
Option:
show  
Value:
A boolean value which specifies whether the matrix is displayed or not.
Interactive:
Matrix switches in the control panel
Default:
on



next up previous index
Next: Other Options Up: Grace Options Previous: Grace Options



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