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