FD 변수 정보
FD 변수 정보
FD 변수의 현재 상태에 대한 정보를 얻는 술어들을 설명해요.
본문
이 술어들은 사용자가 FD 변수에 대한 정보를 얻을 수 있게 해줘요. 이들은 제약이 아니라 변수의 현재 상태만 반환해요.
fd_min/2, fd_max/2, fd_size/2, fd_dom/2
Templates
fd_min(+fd_variable, ?integer)
fd_max(+fd_variable, ?integer)
fd_size(+fd_variable, ?integer)
fd_dom(+fd_variable, ?integer_list)
Description
fd_min(X, N)— N이 X의 현재 도메인의 최소 값이면 성공.fd_max(X, N)— N이 X의 현재 도메인의 최대 값이면 성공.fd_size(X, N)— N이 X의 현재 도메인의 요소 수이면 성공.fd_dom(X, Values)— Values가 X의 현재 도메인의 값 리스트이면 성공.
Errors
- X가 변수 —
instantiation_error - X가 FD 변수도 정수도 아님 —
type_error(fd_variable, X) - N이 변수도 정수도 아님 —
type_error(integer, N) - Vars 리스트의 어떤 요소 E가 변수도 FD 변수도 정수도 아님 —
type_error(fd_variable, E) - Values가 부분 리스트도 리스트도 아님 —
type_error(list, Values)
Portability: GNU Prolog 술어.
fd_has_extra_cstr/1, fd_has_vector/1, fd_use_vector/1
Templates
fd_has_extra_cstr(+fd_variable)
fd_has_vector(+fd_variable)
fd_use_vector(+fd_variable)
Description
fd_has_extra_cstr(X)— X의 extra_cstr이 현재 켜져 있으면 성공(9.1절).fd_has_vector(X)— X의 현재 도메인이 희소 표현을 사용하면 성공(9.1절).fd_use_vector(X)— X의 도메인에 희소 표현을 강제(9.1절).
Errors
- X가 변수 —
instantiation_error - X가 FD 변수도 정수도 아님 —
type_error(fd_variable, X)
Portability: GNU Prolog 술어.