
gfd_get_default(+Parameter, -DefaultValue)

   Get the current default value for GFD Parameter.

Arguments
   Parameter           GFD parameter (atom).
   DefaultValue        Current default value for Parameter.

Type
   library(gfd)

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
