[ library(gfd) | Reference Manual | Alphabetic Index ]
gfd_set_default(+Parameter, +DefaultValue)
Set the default value for GFD Parameter.
- Parameter
- GFD parameter to set (atom).
- DefaultValue
- Default value for 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).
See Also
gfd_get_default / 2, gfd_minint / 1, gfd_maxint / 1