[ 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