[ library(gfd) | Reference Manual | Alphabetic Index ]
gfd_get_default(+Parameter, -DefaultValue)
Get the current default value for GFD Parameter.
- Parameter
- GFD parameter (atom).
- DefaultValue
- Current default value for Parameter.
Description
Get the default value for parameters:
- interval_min
Minimum for the default interval for domain variables.
Initial value: -1000000.
- interval_max
Maximum for the default interval for domain variables.
Initial value: 1000000.
- array_size
Initial size for the variable array for storing domain variables
Initial value: 100.
- cloning_distance
This controls how often the gecode state is cloned. The smaller
the distance, the more frequent the cloning. Initial value: 2.
See Also
gfd_set_default / 2