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.
[[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"]]
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.
[[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"]]