942 Lines

95 Predicates

Imported Modules: clpfd tools preferences timeout error_manager self_check kernel_dif random

65 Exports

4 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: int_plus/3 Module: kernel_objects Name: enum_fd_random/3 Module: random_permutations/random_permutations Name: debug_println/2 Module: debug	Name: try_post_constraint/1 Name: post_constraint/2 Name: post_constraint2/2 Name: force_post_constraint/1 Name: clpfd_neq_expr/2 Name: clpfd_eq_expr/2 Name: clpfd_eq_expr_optimized/2 Name: clpfd_eq_div/3 Name: clpfd_eq_fdiv/3 Name: clpfd_eq_guarded_div/3 Name: clpfd_eq_guarded_fdiv/3 Name: clpfd_eq/2 Name: clpfd_neq/2 Name: clpfd_nr_eq/2 Name: clpfd_geq2/3 Name: clpfd_geq/3 Name: clpfd_gt/3 Name: clpfd_leq/3 Name: clpfd_lt/3 Name: clpfd_leq_expr/2 Name: clpfd_lt_expr/2 Name: clpfd_inrange/3 Name: clpfd_inrange/4 Name: clpfd_not_inrange/3 Name: clpfd_not_in_non_empty_range/3 Name: clpfd_sum/2 Name: clpfd_inlist/2 Name: clpfd_not_inlist/2 Name: clpfd_reify_inlist/4 Name: force_clpfd_inlist/2 Name: clpfd_minimum/2 Name: clpfd_maximum/2 Name: clpfd_if_then_else/4 Name: clpfd_domain/3 Name: clpfd_size/2 Name: clpfd_in_domain/3 Name: clpfd_some_element_in_domain/2 Name: clpfd_max_bounded/1 Name: clpfd_can_match/2 Name: clpfd_check_geq_nr/2 Name: clpfd_alldifferent/1 Name: clpfd_degree/2 Name: clpfd_in_domain/1 Name: clpfd_labeling/2 Name: clpfd_can_intersect/2 Name: clpfd_get_next_variable_to_label/2 Name: clpfd_get_next_variable_to_label/3 Name: is_64_bit_system/0 Name: clpfd_overflow_error_message/0 Name: clpfd_overflow_warning_message/0 Name: integer_too_large_for_clpfd/1 Name: integer_too_small_for_clpfd/1 Name: catch_clpfd_overflow_call1/1 Name: catch_clpfd_overflow_call2/2 Name: catch_clpfd_overflow_call3/3 Name: catch_and_ignore_clpfd_overflow/2 Name: computable_arith_expression/1 Name: clpfd_randomised_labeling/2 Name: clpfd_randomised_in_domain/1 Name: clpfd_observe/2 Name: clpfd_observe_state/1 Name: clpfd_gcd/3 Name: clpfd_lcm/3 Name: clpfd_abs/2 Name: clpfd_sign/2

Imports

Exports

Name: module_info/2

Module: module_information

Name: int_plus/3

Module: kernel_objects

Name: enum_fd_random/3

Module: random_permutations/random_permutations

Name: debug_println/2

Module: debug

Name: try_post_constraint/1

Name: post_constraint/2

Name: post_constraint2/2

Name: force_post_constraint/1

Name: clpfd_neq_expr/2

Name: clpfd_eq_expr/2

Name: clpfd_eq_expr_optimized/2

Name: clpfd_eq_div/3

Name: clpfd_eq_fdiv/3

Name: clpfd_eq_guarded_div/3

Name: clpfd_eq_guarded_fdiv/3

Name: clpfd_eq/2

Name: clpfd_neq/2

Name: clpfd_nr_eq/2

Name: clpfd_geq2/3

Name: clpfd_geq/3

Name: clpfd_gt/3

Name: clpfd_leq/3

Name: clpfd_lt/3

Name: clpfd_leq_expr/2

Name: clpfd_lt_expr/2

Name: clpfd_inrange/3

Name: clpfd_inrange/4

Name: clpfd_not_inrange/3

Name: clpfd_not_in_non_empty_range/3

Name: clpfd_sum/2

Name: clpfd_inlist/2

Name: clpfd_not_inlist/2

Name: clpfd_reify_inlist/4

Name: force_clpfd_inlist/2

Name: clpfd_minimum/2

Name: clpfd_maximum/2

Name: clpfd_if_then_else/4

Name: clpfd_domain/3

Name: clpfd_size/2

Name: clpfd_in_domain/3

Name: clpfd_some_element_in_domain/2

Name: clpfd_max_bounded/1

Name: clpfd_can_match/2

Name: clpfd_check_geq_nr/2

Name: clpfd_alldifferent/1

Name: clpfd_degree/2

Name: clpfd_in_domain/1

Name: clpfd_labeling/2

Name: clpfd_can_intersect/2

Name: clpfd_get_next_variable_to_label/2

Name: clpfd_get_next_variable_to_label/3

Name: is_64_bit_system/0

Name: clpfd_overflow_error_message/0

Name: clpfd_overflow_warning_message/0

Name: integer_too_large_for_clpfd/1

Name: integer_too_small_for_clpfd/1

Name: catch_clpfd_overflow_call1/1

Name: catch_clpfd_overflow_call2/2

Name: catch_clpfd_overflow_call3/3

Name: catch_and_ignore_clpfd_overflow/2

Name: computable_arith_expression/1

Name: clpfd_randomised_labeling/2

Name: clpfd_randomised_in_domain/1

Name: clpfd_observe/2

Name: clpfd_observe_state/1

Name: clpfd_gcd/3

Name: clpfd_lcm/3

Name: clpfd_abs/2

Name: clpfd_sign/2

Predicates

Predicates:

:/2

add_clpfd_overflow_message/1

catch_and_ignore_clpfd_overflow/2

catch_clpfd_overflow_call1/1

catch_clpfd_overflow_call2/2

catch_clpfd_overflow_call3/3

check_error/2

clpfd_abs/2

clpfd_alldifferent/1

clpfd_can_intersect/2

clpfd_eq_expr_optimized/2

clpfd_geq/3

clpfd_geq2/3

clpfd_get_next_variable_to_label/2

clpfd_get_next_variable_to_label/3

clpfd_get_next_variable_to_label_ffc/3

clpfd_not_inrange_prop/6

clpfd_nr_eq/2

clpfd_observe/2

clpfd_observe_state/1

clpfd_observe_value/2

clpfd_overflow_error_message/0

clpfd_overflow_warning_message/0

clpfd_randomised_in_domain/1

clpfd_randomised_labeling/2

clpfd_randomised_labeling_aux/1

clpfd_size/2

clpfd_some_element_in_domain/2

clpfd_sum/2

clpfd_sum/3

clpfd_var_can_unify/2

comm_assoc_dif/2

computable_arith_expression/1

dif_when_necesssary/2

force_post_constraint/1

force_post_constraint/2

gcd2/3

get_fd_info/2

get_next_aux/5

handle_representation_error/3

integer_too_large_for_clpfd/1

integer_too_small_for_clpfd/1

lcm2/3

my_dif/2

not_in_range_blocking/3

not_in_range_blocking2/3

outside_range_blocking/3

propagate_div_eq_eq/3

propagate_zero/3

sign2/2

sum_list/3

time_out_constraint/2

try_post_constraint/1

useless_leq_constraint/2

useless_lt_constraint/2

:/2

add_clpfd_overflow_message/1

catch_and_ignore_clpfd_overflow/2

Meta: catch_and_ignore_clpfd_overflow(-,0)

catch_clpfd_overflow_call1/1

Meta: catch_clpfd_overflow_call1(0)

catch_clpfd_overflow_call2/2

Meta: catch_clpfd_overflow_call2(0,0)

catch_clpfd_overflow_call3/3

Meta: catch_clpfd_overflow_call3(0,*,0)

check_error/2

clpfd_abs/2

clpfd_alldifferent/1

clpfd_can_intersect/2

clpfd_eq_expr_optimized/2

clpfd_geq/3

clpfd_geq2/3

clpfd_get_next_variable_to_label/2

clpfd_get_next_variable_to_label/3

clpfd_get_next_variable_to_label_ffc/3

Description:
label a list of variables which was reversed:

clpfd_not_inrange_prop/6

Block: clpfd_not_inrange_prop(-,-,-,?,?,?)

clpfd_nr_eq/2

clpfd_observe/2

clpfd_observe_state/1

clpfd_observe_value/2

Block: clpfd_observe_value(-,?)

clpfd_overflow_error_message/0

clpfd_overflow_warning_message/0

clpfd_randomised_in_domain/1

clpfd_randomised_labeling/2

clpfd_randomised_labeling_aux/1

clpfd_size/2

clpfd_some_element_in_domain/2

clpfd_sum/2

clpfd_sum/3

clpfd_var_can_unify/2

comm_assoc_dif/2

computable_arith_expression/1

dif_when_necesssary/2

disjunct_reify/2

Block: disjunct_reify(-,-)

force_post_constraint/1

force_post_constraint/2

gcd2/3

Block: gcd2(?,-,?) gcd2(-,?,?)

get_fd_info/2

get_next_aux/5

handle_representation_error/3

Meta: handle_representation_error(*,*,0)

integer_too_large_for_clpfd/1

integer_too_small_for_clpfd/1

lcm2/3

Block: lcm2(?,-,?) lcm2(-,?,?)

my_dif/2

not_in_range_blocking/3

Block: not_in_range_blocking(-,?,?) not_in_range_blocking(?,-,?)

not_in_range_blocking2/3

Block: not_in_range_blocking2(?,?,-)

outside_range_blocking/3

Block: outside_range_blocking(-,?,?)

post_chr_inrange/3

post_constraint/2

Meta: post_constraint(0,0)

post_constraint2/2

Meta: post_constraint2(0,*)

post_constraint3/3

prolog_eq/2

Description:
post_constraint( E1 #= E2). % Used instead of line below because of serious bug in SICStus 4.1.3

Block: prop_12(-,-)

propagate_div_eq_eq/3

propagate_zero/3

Block: propagate_zero(-,-,-)

sign2/2

Block: sign2(-,?)

sum_list/3

Block: sum_list(-,?,?)

time_out_constraint/2

Description:
debug:new_pp(C,PP), %%
preferences:preference(time_out,CurTO), TO is 800 + (CurTO//100), time_out(C,TO,T),
debug:new_sol(C,PP), %%

Meta: time_out_constraint(0,0)

try_post_constraint/1

Meta: try_post_constraint(0)

useless_leq_constraint/2

useless_lt_constraint/2

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file chrsrc(chr_integer_inequality) does not exist
! goal: absolute_file_name(chrsrc(chr_integer_inequality),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/clpfd_interface.pl')])

Name: =/2
Name: is/2
Name: format/2
Name: fd_dom/2	Module: foo_error
Name: !

Name: add_internal_error/2	Module: foo_error
Name: add_warning/2	Module: foo_error
Name: clpfd_overflow_msg/1	Module: foo_error
Name: !
Name: add_message/2	Module: foo_error
Name: add_error/2	Module: foo_error

Name: handle_representation_error/3	Module: clpfd_interface
Name: clpfd_overflow_error_message/0	Module: clpfd_interface
Name: clpfd_overflow_warning_message/0	Module: clpfd_interface

Name: RECURSIVE_CALL/2	Module: clpfd_interface
Name: all_dif_aux/2	Module: clpfd_interface

Name: call_eq_expr2/2	Module: clpfd_interface
Name: =/2
Name: true
Name: fail
Name: frozen_dif/2	Module: kernel_dif
Name: var/1
Name: ->/3
Name: simple/1

Name: clpfd_eq_expr_nonsimple/2	Module: foo_error
Name: is/2
Name: computable_arith_expression/1	Module: clpfd_interface
Name: ->/3
Name: propagate_zero/3	Module: clpfd_interface
Name: number/1
Name: !
Name: simple/1
Name: =/2

Name: call_eq_expr1/2	Module: clpfd_interface
Name: clpfd_eq_expr_optimized/2	Module: clpfd_interface

Name: invariant_check_for_single_op/3	Module: eclipse_interface
Name: prob2_invariant_check_for_single_op/3	Module: prob2_interface

Name: expand_closure_value2/6	Module: store
Name: probcli_clpfd_overflow_call2/1	Module: eval_strings
Name: block_compute_comprehension_set_aux/6	Module: b_interpreter
Name: solve_predicate_aux2/5	Module: solver_interface
Name: eval_predicate/4	Module: prob2_interface
Name: probcli_clpfd_overflow_mnf_call2/1	Module: eval_strings
Name: evaluate_expression/4	Module: prob2_interface
Name: catch_clpfd_overflow_call_for_state/4	Module: tcltk_interface

Name: catch_enumeration_warning_and_overflow/2	Module: cbc_path_solver
Name: force_equality_int_clpfd/3	Module: kernel_equality
Name: cb_catch_finalize/8	Module: sap
Name: catch_clpfd_overflow_call1/1	Module: clpfd_interface
Name: catch_clpfd_overflow_call2/2	Module: clpfd_interface
Name: testcase_path_interrupt/8	Module: cbc_path_solver

Name: add_error/3	Module: foo_error
Name: print_message/1	Module: foo_error
Name: !
Name: is_clpfd_overflow_representation_error_msg/1	Module: foo_error

Name: is/2
Name: nonvar/1
Name: when/2
Name: clpfd_eq_expr/2	Module: clpfd_interface
Name: !
Name: preference/2	Module: preferences

Name: fdset_intersect/2	Module: foo_error
Name: fd_set/2	Module: foo_error
Name: fdset_member/2	Module: foo_error
Name: !
Name: nonvar/1
Name: ==/2
Name: ->/3

Name: =/2
Name: clpfd_can_match_nr/2	Module: foo_error
Name: !
Name: var/1
Name: clpfd_var_can_unify/2	Module: clpfd_interface
Name: ->/3

Name: can_match_aux/2	Module: kernel_tools
Name: can_match_aggr/2	Module: kernel_tools

Name: >=/2
Name: number/1
Name: fd_min/2	Module: foo_error
Name: fail
Name: !
Name: preference/2	Module: preferences
Name: nonvar/1

Name: fd_max/2	Module: foo_error
Name: fd_min/2	Module: foo_error
Name: !
Name: var/1

Name: create_state_preds_aux/6	Module: prob_state_predicates
Name: clpfd_card_domain_for_var/3	Module: kernel_cardinality_attr
Name: maximize_expr_wf/4	Module: external_functions
Name: check_if_labeling_domain_large/4	Module: kernel_waitflags
Name: clpfd_nr_eq/2	Module: clpfd_interface
Name: clpfd_randomised_in_domain/1	Module: clpfd_interface

Name: clpfd_abs/2	Module: clpfd_interface
Name: safe_int_power_clpfd2/5	Module: kernel_objects

Name: RECURSIVE_CALL/3	Module: clpfd_interface
Name: get_next_aux/5	Module: clpfd_interface
Name: get_fd_info/2	Module: clpfd_interface
Name: ->/3

Name: prop_12/2	Module: clpfd_interface
Name: element/3	Module: foo_error
Name: =/2
Name: !
Name: ==/2

Name: maximize_expr_6/6	Module: external_functions
Name: couple_prj1_in_range/4	Module: custom_explicit_sets

Name: =/2
Name: !
Name: useless_leq_constraint/2	Module: clpfd_interface

Name: b_test_atomic_boolean_expression2/5	Module: b_interpreter
Name: less_clpfd/3	Module: external_functions

Name: =/2
Name: !
Name: useless_lt_constraint/2	Module: clpfd_interface

prob_prolog/src/clpfd_interface.pl

Modules

Predicates of clpfd_interface

Module Information

942 Lines

95 Predicates

Imported Modules: clpfd tools preferences timeout error_manager self_check kernel_dif random

65 Exports

4 specified Imports

Predicates:

Determinacy Checker:

Name: not_in_range_blocking/3	Module: clpfd_interface
Name: !
Name: preference/2	Module: preferences

Name: disjunct_reify/2	Module: clpfd_interface
Name: !
Name: ==/2

Name: =/2
Name: fail
Name: </2
Name: number/1
Name: ->/3
Name: >/2
Name: clpfd_domain/3	Module: clpfd_interface
Name: !
Name: var/1
Name: integer/1

Name: add_internal_error/2	Module: foo_error
Name: fd_global/3	Module: foo_error
Name: !
Name: nonvar/1

Name: RECURSIVE_CALL/1	Module: clpfd_interface
Name: clpfd_observe_value/2	Module: clpfd_interface

Name: label_clpfd_variable/2	Module: kernel_waitflags
Name: clpfd_randomised_labeling_aux/1	Module: clpfd_interface

Name: labeling/2	Module: foo_error
Name: clpfd_randomised_labeling_aux/1	Module: clpfd_interface
Name: get_preference/2	Module: preferences
Name: ->/3

Name: fd_size/2	Module: foo_error
Name: =/2
Name: !
Name: number/1

Name: check_if_labeling_domain_large/4	Module: kernel_waitflags
Name: get_min_fd_size_elements/2	Module: kernel_waitflags
Name: fd_priority_leq_limit/3	Module: kernel_waitflags
Name: get_min_aux/4	Module: kernel_waitflags
Name: finite_value/3	Module: b_enumerate
Name: portray_fd_vars/1	Module: kernel_waitflags
Name: treat_next_integer/8	Module: b_enumerate
Name: treat_next_typed_valc/7	Module: b_enumerate
Name: maximize_expr_wf/4	Module: external_functions

Name: sum_list/3	Module: clpfd_interface
Name: true
Name: ==/2
Name: ->/3
Name: clpfd_sum/3	Module: clpfd_interface