FD variable parameters

7.2 | FD variable parameters

7.2.1 | `fd_max_integer/1`

Templates

  `fd_max_integer(?integer)`

Description
`fd_max_integer(N)` succeeds if `N` is the current value of `fd_max_integer` (section 7.1).
Errors

`N` is neither a variable nor an integer |  | `type_error(integer, N)`

Portability
GNU Prolog predicate.

7.2.2 | `fd_vector_max/1`

Templates

  `fd_vector_max(?integer)`

Description
`fd_vector_max(N)` succeeds if `N` is the current value of `vector_max` (section 7.1).
Errors

`N` is neither a variable nor an integer |  | `type_error(integer, N)`

Portability
GNU Prolog predicate.

7.2.3 | `fd_set_vector_max/1`

Templates

  `fd_set_vector_max(+integer)`

Description
`fd_set_vector_max(N)` initializes `vector_max` based on the value `N` (section 7.1). More precisely, on 32 bit machines, `vector_max` is set to the smallest value of `(32*k)-`1 which is ³ `N`.
Errors

`N` is a variable |  | `instantiation_error`
`N` is neither a variable nor an integer |  | `type_error(integer, N)`
`N` is an integer < 0 |  | `domain_error(not_less_than_zero, N)`

Portability
GNU Prolog predicate.

Copyright (C) 1999,2000 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright