Previous Next Contents

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.




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

More about the copyright
Previous Next Contents