next up previous index
Next: Grace Utility Predicates Up: Grace Options Previous: Matrix Options

Other Options

Window:
constraints  
Option:
geometry  
Value:
The geometry of the constraints window in the standard X format.
Interactive:
No
Default:
"+300+300"

Window:
control  
Option:
all_solutions  
Value:
A boolean value specifying whether Grace should not stop when it reaches a solution. When it is on, the solution is only displayed (this also depends on the option display_solutions  ) and Grace continues immediately, and it stops only after all solutions have been found. When minimising, this applies to intermediate solutions found during the branch and bound method.
Interactive:
The OPTIONS... menu.
Default:
off

Window:
control  
Option:
branch_and_bound  
Value:
The strategy used to look for the next solution inside the branch and bound optimisation. It can be "restart" ( min_max/5  ) or "continue" ( minimize/5  ).
Interactive:
The OPTIONS... menu.
Default:
"restart"

Window:
control  
Option:
display  
Value:
Specifies which display elements will be updated in the run mode, one of All, Stack, None.
Interactive:
The DISPLAY... menu.
Default:
"Stack"

Window:
control  
Option:
display_solutions  
Value:
If it is on, the whole display will be updated when Grace finds a solution, even in the run mode. If it is off in the run mode, only the number of solutions is updated. In the step mode, the display is updated always independently on this option.
Interactive:
No
Default:
on

Window:
control  
Option:
font  
Value:
The font used to display the widgets inside the control panel.
Interactive:
No
Default:
"-*-helvetica-bold-r-normal--12-*"

Window:
control  
Option:
geometry  
Value:
The geometry of the control panel, in the standard X format. Normally only the position will be specified, because the size of the control panel is computed automatically.
Interactive:
No
Default:
The top right corner is displayed on the top left corner of the varstack.

Window:
control  
Option:
percent  
Value:
The percentage used to constrain the next cost when looking for the optimal solution, as in min_max/5   and minimize/5  . Higher values speed up the search but may miss solutions which are still better than the last found one.
Interactive:
The OPTIONS... menu.
Default:
0

Window:
control  
Option:
print_trace  
Value:
If it is on, an execution trace similar to the output of the normal ECLiPSe debugger will be printed on the debug_output stream.
Interactive:
The OPTIONS... menu.
Default:
off

Window:
control  
Option:
restart  
Value:
This options specifies what should be done at the end of the program. If it is equal to "restart", Grace simply restarts the program when the user presses STEP at the program end. If it is "ask", a request window is popped up which asks whether the program should be restarted or whether the step should be cancelled.
Interactive:
No
Default:
"restart"

Window:
control  
Option:
title  
Value:
This option is normally used to find out which application is running. It returns the title specified in the call to grace_start/1  . Typically, it will be used in the   .gracerc file to perform application-specific initialisation. Read-only.

Window:
control  
Option:
value_selection  
Value:
The default value selection strategy used for labelling. It must be one of the strings specified in the value_selections   option.
Interactive:
The VALUE... menu.
Default:
"Smallest Element"

Window:
control  
Option:
value_selections  
Value:
Menu items displayed in the VALUE... menu. The value is a list of [Pred, Name] pairs. Pred is a predicate specification in the form Name/Arity or Module:Name/Arity. The variable selection predicate is called as
value_select(+Var, +List, -NewList)
i.e. the arity must be always 3. NewList is the new list of variables to be labelled, usualyl equal to List or to List without Var. The default module is grace. The name is a string which appears in the menu and which is used in the value_selection   option.
Interactive:
No
Default:

[[smallest_element/3, "Smallest Element"],
[largest_element/3, "Largest Element"],
[random_element/3, "Random Element"],
[halve_range_bottom/3, "Halve Range Bottom"],
[halve_range_top/3, "Halve Range Top"],
[halve_elements_bottom/3, "Halve Elements Bottom"],
[halve_elements_top/3, "Halve Elements Top"]]
Window:
control  
Option:
var_selection  
Value:
The default variable selection strategy used for labelling, inside grace_label/0  , grace_label/2  , grace_label_list/1  , grace_minimize/1   and grace_minimize/2  . It must be one of the strings specified in the var_selections   option.
Interactive:
The VARIABLE... menu.
Default:
"Smallest Domain"

Window:
control  
Option:
var_selections  
Value:
Menu items displayed in the VARIABLE... menu. The value is a list of [Pred, Name] pairs. Pred is a predicate specification in the form Name/Arity or Module:Name/Arity. The variable selection predicate is called as
var_select(+List, -Var),
i.e. the arity must be always 2. The default module is grace. The name is a string which appears in the menu and which is used in the var_selection   option.
Interactive:
No
Default:

[[first_in_list/2, "List Order"],
[smallest_domain/2, "Smallest Domain"],
[largest_domain/2, "Largest Domain"],
[smallest_minimum/2, "Smallest Minimum"],
[largest_minimum/2, "Largest Minimum"],
[smallest_maximum/2, "Smallest Maximum"],
[largest_maximum/2, "Largest Maximum"],
[smallest_difference/2, "Smallest Difference"],
[largest_difference/2, "Largest Difference"],
[least_regret/2, "Least Regret"],
[most_constrained/2, "Most Constrained"]]
Window:
control  
Option:
version  
Value:
Read-only. It returns the Grace version string, e.g. for the version 1.0 it returns "1.0".

Window:
elements  
Option:
font  
Value:
The font used to display the text in the elements window popped up when pressing the right mouse button.
Interactive:
No
Default:
grace:default_font(14)  

Window:
menu  
Option:
font  
Value:
The font used to display all menus.
Interactive:
No
Default:
grace:default_font(14)  

Window:
tk  
Option:
init  
Value:
This option specifies a Tcl/Tk command which is executed before any graphics is displayed. It may invoke e.g. the option   command to change globally the appearance of some Tk widgets.
Interactive:
No
Default:
""

Window:
varstack  
Option:
box_width  
Value:
The width of the coloured box that represents the variable domain, measured in pixels.
Interactive:
No
Default:
80

Window:
varstack  
Option:
current_color  
Value:
The colour used to display the current value of the labelled variable, in case the labelling step has instantiated it.
Interactive:
No
Default:
red

Window:
varstack  
Option:
empty_color  
Value:
The colour used to display the domain elements which have been removed from the domain before the variable was labelled.
Interactive:
No
Default:
white

Window:
varstack  
Option:
flush  
Value:
Boolean value which decides whether updates of the varstack should be immediately visible, i.e. flushed after each operation, or only when the event queue is full. In the latter case the execution is faster but less details may be visible.
Interactive:
No
Default:
on

Window:
varstack  
Option:
font  
Value:
The font used to write the variable identification in the varstack. It also directly controls the height of each varstack row.
Interactive:
No
Default:
grace:default_font(14)  

Window:
varstack  
Option:
geometry  
Value:
The geometry of the varstack in the standard X format. Normally only the position will be specified, because the size of the varstack is computed from the options box_width  , font  , rows   and text_width  .
Interactive:
No
Default:
"-5+0"

Window:
varstack  
Option:
partly_color  
Value:
The colour used to display the current value of the labelled variable, provided that the variable was not instantiated by the labelling, i.e. it has still more than one element in its domain.
Interactive:
No
Default:

Window:
varstack  
Option:
rest_color  
Value:
The colour used to display domain elements which have not yet been used for labelling this variable.
Interactive:
No
Default:
steelblue2

Window:
varstack  
Option:
text_width  
Value:
The width of the variable identification text measured in pixels. If the text does not fit into this size, it is truncated.
Interactive:
No
Default:
110

Window:
varstack  
Option:
tried_color  
Value:
The colour used to display domain elements which have already been used for labelling and have failed, either because some constraint was violated or because a solution has been found and the program is looking for the next one.
Interactive:
No
Default:
gray80

Window:
varstack  
Option:
visible_rows  
Value:
Specifies the height of the varstack as the number of rows. When the stack top approaches the window bottom, the varstack is scrolled up to make space for more rows. Similarly, when the varstack is scrolled up and the stack top approaches the window top, it is scrolled down. This option thus specifies the height of the window through which the varstack is being viewed.
Interactive:
No
Default:
30



next up previous index
Next: Grace Utility Predicates Up: Grace Options Previous: Matrix Options



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