[ library(gfd) | Reference Manual | Alphabetic Index ]
Set the default value for GFD Parameter.
- GFD parameter to set (atom).
- Default value for Parameter.
Set the default value for parameters:
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).
Maximum for the default interval for domain variables.
(integer no larger than gfd_maxint).
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).
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
Maximum number of events during non-search (deterministic)
computation before a new clone is created to replace the
parent (positive integer).
gfd_get_default / 2, gfd_minint / 1, gfd_maxint / 1