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