Templates
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.
Templates
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.
Templates
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.