Lines Matching refs:control
310 tcl_source(control),
369 (option(control, restart, "restart") ->
381 option(control, geometry, CG),
395 option(control, display, DM),
397 (option(control, print_trace, 1) ->
586 option(control, percent, Perc),
587 option(control, branch_and_bound, BB),
651 single_option(control, display_solutions, Displ),
663 option(control, all_solutions, 0)
687 (option(control, branch_and_bound, "restart") ->
796 option(control, var_selections, VarList),
798 option(control, var_selection, VarSelect),
802 option(control, value_selections, ValList),
804 option(control, value_selection, ValSelect),
813 single_option(control, var_selections, List),
831 single_option(control, value_selections, List),