Previous
Up
Next
9.2 FD variable parameters
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
Previous
Up
Next