ecrc_solvers/grace/options.pl

72     option(control, font, CF),
336 grace_window(control).
347 boolean_option(control, all_solutions).
348 boolean_option(control, display_solutions).
349 boolean_option(control, print_trace).
352 string_arg_option(control, title).
353 string_arg_option(control, version).
354 string_arg_option(control, display).
355 string_arg_option(control, var_selection).
356 string_arg_option(control, value_selection).
381 integer_option(control, percent).
387 list_option(control, var_selections).
388 list_option(control, value_selections).
393 enumerated_option(control, branch_and_bound, ["restart", "continue"]).
394 enumerated_option(control, display, ["all", "stack", "none"]).
395 enumerated_option(control, restart, ["ask", "restart"]).
397 read_only(control, title) :- getval(startup, 0).
398 read_only(control, version) :- getval(startup, 0).
401 action(control, var_selection, S, S) :-
406 	error(6, grace_option(control, var_selection, S))
408 action(control, value_selection, S, S) :-
413 	error(6, grace_option(control, value_selection, S))
415 action(control, value_selections, Name, Value) :-
419 	option(control, value_selections, OldList),
429 	error(5, grace_option(control, value_selections, Name))
431 action(control, var_selections, Name, Value) :-
435 	option(control, var_selections, OldList),
445 	error(5, grace_option(control, var_selections, Name))
505     grace_option(control, geometry, ""),
506     grace_option(control, var_selections,
518     grace_option(control, value_selections,
526     grace_option(control, title, Title),
527     grace_option(control, version, "1.0"),
528     grace_option(control, var_selection, "Smallest Domain"),
529     grace_option(control, value_selection, "Smallest Element"),
530     grace_option(control, font, "-*-helvetica-bold-r-normal-*-12-*"),
531     grace_option(control, display, "Stack"),
532     grace_option(control, print_trace, 0),
533     grace_option(control, all_solutions, 0),
534     grace_option(control, display_solutions, 1),
535     grace_option(control, percent, 0),
536     grace_option(control, branch_and_bound, "restart"),
537     grace_option(control, restart, restart),