gfd_set_default(+Parameter, +DefaultValue)

Set the default value for GFD Parameter.

Description

Set the default value for parameters:

interval_min Minimum for the default interval for domain variables. When a domain variable is created implicitly in a constraint, it is given a default interval, and this interval should be as small as possible. as the efficiency of various propagator depends on the domain size. (integer no smaller than gfd_minint).
interval_max Maximum for the default interval for domain variables. (integer no larger than gfd_maxint).
array_size Initial size for the variable array for storing domain variables When more variables than can be accommodated in the array is required, a new array double the size is created, and the old variables copied to the new. Changing the initial size can reduce or avoid this copying overhead. (positive integer).
cloning_distance This controls how often the gecode state is cloned. The smaller the distance, the more frequent the cloning. Cloning is only done at places where the new clone might be useful, roughly if there are changes to the state since the last clone, and it is possible to backtrack and make use of the new clone (i.e. there should be at least one choice-point between the last clone and the current one. Distance is a measure of such points, so a distance of 1 is the minimal distance where a clone may be needed. (positive integer).
events_max Maximum number of events during non-search (deterministic) computation before a new clone is created to replace the parent (positive integer).