FD variable parameters

### 9.2 FD variable parameters

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

#### 9.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 9.1).

Errors

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

Portability

GNU Prolog predicate.

#### 9.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 9.1).

Errors

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

Portability

GNU Prolog predicate.

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