FD variable parameters

8.2 | FD variable parameters

- `fd_max_integer/1`
- `fd_vector_max/1`
- `fd_set_vector_max/1`

8.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 8.1).
Errors

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

Portability
GNU Prolog predicate.

8.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 8.1).
Errors

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

Portability
GNU Prolog predicate.

8.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 8.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-2002 Daniel Diaz
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.
More about the copyright