Previous Contents Next
8.2 FD variable parameters

8.2.1 fd_max_integer/1
[default]fd_max_integer/1@fd_max_integer/1 (FD)|textbf8.2.1htoc
Templates

fd_max_integer(?integer)
Description

fd_max_integer(N) succeeds if N is the current value of fd_max_integer[default]fd_max_integer@fd_max_integer (FD)8.2.1htoc (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
[default]fd_vector_max/1@fd_vector_max/1 (FD)|textbf8.2.2htoc
Templates

fd_vector_max(?integer)
Description

fd_vector_max(N) succeeds if N is the current value of vector_max[default]vector_max@vector_max (FD)8.2.2htoc (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
[default]fd_set_vector_max/1@fd_set_vector_max/1 (FD)|textbf8.2.3htoc
Templates

fd_set_vector_max(+integer)
Description

fd_set_vector_max(N) initializes vector_max[default]vector_max@vector_max (FD)8.2.3htoc 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-2001 Daniel Diaz

Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

More about the copyright
Previous Contents Next