[ library(gfd) | Reference Manual | Alphabetic Index ]

gfd_maxint(-Var)

Returns the maximum value allowed in gecode's domain.
Var
Free variable

Description

Returns the maximum value allowed in gecode's domain. It is strongly recommended that the user values used in the domain to not approach this value, because propagation can easily lead to values outside what gecode can support.

See Also

gfd_minint / 1