FD 변수 매개변수
FD 변수 매개변수
FD 변수 매개변수(fd_max_integer, vector_max)를 다루는 술어들을 설명해요.
본문
fd_max_integer/1
Templates
fd_max_integer(?integer)
Description
fd_max_integer(N)은 N이 fd_max_integer의 현재 값(9.1절)이면 성공해요.
Errors
- N이 변수도 정수도 아님 —
type_error(integer, N)
Portability: GNU Prolog 술어.
fd_vector_max/1
Templates
fd_vector_max(?integer)
Description
fd_vector_max(N)은 N이 vector_max의 현재 값(9.1절)이면 성공해요.
Errors
- N이 변수도 정수도 아님 —
type_error(integer, N)
Portability: GNU Prolog 술어.
fd_set_vector_max/1
Templates
fd_set_vector_max(+integer)
Description
fd_set_vector_max(N)은 값 N(9.1절)에 기반해 vector_max를 초기화해요. 더 정확히, 32비트 기계에서 vector_max는 N보다 크거나 같은 가장 작은 값 (32*k)-1로 설정돼요.
Errors
- N이 변수 —
instantiation_error - N이 변수도 정수도 아님 —
type_error(integer, N) - N이 0보다 작은 정수 —
domain_error(not_less_than_zero, N)
Portability: GNU Prolog 술어.