6166 Lines

567 Predicates

Imported Modules: terms self_check debug tools_printing tools typechecker error_manager b_global_sets kernel_waitflags lists clpfd fd_utils_clpfd kernel_freetypes kernel_card_arithmetic custom_explicit_sets typechecker clpfd_interface bool_pred kernel_equality

171 Exports

58 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: avl_min/2 Module: avl Name: avl_max/2 Module: avl Name: get_texpr_id/2 Module: bsyntaxtree Name: get_texpr_pos/2 Module: bsyntaxtree Name: time_out_call/1 Module: tools_timeout Name: couplise_list/2 Module: btypechecker Name: random/3 Module: random Name: machine_string/1 Module: btypechecker Name: random/3 Module: random Name: is_ground_real/1 Module: kernel_reals Name: construct_real/2 Module: kernel_reals Name: is_real/2 Module: kernel_reals Name: preference/2 Module: preferences Name: translate_span/2 Module: translate Name: translate_error_term/3 Module: translate Name: print_span/1 Module: translate Name: print_span_nl/1 Module: translate Name: counter_init/0 Module: counter/counter Name: new_counter/1 Module: counter/counter Name: inc_counter/2 Module: counter/counter Name: reset_counter/1 Module: counter/counter Name: register_event_listener/3 Module: eventhandling Name: format_with_colour/4 Module: tools_printing Name: print_bexpr/1 Module: translate Name: enum_fd_random/3 Module: random_permutations/random_permutations Name: avl_size/2 Module: avl Name: clpfd_card_domain_for_var/3 Module: kernel_cardinality_attr Name: print_error/1 Module: tools_printing Name: syntaxtraversion/6 Module: bsyntaxtree Name: is_set_type/2 Module: bsyntaxtree Name: avl_height_less_than/2 Module: avl_tools Name: perf_format_wf/3 Module: performance_messages Name: cannot_match/2 Module: kernel_tools Name: check_field_name_compatibility/3 Module: kernel_records Name: is_real/1 Module: kernel_reals Name: is_float_wf/2 Module: kernel_reals Name: is_not_float/1 Module: kernel_reals Name: mark_var_set_as_non_empty/1 Module: kernel_non_empty_attr Name: add_warning/2 Module: error_manager Name: lazy_fd_value_check/4 Module: clpfd_lists Name: b_get_fd_type_bounds/3 Module: b_global_sets Name: disjoint_union_generalized_wf/3 Module: bsets_clp Name: ground_value/1 Module: kernel_tools Name: imply_true/2 Module: b_interpreter_check Name: is_definitely_maximal_set/1 Module: custom_explicit_sets Name: singleton_set/2 Module: custom_explicit_sets Name: ground_value_check/2 Module: kernel_tools Name: quick_same_value/2 Module: kernel_tools Name: is_infinite_or_very_large_explicit_set/2 Module: custom_explicit_sets Name: contains_infinite_type/1 Module: typing_tools Name: card_for_specific_custom_set/3 Module: custom_explicit_sets Name: is_a_disjunct/3 Module: bsyntaxtree Name: ordered_value/2 Module: kernel_ordering Name: z_or_tla_minor_mode/0 Module: specfile Name: eventb_mode/0 Module: specfile Name: check_arithmetic_function/1 Module: tools_portability Name: clpfd_eq_expr/2 Module: clpfd_interface	Name: basic_type/2 Name: enumerate_basic_type/2 Name: enumerate_basic_type_wf/3 Name: enumerate_basic_type_wf/4 Name: all_objects_of_type/2 Name: max_cardinality/2 Name: enumerate_type/3 Name: enumerate_type_wf/4 Name: enumerate_type/4 Name: enumerate_basic_type/3 Name: enumerate_tight_type/2 Name: enumerate_tight_type/3 Name: enumerate_tight_type_wf/4 Name: enumerate_int/3 Name: gen_enum_warning_wf/6 Name: all_strings_wf/2 Name: is_string/2 Name: is_not_string/1 Name: top_level_dif/2 Name: equal_object_optimized/2 Name: equal_object_optimized/3 Name: equal_object_optimized_wf/4 Name: equal_object/2 Name: equal_object/3 Name: equal_object_wf/3 Name: equal_object_wf/4 Name: not_equal_object/2 Name: not_equal_object_wf/3 Name: equal_cons/3 Name: equal_cons_wf/4 Name: equal_cons_lwf/5 Name: get_next_element/3 Name: is_marked_to_be_computed/1 Name: mark_as_to_be_computed/1 Name: membership_test_wf/4 Name: empty_set/1 Name: empty_set_wf/2 Name: not_empty_set/1 Name: not_empty_set_wf/2 Name: exact_element_of/2 Name: check_element_of/2 Name: check_element_of_wf/3 Name: not_element_of/2 Name: not_element_of_wf/3 Name: add_element/3 Name: add_element/4 Name: add_element_wf/4 Name: add_element_wf/5 Name: add_new_element_wf/4 Name: delete_element_wf/4 Name: remove_element_wf/4 Name: remove_element_wf/5 Name: remove_element_wf_if_not_infinite_or_closure/6 Name: remove_exact_first_element/3 Name: check_no_duplicates_in_list/3 Name: partition_wf/3 Name: not_partition_wf/3 Name: test_partition_wf/4 Name: disjoint_sets/3 Name: not_disjoint_sets/3 Name: union/3 Name: union_wf/4 Name: union_generalized/2 Name: union_generalized_wf/3 Name: intersection/3 Name: intersection_generalized_wf/4 Name: difference_set/3 Name: difference_set_wf/4 Name: in_difference_set_wf/4 Name: not_in_difference_set_wf/4 Name: in_union_set_wf/4 Name: not_in_union_set_wf/4 Name: in_intersection_set_wf/4 Name: not_in_intersection_set_wf/4 Name: strict_subset_of/2 Name: strict_subset_of_wf/3 Name: check_subset_of/2 Name: check_subset_of_wf/3 Name: check_finite_subset_of_wf/3 Name: check_non_empty_subset_of_wf/3 Name: check_finite_non_empty_subset_of_wf/3 Name: not_subset_of/2 Name: not_subset_of_wf/3 Name: not_both_subset_of/5 Name: not_finite_subset_of_wf/3 Name: not_strict_subset_of/2 Name: not_strict_subset_of_wf/3 Name: not_non_empty_subset_of_wf/3 Name: not_non_empty_finite_subset_of_wf/3 Name: both_global_sets/4 Name: check_subset_of_global_sets/2 Name: check_not_subset_of_global_sets/2 Name: first_of_pair/2 Name: second_of_pair/2 Name: minimum_of_set_extension_list/4 Name: maximum_of_set_extension_list/4 Name: minimum_of_set/4 Name: maximum_of_set/4 Name: is_finite_set_wf/2 Name: is_infinite_set_wf/2 Name: test_finite_set_wf/3 Name: cardinality_as_int_for_wf/2 Name: cardinality_as_int_wf/3 Name: cardinality_as_int/2 Name: card_convert_int_to_peano/2 Name: same_cardinality_wf/3 Name: cardinality_greater/5 Name: cardinality_greater_equal/5 Name: cardinality_of_range/3 Name: cardinality_of_set_extension_list/3 Name: cartesian_product_wf/4 Name: is_cartesian_pair_wf/4 Name: not_is_cartesian_pair/4 Name: power_set/2 Name: non_empty_power_set/2 Name: is_integer/2 Name: is_not_integer/1 Name: is_natural/2 Name: is_natural1/2 Name: is_implementable_int/2 Name: is_implementable_nat/2 Name: is_implementable_nat1/2 Name: is_not_natural/1 Name: is_not_natural1/1 Name: is_not_implementable_int/1 Name: is_not_implementable_nat/1 Name: is_not_implementable_nat1/1 Name: less_than/2 Name: less_than_equal/2 Name: less_than_direct/2 Name: less_than_equal_direct/2 Name: safe_less_than_equal/2 Name: safe_less_than_equal/3 Name: greater_than/2 Name: greater_than_equal/2 Name: int_plus/3 Name: division/5 Name: floored_division/5 Name: modulo/5 Name: int_minus/3 Name: unary_minus_wf/3 Name: in_nat_range_wf/4 Name: not_in_nat_range/3 Name: not_in_nat_range_wf/4 Name: test_in_nat_range_wf/5 Name: in_nat_range/3 Name: times/3 Name: square/3 Name: int_power/5 Name: integer_global_set/1 Name: element_of_global_set/2 Name: element_of_global_set_wf/3 Name: not_element_of_global_set/2 Name: exhaustive_kernel_check/1 Name: exhaustive_kernel_check_wf/2 Name: exhaustive_kernel_check_wf/3 Name: exhaustive_kernel_check_wfdet/2 Name: exhaustive_kernel_check_wf_upto/3 Name: exhaustive_kernel_succeed_check/1 Name: exhaustive_kernel_fail_check/1 Name: exhaustive_kernel_fail_check_wf/2 Name: exhaustive_kernel_fail_check_wfdet/2 Name: exhaustive_kernel_fail_check_wf_upto/3 Name: exhaustive_kernel_fail_check_wfinit/2 Name: exhaustive_kernel_check/2 Name: exhaustive_kernel_succeed_check/2 Name: exhaustive_kernel_fail_check/2 Name: singleton_set_element/4 Name: singleton_set_element_wd/4 Name: infer_value_type/2 Name: contains_any/1

Imports

Exports

Name: module_info/2

Module: module_information

Name: avl_min/2

Module: avl

Name: avl_max/2

Module: avl

Name: get_texpr_id/2

Module: bsyntaxtree

Name: get_texpr_pos/2

Module: bsyntaxtree

Name: time_out_call/1

Module: tools_timeout

Name: couplise_list/2

Module: btypechecker

Name: random/3

Module: random

Name: machine_string/1

Module: btypechecker

Name: random/3

Module: random

Name: is_ground_real/1

Module: kernel_reals

Name: construct_real/2

Module: kernel_reals

Name: is_real/2

Module: kernel_reals

Name: preference/2

Module: preferences

Name: translate_span/2

Module: translate

Name: translate_error_term/3

Module: translate

Name: print_span/1

Module: translate

Name: print_span_nl/1

Module: translate

Name: counter_init/0

Module: counter/counter

Name: new_counter/1

Module: counter/counter

Name: inc_counter/2

Module: counter/counter

Name: reset_counter/1

Module: counter/counter

Name: register_event_listener/3

Module: eventhandling

Name: format_with_colour/4

Module: tools_printing

Name: print_bexpr/1

Module: translate

Name: enum_fd_random/3

Module: random_permutations/random_permutations

Name: avl_size/2

Module: avl

Name: clpfd_card_domain_for_var/3

Module: kernel_cardinality_attr

Name: print_error/1

Module: tools_printing

Name: syntaxtraversion/6

Module: bsyntaxtree

Name: is_set_type/2

Module: bsyntaxtree

Name: avl_height_less_than/2

Module: avl_tools

Name: perf_format_wf/3

Module: performance_messages

Name: cannot_match/2

Module: kernel_tools

Name: check_field_name_compatibility/3

Module: kernel_records

Name: is_real/1

Module: kernel_reals

Name: is_float_wf/2

Module: kernel_reals

Name: is_not_float/1

Module: kernel_reals

Name: mark_var_set_as_non_empty/1

Module: kernel_non_empty_attr

Name: add_warning/2

Module: error_manager

Name: lazy_fd_value_check/4

Module: clpfd_lists

Name: b_get_fd_type_bounds/3

Module: b_global_sets

Name: disjoint_union_generalized_wf/3

Module: bsets_clp

Name: ground_value/1

Module: kernel_tools

Name: imply_true/2

Module: b_interpreter_check

Name: is_definitely_maximal_set/1

Module: custom_explicit_sets

Name: singleton_set/2

Module: custom_explicit_sets

Name: ground_value_check/2

Module: kernel_tools

Name: quick_same_value/2

Module: kernel_tools

Name: is_infinite_or_very_large_explicit_set/2

Module: custom_explicit_sets

Name: contains_infinite_type/1

Module: typing_tools

Name: card_for_specific_custom_set/3

Module: custom_explicit_sets

Name: is_a_disjunct/3

Module: bsyntaxtree

Name: ordered_value/2

Module: kernel_ordering

Name: z_or_tla_minor_mode/0

Module: specfile

Name: eventb_mode/0

Module: specfile

Name: check_arithmetic_function/1

Module: tools_portability

Name: clpfd_eq_expr/2

Module: clpfd_interface

Name: basic_type/2

Name: enumerate_basic_type/2

Name: enumerate_basic_type_wf/3

Name: enumerate_basic_type_wf/4

Name: all_objects_of_type/2

Name: max_cardinality/2

Name: enumerate_type/3

Name: enumerate_type_wf/4

Name: enumerate_type/4

Name: enumerate_basic_type/3

Name: enumerate_tight_type/2

Name: enumerate_tight_type/3

Name: enumerate_tight_type_wf/4

Name: enumerate_int/3

Name: gen_enum_warning_wf/6

Name: all_strings_wf/2

Name: is_string/2

Name: is_not_string/1

Name: top_level_dif/2

Name: equal_object_optimized/2

Name: equal_object_optimized/3

Name: equal_object_optimized_wf/4

Name: equal_object/2

Name: equal_object/3

Name: equal_object_wf/3

Name: equal_object_wf/4

Name: not_equal_object/2

Name: not_equal_object_wf/3

Name: equal_cons/3

Name: equal_cons_wf/4

Name: equal_cons_lwf/5

Name: get_next_element/3

Name: is_marked_to_be_computed/1

Name: mark_as_to_be_computed/1

Name: membership_test_wf/4

Name: empty_set/1

Name: empty_set_wf/2

Name: not_empty_set/1

Name: not_empty_set_wf/2

Name: exact_element_of/2

Name: check_element_of/2

Name: check_element_of_wf/3

Name: not_element_of/2

Name: not_element_of_wf/3

Name: add_element/3

Name: add_element/4

Name: add_element_wf/4

Name: add_element_wf/5

Name: add_new_element_wf/4

Name: delete_element_wf/4

Name: remove_element_wf/4

Name: remove_element_wf/5

Name: remove_element_wf_if_not_infinite_or_closure/6

Name: remove_exact_first_element/3

Name: check_no_duplicates_in_list/3

Name: partition_wf/3

Name: not_partition_wf/3

Name: test_partition_wf/4

Name: disjoint_sets/3

Name: not_disjoint_sets/3

Name: union/3

Name: union_wf/4

Name: union_generalized/2

Name: union_generalized_wf/3

Name: intersection/3

Name: intersection_generalized_wf/4

Name: difference_set/3

Name: difference_set_wf/4

Name: in_difference_set_wf/4

Name: not_in_difference_set_wf/4

Name: in_union_set_wf/4

Name: not_in_union_set_wf/4

Name: in_intersection_set_wf/4

Name: not_in_intersection_set_wf/4

Name: strict_subset_of/2

Name: strict_subset_of_wf/3

Name: check_subset_of/2

Name: check_subset_of_wf/3

Name: check_finite_subset_of_wf/3

Name: check_non_empty_subset_of_wf/3

Name: check_finite_non_empty_subset_of_wf/3

Name: not_subset_of/2

Name: not_subset_of_wf/3

Name: not_both_subset_of/5

Name: not_finite_subset_of_wf/3

Name: not_strict_subset_of/2

Name: not_strict_subset_of_wf/3

Name: not_non_empty_subset_of_wf/3

Name: not_non_empty_finite_subset_of_wf/3

Name: both_global_sets/4

Name: check_subset_of_global_sets/2

Name: check_not_subset_of_global_sets/2

Name: first_of_pair/2

Name: second_of_pair/2

Name: minimum_of_set_extension_list/4

Name: maximum_of_set_extension_list/4

Name: minimum_of_set/4

Name: maximum_of_set/4

Name: is_finite_set_wf/2

Name: is_infinite_set_wf/2

Name: test_finite_set_wf/3

Name: cardinality_as_int_for_wf/2

Name: cardinality_as_int_wf/3

Name: cardinality_as_int/2

Name: card_convert_int_to_peano/2

Name: same_cardinality_wf/3

Name: cardinality_greater/5

Name: cardinality_greater_equal/5

Name: cardinality_of_range/3

Name: cardinality_of_set_extension_list/3

Name: cartesian_product_wf/4

Name: is_cartesian_pair_wf/4

Name: not_is_cartesian_pair/4

Name: power_set/2

Name: non_empty_power_set/2

Name: is_integer/2

Name: is_not_integer/1

Name: is_natural/2

Name: is_natural1/2

Name: is_implementable_int/2

Name: is_implementable_nat/2

Name: is_implementable_nat1/2

Name: is_not_natural/1

Name: is_not_natural1/1

Name: is_not_implementable_int/1

Name: is_not_implementable_nat/1

Name: is_not_implementable_nat1/1

Name: less_than/2

Name: less_than_equal/2

Name: less_than_direct/2

Name: less_than_equal_direct/2

Name: safe_less_than_equal/2

Name: safe_less_than_equal/3

Name: greater_than/2

Name: greater_than_equal/2

Name: int_plus/3

Name: division/5

Name: floored_division/5

Name: modulo/5

Name: int_minus/3

Name: unary_minus_wf/3

Name: in_nat_range_wf/4

Name: not_in_nat_range/3

Name: not_in_nat_range_wf/4

Name: test_in_nat_range_wf/5

Name: in_nat_range/3

Name: times/3

Name: square/3

Name: int_power/5

Name: integer_global_set/1

Name: element_of_global_set/2

Name: element_of_global_set_wf/3

Name: not_element_of_global_set/2

Name: exhaustive_kernel_check/1

Name: exhaustive_kernel_check_wf/2

Name: exhaustive_kernel_check_wf/3

Name: exhaustive_kernel_check_wfdet/2

Name: exhaustive_kernel_check_wf_upto/3

Name: exhaustive_kernel_succeed_check/1

Name: exhaustive_kernel_fail_check/1

Name: exhaustive_kernel_fail_check_wf/2

Name: exhaustive_kernel_fail_check_wfdet/2

Name: exhaustive_kernel_fail_check_wf_upto/3

Name: exhaustive_kernel_fail_check_wfinit/2

Name: exhaustive_kernel_check/2

Name: exhaustive_kernel_succeed_check/2

Name: exhaustive_kernel_fail_check/2

Name: singleton_set_element/4

Name: singleton_set_element_wd/4

Name: infer_value_type/2

Name: contains_any/1

Predicates

Predicates:

add_nat_range_fd_variable_for_labeling/4

all_objects_of_type/2

all_strings_wf/2

arg_is_list/1

argument_is_list_not_set/2

basic_field_types/2

basic_type/2

blocking_equal_cons_lwf/5

both_global_sets/4

call_enumerate_int/4

card_convert_int_to_peano/2

card_greater_equal2/3

cardinality3/3

cardinality_as_int/2

cardinality_as_int1/4

cardinality_as_int1b/4

cardinality_as_int2/6

cardinality_as_int_for_inf/2

cardinality_as_int_for_wf/2

cardinality_as_int_for_wf0/3

cardinality_as_int_for_wf1/3

cardinality_as_int_for_wf2/3

cardinality_as_int_wf/3

cardinality_greater/5

cardinality_greater_equal/5

cardinality_of_range/3

cardinality_of_set_extension_list/3

cardinality_of_set_extension_list2/6

cardinality_of_set_extension_list3/8

cardinality_peano_wf/3

cartesian_el_product/5

cartesian_product/3

cartesian_product2/4

cartesian_product_wf/4

check_card_waitflag_less/2

check_element_of_unbound_set/3

check_element_of_wf/3

check_element_of_wf_lwf/4

check_finite_non_empty_subset_of_wf/3

check_finite_subset_of_wf/3

check_is_expanded_set/2

check_no_duplicates_in_list/3

check_non_empty_subset_of_wf/3

check_nonzero/5

check_not_subset_of_global_sets/2

check_strict_subset_intervals/4

check_strict_subset_intervals1/4

check_strict_subset_intervals2/4

check_strict_subset_of_global_sets/2

check_subset_of/2

check_subset_of0/3

check_subset_of0_lwf/5

check_subset_of2/6

check_subset_of3/7

check_subset_of_global_sets/2

check_subset_of_wf/3

checked_precise_log/5

clpfd_modulo_prop/4

clpfd_modulo_prop2/4

clpfd_off_domain/5

collect_bound_elements/4

contains_problematic_coroutine_for_cons/2

convert_int_to_peano/2

convert_int_to_peano2/2

convert_int_to_peano3/2

copy_list_skeleton/3

correct_integer_log_approximation/5

definitely_not_in_list/2

element_of_global_integer_set_wf/4

element_of_global_set/2

element_of_global_set_wf/3

element_of_global_set_wf/4

enum_unbounded_clpfd_off/6

enum_warning_large/3

enumerate_any_wf/3

enumerate_basic_field_types/5

enumerate_basic_field_types2/7

enumerate_basic_type/2

enumerate_basic_type/3

enumerate_basic_type4/5

enumerate_basic_type_set/5

enumerate_basic_type_set2/8

enumerate_basic_type_set_cons/8

enumerate_basic_type_wf/3

enumerate_basic_type_wf/4

enumerate_int2_linear/3

enumerate_int_wf/5

enumerate_int_with_span/4

enumerate_kernel_args/4

enumerate_kernel_call/4

enumerate_seq_type_wf/4

enumerate_string_wf/3

enumerate_tight_type/2

enumerate_tight_type/3

enumerate_tight_type_wf/3

enumerate_tight_type_wf/4

enumerate_values_inside_expression/2

equal_cons_global_set/5

equal_cons_global_set_warning/5

equal_cons_interval/6

equal_cons_lwf/5

equal_cons_perf_message/4

equal_cons_wf/4

equal_custom_explicit_set_cons_wf/4

equal_object_custom_explicit_set/3

equal_object_opt3/3

equal_object_optimized/2

equal_object_optimized/3

equal_object_optimized_wf/4

exact_member_in_skel/2

exhaustive_kernel_check/1

exhaustive_kernel_check/2

exhaustive_kernel_check4/4

exhaustive_kernel_check_opt/2

exhaustive_kernel_check_wf/2

exhaustive_kernel_check_wf/3

exhaustive_kernel_check_wf_upto/3

exhaustive_kernel_check_wfdet/2

exhaustive_kernel_fail_check/1

exhaustive_kernel_fail_check/2

exhaustive_kernel_fail_check4/4

exhaustive_kernel_fail_check_opt/2

exhaustive_kernel_fail_check_wf/2

exhaustive_kernel_fail_check_wf_upto/3

exhaustive_kernel_fail_check_wfdet/2

exhaustive_kernel_fail_check_wfinit/2

exhaustive_kernel_succeed_check/1

exhaustive_kernel_succeed_check/2

fd_max/3

fd_min/3

find_non_ground_set/3

force_enumerate_int_wo_case_split/5

force_enumerate_with_warning/7

gen_enum_warning_if_large/3

gen_enum_warning_wf/6

gen_strict_subsets/3

gen_subsets/3

gen_test_interval_closure/3

generate_member_closure/2

geq_int_peano/2

geq_int_peano1/2

get_int_domain/5

get_integer_enumeration_wait_flag/4

get_nat_range_prio/5

get_new_lower_bound/4

get_new_upper_bound/4

get_next_element/3

get_next_index/3

get_pending_abort_error_for_info/4

get_trigger_info/2

get_trigger_info2/2

get_trigger_info_variable/2

greater_than/2

greater_than_equal/2

has_not_to_be_added/4

in_difference_set_wf/4

in_intersection_set_wf/4

int_power_clpfd_propagation/3

integer_square_root/2

intersection_generalized2/4

intersection_generalized3/4

intersection_generalized_wf/4

intersection_pair/5

interval_subset/4

interval_subset_aux/4

is_cartesian_pair_wf/4

is_definitely_finite/1

is_finite_set_wf/2

is_global_set/2

is_implementable_int/2

is_implementable_nat/2

is_implementable_nat1/2

is_infinite_set_wf/2

is_integer/2

is_marked_to_be_computed/1

is_natural/2

is_natural1/2

is_not_implementable_int/1

is_not_implementable_nat/1

is_not_implementable_nat1/1

is_unbound_list_skeleton/2

is_unbound_ordered_list_skeleton/2

is_unbound_ordered_list_skeleton/3

is_unbound_ordered_list_skeleton3/3

is_unbound_ordered_list_skeleton5/5

is_wdguarded_result_variable/1

is_wdguarded_result_variable_aux/2

kernel_objects_reset/0

kernel_objects_startup/0

l_enumerate_kernel_args/5

l_enumerate_values_inside_expression/2

label/3

lazy_check_element_of_aux/3

lazy_check_element_of_list/4

lazy_check_subset_of/3

lazy_check_subset_of2/3

lazy_ordered_value/2

lazy_try_check_element_of/3

less_than/2

less_than_direct/2

less_than_equal/2

less_than_equal_direct/2

mark_as_non_free_fields/1

mark_as_to_be_computed/1

marked_aux/2

max_cardinality/2

max_cardinality_string/1

max_cardinality_with_check/2

maximum_of_set_extension_list/4

minimum_of_set_extension_list/4

modulo/5

modulo2/5

narrow_down_interval/6

neq_cons2/4

neq_cons_wf/4

non_empty_power_set/2

non_free/1

not_both_subset_of/5

not_both_subset_of_aux/4

not_check_strict_subset_intervals2/4

not_element_of_global_set/2

not_element_of_global_set2/2

not_equal_couple_wf/5

not_equal_couple_wf_aux/5

not_equal_explicit_set_expand/3

not_equal_explicit_set_wf/3

not_equal_fields_wf/3

not_equal_freeval_wf/5

not_equal_object/2

not_equal_object0/2

not_equal_object2_wf/3

not_equal_object3/3

not_equal_object3_block/3

not_equal_object_sets2/5

not_equal_object_sets_wf/3

not_equal_object_wf/3

not_equal_object_wf0/3

not_equal_object_wf1/3

not_equal_term_wf/3

not_finite_subset_of_wf/3

not_finite_subset_of_wf_aux/4

not_in_difference_set_wf/4

not_in_intersection_set_wf/4

not_in_nat_range/3

not_in_nat_range_wf/4

not_in_union_set_wf/4

not_interval_subset/4

not_interval_subset_block/4

not_is_cartesian_pair/4

not_is_cartesian_pair0/5

not_is_cartesian_pair1/5

not_is_cartesian_pair3/7

not_non_empty_finite_subset_of_aux/4

not_non_empty_finite_subset_of_wf/3

not_non_empty_subset_of_wf/3

not_partition_wf/3

not_strict_eq_check/2

not_strict_subset_intervals/4

not_strict_subset_of/2

not_strict_subset_of2/4

not_strict_subset_of3/6

not_strict_subset_of_global_sets/2

not_strict_subset_of_wf/3

not_strict_subset_of_wf1/3

not_subset_interval_gs_aux/3

partition_disj_union_wf/3

print_enum_warning_large/4

print_equal_cons_warning/6

print_finite_warning/6

print_pending_abort_error/1

print_throwing/2

print_throwing_wf/4

print_trigger_var/1

print_trigger_var_info/1

propagate_empty_set_to_pred_false/2

propagate_in_interval/4

propagate_intersection/4

propagate_intersection_aux/5

propagate_into2/4

propagate_partition_true/4

quick_check_length_compatible/2

remove_element_wf_if_not_infinite_or_closure/6

remove_exact_first_element/3

remove_exact_first_element1/3

remove_index/3

remove_index_ground/3

remove_minimal_elements/3

safe_int_power/5

safe_int_power0/5

safe_int_power_clpfd2/5

safe_less_than/2

safe_less_than_equal/2

safe_less_than_equal/3

safe_less_than_equal_with_inf/2

safe_less_than_equal_with_inf_clpfd/2

safe_less_than_with_inf/2

safe_less_than_with_inf_clpfd/2

same_card_aux/3

same_card_prop/2

same_cardinality_wf/3

sample_closure/1

second_of_pair/2

set_finite_result/4

set_finite_result_no_warn/2

setup_list_skel_aux/4

setup_ordered_list_skeleton/4

singleton_set_element/4

singleton_set_element1/5

singleton_set_element2/5

singleton_set_element_wd/4

strict_subset_of_aux_block/4

strict_subset_of_wf/3

strict_subset_of_wf_aux/3

string_global_set/1

swap_set/2

test_finite_cartesian_product_wf/6

test_finite_closure/5

test_finite_closure_ground/5

test_finite_disj2/6

test_finite_set_wf/3

test_in_nat_range_no_clpfd/5

test_in_nat_range_wf/5

test_partition_wf/4

test_partition_wf2/6

test_partition_wf3/8

test_partition_wf4/10

times/3

top_level_dif/2

treat_arg_symbolically/1

try_expand_and_convert_to_avl_unless_large_or_closure_wf/3

try_quick_delete_exact_member/3

try_quick_delete_exact_member/4

two_vars_or_more/3

unary_member_closure_for_finite/3

unary_minus2/2

unary_minus_wf/3

unbound_basic_residue/3

unbound_ord_residue_aux/6

unbound_ord_residue_m/7

unbound_ordered_tail/2

unbound_ordered_tail_aux/3

unbound_variable_check/1

unbound_variable_for_card/1

unbound_variable_for_cons/1

unbound_variable_for_element_of/1

unbound_variable_or_ordered/5

union/3

union0/4

union0_to_singleton_set/4

union_generalized_wf/3

union_generalized_wf2/3

warn_if_duplicates_in_list/3

warn_if_duplicates_in_list/4

will_throw_enum_warning/1

Block: add_element1_wf(?,-,?,?,?)

add_element2_wf/5

Block: add_element2_wf(-,?,?,?,?)

add_element3_wf/5

Block: add_element3_wf(-,?,?,?,?)

add_element4_wf/6

Block: add_element4_wf(-,?,?,?,?,?)

add_element_var/5

add_element_wf/4

add_element_wf/5

Block: add_element_wf(?,-,?,?,?)

add_nat_range_fd_variable_for_labeling/4

add_new_el/3

add_new_element/3

add_new_element2/4

Block: add_new_element2(-,?,?,?)

add_new_element_wf/4

Description:
add_new_element(E,Set,NewSet) :- add_element(E,Set,NewSet). % TO DO : Improve

Block: add_new_element_wf(?,-,?,?)

all_different2/3

Block: all_different2(-,?,?)

all_different3/3

all_different_wf/2

all_disjoint/2

Block: all_disjoint(-,?)

all_disjoint_with/3

Block: all_disjoint_with(-,?,?)

all_empty_sets_wf/2

Block: all_empty_sets_wf(-,?)

all_objects_of_type/2

Block: all_objects_of_type(-,?)

all_strings_wf/2

arg_is_list/1

argument_is_list_not_set/2

basic_field_types/2

basic_type/2

blocking_equal_cons_lwf/5

Block: blocking_equal_cons_lwf(-,?,?,?,?)

both_global_sets/4

call_enumerate_int/4

Block: call_enumerate_int(-,?,?,-)

card_convert_int_to_peano/2

Block: card_convert_int_to_peano(-,-)

card_geq/2

card_geq2/3

Block: card_geq2(?,-,?)

card_geq_wf/3

Block: card_geq_wf(-,-,?)

card_greater2/3

Block: card_greater2(?,-,?)

card_greater_equal2/3

Block: card_greater_equal2(?,-,?)

cardinality3/3

Block: cardinality3(-,?,?)

cardinality_as_int/2

cardinality_as_int1/4

cardinality_as_int1b/4

Block: cardinality_as_int1b(-,-,?,?)

cardinality_as_int2/6

Block: cardinality_as_int2(-,?,-,?,?,?)

cardinality_as_int_for_inf/2

Block: cardinality_as_int_for_inf(-,?)

cardinality_as_int_for_wf/2

cardinality_as_int_for_wf0/3

Block: cardinality_as_int_for_wf0(-,?,-)

cardinality_as_int_for_wf1/3

cardinality_as_int_for_wf2/3

cardinality_as_int_wf/3

Block: cardinality_as_int_wf(-,-,?)

cardinality_greater/5

cardinality_greater_equal/5

cardinality_of_range/3

Block: cardinality_of_range(-,?,?)

cardinality_of_set_extension_list/3

cardinality_of_set_extension_list2/6

Block: cardinality_of_set_extension_list2(-,?,?,?,?,?)

cardinality_of_set_extension_list3/8

Block: cardinality_of_set_extension_list3(-,?,?,?,?,?,?,?)

cardinality_peano_wf/3

Block: cardinality_peano_wf(-,-,?)

cartesian_el_product/5

Block: cartesian_el_product(-,?,?,?,?)

cartesian_product/3

cartesian_product2/4

Block: cartesian_product2(-,?,?,?)

cartesian_product_wf/4

Block: cartesian_product_wf(-,?,?,?) cartesian_product_wf(?,-,?,?)

check_card_waitflag_less/2

check_element_of/2

check_element_of1/3

check_element_of2/3

Block: check_element_of2(-,?,?)

check_element_of4/5

Block: check_element_of4(-,?,?,?,-)

check_element_of4w/5

Block: check_element_of4w(-,?,-,?,-)

check_element_of5/4

Block: check_element_of5(?,-,?,?)

check_element_of_unbound_set/3

check_element_of_wf/3

check_element_of_wf_lwf/4

Block: check_element_of_wf_lwf(?,-,?,?)

check_finite_non_empty_subset_of_wf/3

check_finite_subset_of_wf/3

check_is_expanded_set/2

check_no_duplicates_in_list/3

Block: check_no_duplicates_in_list(-,?,?)

check_non_empty_subset_of_wf/3

check_nonzero/5

Block: check_nonzero(?,-,?,?,?)

check_not_subset_of_global_sets/2

Block: check_not_subset_of_global_sets(-,?) check_not_subset_of_global_sets(?,-)

check_strict_subset_intervals/4

check_strict_subset_intervals1/4

check_strict_subset_intervals2/4

Block: check_strict_subset_intervals2(-,?,?,?) check_strict_subset_intervals2(?,-,?,?) check_strict_subset_intervals2(?,?,-,?)

check_strict_subset_of_global_sets/2

check_subset_of/2

check_subset_of0/3

check_subset_of0_lwf/5

Block: check_subset_of0_lwf(-,?,?,-,?) check_subset_of0_lwf(-,?,?,?,-)

check_subset_of2/6

Block: check_subset_of2(-,?,?,?,-,?)

check_subset_of3/7

Block: check_subset_of3(?,-,-,?,?,-,?) check_subset_of3(?,-,?,-,?,-,?) check_subset_of3(?,-,-,-,?,?,?)

check_subset_of_global_sets/2

check_subset_of_wf/3

Block: check_subset_of_wf(-,-,?)

checked_precise_log/5

clpfd_modulo_prop/4

clpfd_modulo_prop2/4

Block: clpfd_modulo_prop2(?,?,?,-)

clpfd_off_domain/5

collect_bound_elements/4

compute_diff/4

Block: compute_diff(-,?,?,?)

compute_diff2/6

Block: compute_diff2(-,?,?,?,?,?)

conjoin_call/3

contains_any/1

contains_problematic_coroutine_for_cons/2

convert_int_to_peano/2

Block: convert_int_to_peano(-,?)

convert_int_to_peano2/2

convert_int_to_peano3/2

copy_list_skeleton/3

Block: copy_list_skeleton(-,?,?)

correct_integer_log_approximation/5

definitely_not_in_list/2

delete_element0/4

Block: delete_element0(?,-,?,?)

delete_element1/4

delete_element2/4

Block: delete_element2(-,?,?,?)

delete_element3/6

Block: delete_element3(-,?,?,?,?,?)

delete_element_wf/4

Block: delete_element_wf(?,-,?,?)

difference_set/3

difference_set1/4

Block: difference_set1(?,-,-,?) difference_set1(-,?,-,?)

difference_set_wf/4

Block: difference_set_wf(-,-,?,?)

disjoint_sets/2

disjoint_sets/3

Block: disjoint_sets(-,?,?) disjoint_sets(?,-,?)

disjoint_sets2/3

Block: disjoint_sets2(-,?,?)

division/5

Description:
clpfd_eq_expr(XDY,X/Y), % can have performance problems; could hide division by 0 !

division3/5

Block: division3(?,-,?,?,?)

do_not_delay/2

do_not_delay_arg/2

dont_expand/1

element_of_global_integer_set_wf/4

element_of_global_set/2

element_of_global_set_wf/3

element_of_global_set_wf/4

Block: element_of_global_set_wf(?,-,?,?)

enum_unbounded_clpfd_off/6

enum_warning_large/3

enumerate_any_wf/3

Block: enumerate_any_wf(-,?,?)

enumerate_basic_field_types/5

Block: enumerate_basic_field_types(?,-,?,-,?)

enumerate_basic_field_types2/7

Block: enumerate_basic_field_types2(?,-,?,?,?,?,?)

enumerate_basic_type/2

Block: enumerate_basic_type(?,-)

enumerate_basic_type/3

Block: enumerate_basic_type(?,-,-)

enumerate_basic_type4/5

enumerate_basic_type4(global(T),R,_Tight,EnumWarning,WF) :-
    enumerate_global_type_with_enum_warning(R,T,EnumWarning,WF).

enumerate_basic_type4(set(X),Set,Tight,EnumWarning,WF) :-
    enumerate_basic_type_set(Set,X,Tight,EnumWarning,WF).

enumerate_basic_type4(seq(SeqRanType),Seq,Tight,EnumWarning,WF) :-
    (Tight = tight -> enumerate_seq_type_wf(Seq,SeqRanType,EnumWarning,WF) % might trigger warning. push flag.
    ; enumerate_basic_type4(set(couple(integer,SeqRanType)),Seq,basic,EnumWarning,WF)).

enumerate_basic_type4(couple(XT,YT),(X,Y),Tight,EnumWarning,WF) :-
    enumerate_type_wf(X,XT,Tight,EnumWarning,WF),
    enumerate_type_wf(Y,YT,Tight,EnumWarning,WF).

enumerate_basic_type4(boolean,B,_Tight,_EnumWarning,_WF) :- enumerate_bool(B).

enumerate_basic_type4(real,R,_Tight,EnumWarning,WF) :- enumerate_real_wf(R,EnumWarning,WF).

enumerate_basic_type4(string,string(S),_Tight,EnumWarning,WF) :- enumerate_string_wf(S,EnumWarning,WF).

enumerate_basic_type4(constant([V]),term(V),_Tight,_EnumWarning,_WF).

enumerate_basic_type4(record(FT),rec(F),Tight,EnumWarning,WF) :-
    enumerate_basic_field_types(F,FT,Tight,EnumWarning,WF).

enumerate_basic_type4(freetype(Id),freeval(Id2,C,Value),Tight,EnumWarning,WF) :-
    (Id=Id2 -> true
    ; add_internal_error('Freetypes do not match:',enumerate_basic_type4(freetype(Id),freeval(Id2,C,Value),Tight,_,_))),
    (ground_value(freeval(Id2,C,Value)) -> true
    ; (is_recursive_freetype(Id),
    max_freetype_enum_depth(Depth)
    -> gen_enum_warning_wf(Id,0:inf,0:Depth,EnumWarning,unknown,WF)
    ; true),
    enumerate_freetype_wf(Tight,freeval(Id,C,Value),freetype(Id),WF)
).

enumerate_basic_type4(freetype_lim_depth(Id,Depth),freeval(Id2,C,Value),Tight,_EnumWarning,WF) :-
    (Id=Id2 -> true
    ; add_internal_error('Freetypes do not match:',enumerate_basic_type4(freetype_lim_depth(Id,Depth),freeval(Id2,C,Value),Tight,_,_))),
    % freetype_lim_depth is created artificially by enumerate_freetype
    enumerate_freetype_wf(Tight,freeval(Id,C,Value),freetype_lim_depth(Id,Depth),WF).

enumerate_basic_type4(integer,int(N),Tight,EnumWarning,WF) :-
    (nonvar(N)
    -> (integer(N) -> true
    ; add_internal_error('Illegal value:',enumerate_basic_type4(integer,int(N),Tight,EnumWarning,WF))
    )
    ; enumerate_int_with_span(N,EnumWarning,unknown,WF)).

enumerate_basic_type4(abort,V,Tight,EnumWarning,WF) :-
    add_internal_error(deprecated_abort_type,enumerate_basic_type4(abort,V,Tight,EnumWarning,WF)).

enumerate_basic_type4(constant,V,Tight,EnumWarning,WF) :-
    add_internal_error(deprecated_abort_type,enumerate_basic_type4(constant,V,Tight,EnumWarning,WF)).

enumerate_basic_type4(any,Obj,_Tight,EnumWarning,WF) :- enumerate_any_wf(Obj,EnumWarning,WF).

enumerate_basic_type_set/5

enumerate_basic_type_set2/8

enumerate_basic_type_set_cons/8

enumerate_basic_type_wf/3

enumerate_basic_type_wf/4

Block: enumerate_basic_type_wf(?,-,?,?)

enumerate_bool/1

enumerate_expr/4

enumerate_int/3

Description:
print(enumerate_int(X,Low,Up, RL,RU)),nl, %%

enumerate_int1/3

enumerate_int2/3

enumerate_int2_linear/3

enumerate_int_wf/5

Block: enumerate_int_wf(-,-,?,?,?)

enumerate_int_with_span/4

enumerate_kernel_args/4

enumerate_kernel_args(Var,Res,Code,_) :- var(Var),!, Res=Var, Code=true.

enumerate_kernel_args(X,Res,Code,KP_Nr) :- do_not_delay(X,KP_Nr),!, Res=X, Code=true.

enumerate_kernel_args(Arg,Arg,true,_). % just keep the argument

enumerate_kernel_args(Args,NewArg,Code,KP_Nr) :- arg_is_list(KP_Nr),!,
    % we have a list of B expressions (e.g., in partition_wf)
    (Code = '='(NewArg,Args) ; l_enumerate_kernel_args(Args,NewArg,Code,arg_is_list,1)).

enumerate_kernel_args(Arg,NewArg,Code,_) :- % delay the argument fully
    (term_is_of_type(Arg,bsets_object,no)
    -> Code = equal_object(NewArg,Arg,enumerate_kernel_args)
    ; Code = '='(NewArg,Arg)).

enumerate_kernel_args(int(X),int(XX),Code,_) :- nonvar(X), Code = '='(X,XX). % delay setting number content

enumerate_kernel_args(string(X),string(XX),Code,_) :- nonvar(X), Code = '='(X,XX). % delay setting string content

enumerate_kernel_args(term(floating(X)),term(floating(XX)),Code,_) :- nonvar(X), Code = '='(X,XX). % delay setting real number content

enumerate_kernel_args((A,B),(AA,BB),(CodeA,CodeB),KP_Nr) :-
    enumerate_kernel_args(A,AA,CodeA,KP_Nr),enumerate_kernel_args(B,BB,CodeB,KP_Nr),
    (AA,BB) \== (A,B). % avoid re-generating case 3 above (just keep argument)

enumerate_kernel_args(freeval(ID,Case,A),freeval(ID,Case,AA),CodeA,KP_Nr) :-
    enumerate_kernel_args(A,AA,CodeA,KP_Nr),
    AA \== A. % avoid re-generating case 3 above (just keep argument)

enumerate_kernel_args([H|T],[H|NewT],Code,_) :- Code = equal_object(NewT,T). % delay tail

enumerate_kernel_args([H|T],[(int(NewI),H2)|T],Code,_) :- nonvar(H), % make index (e.g. of sequence) nonvar first
    H = (II,H2), ground(II), II=int(I), \+ member((int(I),_),T), % the element is unique in domain
    Code = '='(NewI,I).

enumerate_kernel_args([H|T],[(H1,NewH2)|T],Code,_) :- nonvar(H),
    H = (H1,H2), ground(H2), \+ member((_,H2),T), % the element is unique in ragne
    Code = equal_object(NewH2,H2).

enumerate_kernel_args([H|T],Res,Code,KP_Nr) :-
    try_expand_and_convert_to_avl([H|T],AVL),
    AVL \= [H|T], enumerate_kernel_args(AVL,Res,Code,KP_Nr).

enumerate_kernel_args([H|T],Res,Code,KP_Nr) :- ground([H|T]),generate_member_closure([H|T],Closure),
    enumerate_kernel_args(Closure,Res,Code,KP_Nr).

enumerate_kernel_call/4

enumerate_natural/4

enumerate_natural/5

Block: enumerate_natural(-,?,-,?,?)

enumerate_real_wf/3

enumerate_seq/6

enumerate_seq_type/3

enumerate_seq_type_wf/4

enumerate_string_wf/3

enumerate_tight_type/2

enumerate_tight_type/3

enumerate_tight_type_wf/3

enumerate_tight_type_wf/4

Block: enumerate_tight_type_wf(?,-,?,?) enumerate_tight_type_wf(?,?,-,?)

enumerate_type/3

Block: enumerate_type(?,-,?)

enumerate_type/4

Block: enumerate_type(?,-,?,?) enumerate_type(?,?,?,-)

enumerate_type_wf/4

enumerate_type_wf/5

Block: enumerate_type_wf(?,-,?,?,?) enumerate_type_wf(?,?,?,-,?)

enumerate_value/3

enumerate_values_inside_expression/2

equal_cons/3

equal_cons1/8

equal_cons2/7

Block: equal_cons2(-,?,?,?,?,?,?)

equal_cons_closure/7

equal_cons_cons/6

equal_cons_global_set/5

Block: equal_cons_global_set(-,?,?,?,?)

equal_cons_global_set_warning/5

Block: equal_cons_global_set_warning(-,?,?,?,?)

equal_cons_interval/6

equal_cons_lwf/5

equal_cons_lwf(R,H,T,_,_) :- var(R),!,add_new_el(T,H,R).

equal_cons_lwf([HR|TR],H,T,_,WF) :- ground_value(H), %print(delete_exact(H,[HR|TR])),nl,
    try_quick_delete_exact_member([HR|TR],H,Rest), % try and see if we can find an exact member in the list
    % adds quadratic complexity if TR is a list; TODO: maybe do a sort
    !,
    %equal_object(Rest,T,equal_cons_lwf_1).
    equal_object_wf(Rest,T,equal_cons_lwf_1,WF).

equal_cons_lwf([HR|TR],H,T,LWF,WF) :- !, equal_cons_cons(HR,TR,H,T,LWF,WF).

equal_cons_lwf(avl_set(AVL),H,T,LWF,WF) :- !,
    (is_one_element_custom_set(avl_set(AVL),El)
    -> empty_set(T), % was T=[], but T could be an empty closure !
    equal_object_wf(El,H,equal_cons_lwf_2,WF)
    ; T==[] -> fail % we have a one element set and AVL is not
    ; element_can_be_added_or_removed_to_avl(H) ->
    remove_element_from_explicit_set(avl_set(AVL),H,AR),
    equal_object_wf(AR,T,equal_cons_lwf_3,WF)
    ; nonvar(T),T=[H2|T2],element_can_be_added_or_removed_to_avl(H2) ->
    remove_element_from_explicit_set(avl_set(AVL),H2,AR),
    equal_object_wf(AR,[H|T2],equal_cons_lwf_4,WF)
    % TO DO: move all such H2 to the front ??
    % Common pattern for function application patterns f(a) = 1 & f(b) = 2 & f = AVL
    % We have f = [(a,1),(b,2)|_] to be unified with an avl_set
    ; at_most_one_match_possible(H,AVL,Pairs) -> Pairs=[H2], % unification could fail if no match found
    % this optimisation is redundant wrt definitely_not_in_list optimisation below; check test 1716
    % but it has better performance for large sets, e.g., when unifying with a large sequence skeleton
    % TODO: it could be useful even if there are more than one matches??
    equal_object_wf(H,H2,WF),
    % element_can_be_added_or_removed_to_avl not checked !
    % we may need to call another predicate to remove, which only checks index
    % or at_most_one_match_possible should remove the element itself
    remove_element_from_explicit_set(avl_set(AVL),H2,AR), % print(removed_from_avl_by_equal_cons(H)),nl,
    equal_object(AR,T,equal_cons_lwf_3)
    ; expand_custom_set_wf(avl_set(AVL),ES,equal_cons_lwf,WF), % length(ES,LenES),print(expanded(LenES,T)),nl,
    % before attempting unification quickly look if lengths are compatible:
    quick_check_length_compatible(ES,[H|T]), % not really sure this is worth it: we have propagate_card in equal_cons_cons below
    %we could do the following: (nonvar(LWF),LWF=lwf_card(_,_,WF) -> quick_propagation_element_information(avl_set(AVL),H,WF,NS) ; true) % we could also do it for T, but both H/T can cause issues with free_var detection
    equal_cons_perf_message(AVL,H,T,WF),
    equal_cons_lwf(ES,H,T,LWF,WF) ).

equal_cons_lwf(C,H,T,LWF,WF) :-
    is_interval_closure_or_integerset(C,Low,Up),
    (T==[] -> true ; finite_bound(Low), finite_bound(Up)),
    !,
    equal_cons_interval(H,T,Low,Up,LWF,WF).

equal_cons_lwf(closure(P,Ty,B),H,T,LWF,WF) :- !,
    equal_cons_closure(P,Ty,B,H,T,LWF,WF).

equal_cons_lwf(freetype(ID),H,T,LWF,WF) :- !, expand_custom_set_wf(freetype(ID),ES,equal_cons_lwf,WF),
    blocking_equal_cons_lwf(ES,H,T,LWF,WF).

equal_cons_lwf(global_set(G),H,T,LWF,WF) :- equal_cons_global_set(G,H,T,LWF,WF).

equal_cons_perf_message/4

equal_cons_wf/4

equal_custom_explicit_set_cons_wf/4

equal_fields_wf/3

Block: equal_fields_wf(-,-,?)

equal_object/2

equal_object/3

equal_object3/3

Description:
equal_object3c(X,Y) :- if(equal_object3(X,Y),true,
(print_message(equal_object3_failed(X,Y)),equal_object3(X,Y),fail)). %%

equal_object_custom_explicit_set/3

equal_object_opt3/3

equal_object_optimized/2

equal_object_optimized/3

equal_object_optimized_wf/4

Block: even(-)

Block: exact_element_of2(-,?)

exact_element_of3/2

Block: exact_element_of3(-,?)

exact_member_in_skel/2

exhaustive_kernel_check/1

exhaustive_kernel_check/2

exhaustive_kernel_check4/4

exhaustive_kernel_check_opt/2

Meta: exhaustive_kernel_check_opt(-,0)

exhaustive_kernel_check_wf/2

exhaustive_kernel_check_wf/3

exhaustive_kernel_check_wf_upto/3

exhaustive_kernel_check_wfdet/2

exhaustive_kernel_fail_check/1

exhaustive_kernel_fail_check/2

exhaustive_kernel_fail_check4/4

exhaustive_kernel_fail_check_opt/2

Meta: exhaustive_kernel_fail_check_opt(-,0)

exhaustive_kernel_fail_check_wf/2

exhaustive_kernel_fail_check_wf_upto/3

exhaustive_kernel_fail_check_wfdet/2

exhaustive_kernel_fail_check_wfinit/2

exhaustive_kernel_succeed_check/1

exhaustive_kernel_succeed_check/2

fd_max/3

fd_min/3

find_non_ground_set/3

Block: finite_warning(-,?,?,?,?)

first_of_pair/2

flatten_call/2

floored_division/5

Description:
clpfd_eq_expr(XDY,X/Y), % can have performance problems; could hide division by 0 !

floored_division3/5

Block: floored_division3(?,-,?,?,?)

force_enumerate_int_wo_case_split/5

force_enumerate_with_warning/7

force_non_empty/4

Block: force_non_empty(-,?,-,-)

force_non_empty0/3

Block: force_non_empty0(-,-,-)

gen_all_subsets/2

gen_all_subsets/3

gen_enum_warning_if_large/3

gen_enum_warning_wf/6

gen_strict_subsets/3

gen_subsets/3

Block: gen_subsets(?,-,?)

gen_test_interval_closure/3

generate_member_closure/2

geq_int_peano/2

Block: geq_int_peano(-,-)

geq_int_peano1/2

Block: geq_int_peano1(-,?)

get_int_domain/5

get_integer_enumeration_wait_flag/4

get_nat_range_prio/5

Block: get_nat_range_prio(?,-,?,?,?) get_nat_range_prio(?,?,-,?,?)

get_new_lower_bound/4

get_new_upper_bound/4

get_next_element/3

get_next_index/3

get_pending_abort_error_for_info/4

get_trigger_info/2

get_trigger_info2/2

get_trigger_info_variable/2

greater_than/2

greater_than_equal/2

has_not_to_be_added/4

Block: has_not_to_be_added(?,-,?,?) has_not_to_be_added(-,?,?,?)

in_difference_set_wf/4

Block: in_difference_set_wf(-,-,-,?)

in_intersection_set_wf/4

Block: in_intersection_set_wf(-,-,-,?)

in_nat_range/3

in_nat_range_wf/4

in_union_set_wf/4

Block: in_union_set_wf(-,-,-,?)

Block: infinite_peano(-)

instantiate_lwf/2

Description:
get_cardinality_powset_wait_flag(Set,Info,WF,_,LWF).

int_minus/3

int_minus2/3

Block: int_minus2(-,-,-)

int_minus3/3

Block: int_minus3(?,-,-)

int_plus/3

int_plus2/3

Block: int_plus2(-,-,-)

int_plus3/3

int_plus4/3

Block: int_plus4(?,-,-)

int_power/5

int_power1/5

Block: int_power1(-,?,?,?,?)

int_power2/5

Block: int_power2(-,-,?,?,?) int_power2(?,-,-,?,?)

int_power_clpfd_propagation/3

Block: int_power_clpfd_propagation(-,-,-)

int_square/3

Block: int_square(-,-,?)

int_square2/3

Block: int_square2(-,?,-)

int_times2/3

Block: int_times2(-,-,-)

int_times3/3

Block: int_times3(?,-,-)

int_times4/3

Block: int_times4(-,-,?)

integer_global_set/1

Description:
:- ensure_loaded(kernel_equality).

integer_log/3

integer_square_root/2

intersection/3

intersection/4

Block: intersection(-,-,-,?)

intersection0/4

Block: intersection0(-,?,?,?) intersection0(?,-,?,?)

intersection1/4

intersection2/4

intersection3/4

Block: intersection3(-,?,?,?)

intersection4/6

Block: intersection4(-,?,?,?,?,?)

intersection_generalized2/4

intersection_generalized3/4

Block: intersection_generalized3(-,?,?,?)

intersection_generalized_wf/4

Block: intersection_generalized_wf(-,?,?,?)

intersection_pair/5

Block: intersection_pair(-,?,?,?,?)

interval_subset/4

interval_subset_aux/4

Block: interval_subset_aux(-,?,?,?) interval_subset_aux(?,-,?,?)

is_cartesian_pair_wf/4

is_definitely_finite/1

is_finite_set_wf/2

is_global_set/2

is_implementable_int/2

is_implementable_nat/2

is_implementable_nat1/2

is_infinite_set_wf/2

is_integer/2

is_marked_to_be_computed/1

is_natural/2

is_natural1/2

is_not_implementable_int/1

is_not_implementable_nat/1

is_not_implementable_nat1/1

is_not_integer/1

Block: is_not_integer(-)

is_unbound_list_skeleton/2

is_unbound_ordered_list_skeleton/2

is_unbound_ordered_list_skeleton/3

is_unbound_ordered_list_skeleton3/3

is_unbound_ordered_list_skeleton5/5

is_wdguarded_result_variable/1

is_wdguarded_result_variable_aux/2

kernel_objects_reset/0

kernel_objects_startup/0

l_enumerate_kernel_args/5

l_enumerate_values_inside_expression/2

Block: l_enumerate_values_inside_expression(-,?)

label/3

lazy_check_element_of_aux/3

lazy_check_element_of_list/4

Block: lazy_check_element_of_list(-,?,?,?)

lazy_check_subset_of/3

Block: lazy_check_subset_of(-,?,?) lazy_check_subset_of(?,-,?)

lazy_check_subset_of2/3

Block: lazy_check_subset_of2(-,?,?)

lazy_ordered_value/2

Block: lazy_ordered_value(-,?)

lazy_try_check_element_of/3

Block: lazy_try_check_element_of(?,-,?)

less_than/2

less_than_direct/2

less_than_equal/2

less_than_equal_direct/2

mark_as_non_free_fields/1

Block: mark_as_non_free_fields(-)

mark_as_to_be_computed/1

Block: mark_as_to_be_computed(-)

marked_aux/2

max_cardinality/2

max_cardinality_string/1

max_cardinality_with_check/2

maximum/3

Block: maximum(-,?,?) maximum(?,-,?)

maximum_of_set/4

Block: maximum_of_set(-,?,?,?)

maximum_of_set2/4

Block: maximum_of_set2(-,?,?,?)

maximum_of_set3/4

Block: maximum_of_set3(-,?,?,?)

maximum_of_set_extension_list/4

Block: maximum_of_set_extension_list(-,?,?,?)

minimum/3

Block: minimum(-,?,?) minimum(?,-,?)

minimum_of_set/4

Block: minimum_of_set(-,?,?,?)

minimum_of_set2/4

Block: minimum_of_set2(-,?,?,?)

minimum_of_set3/4

Block: minimum_of_set3(-,?,?,?)

minimum_of_set_extension_list/4

Block: minimum_of_set_extension_list(-,?,?,?)

modulo/5

Description:
clpfd_eq(Modulo,X mod Y), % can have performance problems; could hide division by 0 !

modulo2/5

Block: modulo2(-,?,?,?,?) modulo2(?,-,?,?,?)

narrow_down_interval/6

neq_cons2/4

Block: neq_cons2(-,?,?,?)

neq_cons_wf/4

Block: neq_cons_wf(-,?,?,?)

non_empty_power_set/2

Block: non_empty_power_set(-,?)

non_free/1

Block: non_free(-)

not_both_subset_of/5

not_both_subset_of_aux/4

Block: not_both_subset_of_aux(-,?,?,?)

not_check_strict_subset_intervals2/4

Block: not_check_strict_subset_intervals2(-,?,?,?) not_check_strict_subset_intervals2(?,-,?,?) not_check_strict_subset_intervals2(?,?,-,?)

not_disjoint3/4

Block: not_disjoint3(-,?,?,?)

not_disjoint_sets/3

Block: not_disjoint_sets(-,?,?) not_disjoint_sets(?,-,?)

not_disjoint_sets2/3

Block: not_disjoint_sets2(-,?,?)

not_element_of/2

not_element_of_global_set/2

not_element_of_global_set2/2

not_element_of_wf/3

Block: not_element_of_wf(-,-,?)

not_element_of_wf1/3

Block: not_element_of_wf1(-,?,?)

not_empty_set/1

not_empty_set2/2

Block: not_empty_set2(-,?)

not_empty_set_lwf/2

Block: not_empty_set_lwf(-,-)

not_empty_set_wf/2

not_equal_couple4/6

Block: not_equal_couple4(-,?,?,-,?,?)

not_equal_couple5/4

not_equal_couple_wf/5

Block: not_equal_couple_wf(-,?,-,?,?) not_equal_couple_wf(?,-,?,-,?) not_equal_couple_wf(?,-,-,?,?) not_equal_couple_wf(-,?,?,-,?)

not_equal_couple_wf_aux/5

not_equal_explicit_set_expand/3

not_equal_explicit_set_wf/3

Block: not_equal_explicit_set_wf(?,-,?)

not_equal_fields_wf/3

Block: not_equal_fields_wf(-,-,?)

not_equal_freeval_wf/5

not_equal_object/2

not_equal_object0/2

not_equal_object2_wf/3

not_equal_object3/3

Block: not_equal_object3(?,-,?)

not_equal_object3_block/3

Block: not_equal_object3_block(-,?,?)

not_equal_object_sets2/5

Block: not_equal_object_sets2(-,?,?,?,?) not_equal_object_sets2(?,?,-,?,?)

not_equal_object_sets_wf/3

Block: not_equal_object_sets_wf(-,?,?) not_equal_object_sets_wf(?,-,?)

not_equal_object_wf/3

Description:
END OF CHECKING CODE

not_equal_object_wf0/3

not_equal_object_wf1/3

not_equal_term_wf/3

Block: not_equal_term_wf(-,-,?)

not_finite_subset_of_wf/3

Block: not_finite_subset_of_wf(-,?,?)

not_finite_subset_of_wf_aux/4

Block: not_finite_subset_of_wf_aux(-,?,?,?)

not_in_difference_set_wf/4

Block: not_in_difference_set_wf(-,-,-,?)

not_in_intersection_set_wf/4

Block: not_in_intersection_set_wf(-,-,-,?)

not_in_nat_range/3

not_in_nat_range_wf/4

not_in_union_set_wf/4

Block: not_in_union_set_wf(-,-,-,?)

not_interval_subset/4

not_interval_subset_block/4

Block: not_interval_subset_block(-,?,?,?) not_interval_subset_block(?,-,?,?) not_interval_subset_block(?,?,-,?) not_interval_subset_block(?,?,?,-)

not_is_cartesian_pair/4

not_is_cartesian_pair0/5

Block: not_is_cartesian_pair0(-,-,?,?,?)

not_is_cartesian_pair1/5

not_is_cartesian_pair3/7

Block: not_is_cartesian_pair3(-,?,?,-,?,?,?)

not_non_empty_finite_subset_of_aux/4

Block: not_non_empty_finite_subset_of_aux(-,?,?,?)

not_non_empty_finite_subset_of_wf/3

Block: not_non_empty_finite_subset_of_wf(-,?,?)

not_non_empty_subset_of_wf/3

Block: not_non_empty_subset_of_wf(-,?,?)

not_partition_wf/3

not_strict_eq_check/2

Meta: not_strict_eq_check(-,0)

Block: not_strict_eq_check(-,?)

not_strict_subset_intervals/4

Block: not_strict_subset_intervals(?,?,-,?) not_strict_subset_intervals(?,?,?,-)

not_strict_subset_of/2

Description:

not_strict_subset_of2/4

Block: not_strict_subset_of2(-,?,?,?)

not_strict_subset_of3/6

Block: not_strict_subset_of3(-,?,?,?,?,?)

not_strict_subset_of_global_sets/2

Block: not_strict_subset_of_global_sets(-,?) not_strict_subset_of_global_sets(?,-)

not_strict_subset_of_wf/3

Block: not_strict_subset_of_wf(-,?,?) not_strict_subset_of_wf(?,-,?)

not_strict_subset_of_wf1/3

not_subset_interval_gs_aux/3

not_subset_of/2

not_subset_of2/3

Block: not_subset_of2(-,?,?)

not_subset_of3/4

Block: not_subset_of3(-,?,?,?)

not_subset_of_wf/3

Block: not_subset_of_wf(-,?,?)

not_subset_of_wf1/3

number_geq/2

Block: number_geq(-,?)

number_leq/2

Block: number_leq(-,?)

Block: odd(-)

partition_disj_union_wf/3

partition_wf/3

Block: partition_wf(?,-,?)

Description:

Block: power_set(-,?)

print_enum_warning/8

print_enum_warning_large/4

print_equal_cons_warning/6

print_finite_warning/6

print_pending_abort_error/1

print_throwing/2

print_throwing_wf/4

print_trigger_var/1

print_trigger_var_info/1

print_wf_context/1

project_on_range/2

Block: project_on_range(-,?)

prop_01/2

Block: prop_01(-,-)

prop_empty_set/2

Block: prop_empty_set(-,?)

prop_if_pred_true/3

Block: prop_if_pred_true(-,?,?)

prop_non_empty/3

Block: prop_non_empty(-,-,?)

propagate_card/3

Block: propagate_card(-,-,-)

propagate_card2/3

propagate_empty_set_to_pred_false/2

Block: propagate_empty_set_to_pred_false(-,-)

propagate_in_interval/4

Block: propagate_in_interval(-,?,?,?)

propagate_intersection/4

Block: propagate_intersection(?,?,-,?)

propagate_intersection_aux/5

Block: propagate_intersection_aux(-,-,-,?,?)

propagate_into2/4

Block: propagate_into2(-,?,?,?)

propagate_partition_true/4

Block: propagate_partition_true(?,?,-,?)

quick_check_length_compatible/2

real_global_set/1

remove_element_wf/4

remove_element_wf/5

Block: remove_element_wf(?,-,-,?,?)

remove_element_wf1/5

Description:
nl,print(remove_element_wf1(X,Set,ESet,Res,WF,DONE)),nl,nl, %%

Block: remove_element_wf1(?,-,?,?,?)

remove_element_wf2/5

Block: remove_element_wf2(?,-,?,?,?)

remove_element_wf3/7

Block: remove_element_wf3(-,?,?,?,?,-,?)

remove_element_wf_if_not_infinite_or_closure/6

Block: remove_element_wf_if_not_infinite_or_closure(?,-,?,?,?,?)

remove_exact_first_element/3

Block: remove_exact_first_element(?,-,?)

remove_exact_first_element1/3

remove_index/3

remove_index_ground/3

remove_minimal_elements/3

safe_int_power/5

safe_int_power0/5

safe_int_power_clpfd2/5

safe_less_than/2

Block: safe_less_than(-,?) safe_less_than(?,-)

safe_less_than_equal/2

safe_less_than_equal/3

Block: safe_less_than_equal(?,-,?) safe_less_than_equal(?,?,-)

safe_less_than_equal_with_inf/2

safe_less_than_equal_with_inf_clpfd/2

safe_less_than_with_inf/2

safe_less_than_with_inf_clpfd/2

same_card_aux/3

same_card_prop/2

Block: same_card_prop(-,?) same_card_prop(?,-)

same_cardinality_wf/3

Block: same_cardinality_wf(-,-,?)

sample_closure/1

second_of_pair/2

set_finite_result/4

Block: set_finite_result(-,?,?,?)

set_finite_result_no_warn/2

Block: set_finite_result_no_warn(-,?)

setup_list_skel_aux/4

setup_ordered_list_skeleton/4

singleton_set_element/4

Description:
-------------------------------------------------------

Block: singleton_set_element(-,?,?,?)

singleton_set_element1/5

Block: singleton_set_element1(-,?,?,?,?)

singleton_set_element2/5

Block: singleton_set_element2(-,?,?,?,?)

singleton_set_element_wd/4

Block: singleton_set_element_wd(-,-,?,?)

Description:
try_prop_card_lt(ESet1,ESet2), try_prop_card_gt(ESet2,ESet1),

strict_subset_of2/5

Block: strict_subset_of2(-,?,?,?,-)

strict_subset_of_aux_block/4

strict_subset_of_wf/3

strict_subset_of_wf_aux/3

string_global_set/1

swap_set/2

test_finite_cartesian_product_wf/6

Block: test_finite_cartesian_product_wf(-,?,?,?,?,?) test_finite_cartesian_product_wf(?,-,?,?,?,?)

test_finite_closure/5

test_finite_closure_ground/5

test_finite_closure_ground(P,T,B,X,WF) :-
    is_powerset_closure(closure(P,T,B),_Type,Subset),
    % note: whether Type is fin, fin1, pow, or pow1 does not matter
    !,
    test_finite_set_wf(Subset,X,WF).

test_finite_closure_ground(P,T,B,X,WF) :-
    custom_explicit_sets:is_lambda_value_domain_closure(P,T,B, Subset,_Expr), !,
    test_finite_set_wf(Subset,X,WF).

test_finite_closure_ground(P,T,B,X,WF) :-
    custom_explicit_sets:is_cartesian_product_closure(closure(P,T,B), A1,B2), !,
    test_finite_set_wf(A1,AX,WF),
    test_finite_set_wf(B2,BX,WF),
    test_finite_cartesian_product_wf(AX,BX,A1,B2,X,WF).

test_finite_closure_ground(Par,Typ,Body, X,_WF) :-
    custom_explicit_sets:is_geq_leq_interval_closure(Par,Typ,Body,Low,Up), !,
    custom_explicit_sets:card_of_interval_inf(Low,Up,Card),
    set_finite_result_no_warn(Card,X).

test_finite_closure_ground(P,T,B,X,WF) :-
    custom_explicit_sets:is_member_closure(P,T,B,_,SET), nonvar(SET),
    unary_member_closure_for_finite(SET,Check,SET1),
    !,
    (Check==finite -> test_finite_set_wf(SET1,X,WF)
    ; kernel_equality:empty_set_test_wf(SET1,X,WF)).

test_finite_closure_ground(P,T,B,X,_WF) :-
    custom_explicit_sets:card_for_specific_closure(closure(P,T,B),ClosureKind,Card,Code),!,
    call(Code), % TO DO: catch if we convert large integer due to overflow to inf !
    % maybe we can set / transmit a flag for is_overflowcheck ? overflow_float_pown ? factorial ?
    set_finite_result(Card,closure(P,T,B),ClosureKind,X).

test_finite_closure_ground(P,T,B,X,WF) :-
    on_enumeration_warning(expand_only_custom_closure_global(closure(P,T,B),Result,check,WF),fail),
    !,
    test_finite_set_wf(Result,X,WF).

test_finite_closure_ground(P,T,B,X,WF) :- X==pred_true, !,
    get_enumeration_finished_wait_flag(WF,AWF), % only add warning if indeed we find a solution
    finite_warning(AWF,P,T,B,is_finite_set_closure(P)).

test_finite_closure_ground(P,T,B,_X,_WF) :- !,
    finite_warning(now,P,T,B,test_finite_closure(P)),
    fail. % now we fail; used to be X=pred_true. % we assume set to be finite, but print a warning

test_finite_disj2/6

test_finite_set_wf/3

Description:
test_finite_set_wf(+Set,?X,+WF)

Block: test_finite_set_wf(-,?,?)

test_in_nat_range_no_clpfd/5

Block: test_in_nat_range_no_clpfd(-,?,?,-,?) test_in_nat_range_no_clpfd(?,-,?,-,?) test_in_nat_range_no_clpfd(?,?,-,-,?)

test_in_nat_range_wf/5

Block: test_in_nat_range_wf(-,-,?,-,?) test_in_nat_range_wf(-,?,-,-,?) test_in_nat_range_wf(?,-,-,-,?)

test_partition_wf/4

Block: test_partition_wf(?,-,?,?)

test_partition_wf2/6

Block: test_partition_wf2(-,?,?,?,?,?)

test_partition_wf3/8

Block: test_partition_wf3(-,?,?,?,?,?,?,?)

test_partition_wf4/10

Block: test_partition_wf4(-,?,?,?,?,?,?,?,?,?)

times/3

top_level_dif/2

Block: top_level_dif(-,?) top_level_dif(?,-)

treat_arg_symbolically/1

try_expand_and_convert_to_avl_unless_large_or_closure_wf/3

try_quick_delete_exact_member/3

try_quick_delete_exact_member/4

two_vars_or_more/3

unary_member_closure_for_finite/3

unary_minus2/2

Block: unary_minus2(-,-)

unary_minus_wf/3

unbound_basic_residue/3

unbound_ord_residue_aux/6

unbound_ord_residue_m/7

unbound_ordered_tail/2

unbound_ordered_tail_aux/3

Description:
difference with just_cardinality_constraints

unbound_variable_check/1

unbound_variable_for_card/1

unbound_variable_for_cons/1

unbound_variable_for_element_of/1

unbound_variable_or_ordered/5

union/3

union0/4

Block: union0(-,-,?,?) union0(-,?,-,?) union0(?,-,-,?)

union0_to_singleton_set/4

union1/4

union1e/4

union2/4

Block: union2(-,?,?,?)

union3/5

union4/5

Block: union4(-,?,?,?,?)

union_generalized/2

union_generalized2/4

Block: union_generalized2(-,?,?,?)

union_generalized_wf/3

Block: union_generalized_wf(-,-,?)

union_generalized_wf2/3

Block: union_generalized_wf2(-,?,?)

union_wf/4

Block: union_wf(-,-,-,?)

Block: warn_aux(-,?,?,?,?,?)

warn_if_duplicates_in_list/3

warn_if_duplicates_in_list/4

Block: warn_if_duplicates_in_list(-,?,?,?)

will_throw_enum_warning/1

Determinacy Checker

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_flag,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(plspec_patch_libraries,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_flag,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(no_terminal_colors,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_release,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_enter_debugger_upon_error,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_use_timer,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_release,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_avl_custom,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_myheap,false)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(disable_chr,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_77217,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pathes_lib.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_46943,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_39989,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(debug) does not exist
! goal: absolute_file_name(probsrc(debug),_38325,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_158681,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(no_wd_checking,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_164379,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/typing_tools.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_159537,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_freetypes.pl')])
! 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),_158969,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/clpfd_interface.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_171773,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_records.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file prob_rewrite_rules(b_ast_cleanup_rewrite_rules) does not exist
! goal: absolute_file_name(prob_rewrite_rules(b_ast_cleanup_rewrite_rules),_171485,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_ast_cleanup.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_214851,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pragmas.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_216231,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(b_state_model_check) does not exist
! goal: absolute_file_name(probsrc(b_state_model_check),_216853,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_read_write_info.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_229107,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/state_space.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(external_functions_reals) does not exist
! goal: absolute_file_name(extrasrc(external_functions_reals),_228343,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extrasrc(external_functions_svg) does not exist
! goal: absolute_file_name(extrasrc(external_functions_svg),_228343,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in user:check_arithmetic_function/1
! procedure user:check_arithmetic_function/1 does not exist
! goal: user:check_arithmetic_function(log(2,4))
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_228965,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_z.pl')])
! Existence error in user:exists_source/1
! procedure user:exists_source/1 does not exist
! goal: user:exists_source(library(atts))
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_229959,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_strings.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_freetypes) does not exist
! goal: absolute_file_name(probsrc(kernel_freetypes),_223697,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_214851,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
! Existence error in user:exists_source/1
! procedure user:exists_source/1 does not exist
! goal: user:exists_source(library(logarr))
! Existence error in argument 1 of absolute_file_name/3
! file probcspsrc(haskell_csp) does not exist
! goal: absolute_file_name(probcspsrc(haskell_csp),_217425,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xtl_interface.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_211717,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_eventb.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_211429,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_machine_hierarchy.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_181031,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_174627,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/parsercall.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bmachine_eventb) does not exist
! goal: absolute_file_name(probsrc(bmachine_eventb),_164659,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/btypechecker.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(closures) does not exist
! goal: absolute_file_name(probsrc(closures),_164659,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/memoization.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_use_timer,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_158681,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_compiler.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_watch_flag,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_reals) does not exist
! goal: absolute_file_name(probsrc(kernel_reals),_164947,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter_check.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_159253,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_equality.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(no_wd_checking,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_data_validation_mode,xxxtrue)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_data_validation_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bsyntaxtree) does not exist
! goal: absolute_file_name(probsrc(bsyntaxtree),_133537,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/custom_explicit_sets.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_lists) does not exist
! goal: absolute_file_name(probsrc(tools_lists),_129405,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_tools.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_debug_watch_flag,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_129551,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/runtime_profiler.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_127407,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/delay.pl')])
! Existence error in user:exists_source/1
! procedure user:exists_source/1 does not exist
! goal: user:exists_source(library(atts))
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(avl_tools) does not exist
! goal: absolute_file_name(probsrc(avl_tools),_110641,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsets_clp.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_110641,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_reals.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_104241,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_104387,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/succeed_max.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_104387,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/value_persistance.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(btypechecker) does not exist
! goal: absolute_file_name(probsrc(btypechecker),_92161,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/specfile.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(gensym) does not exist
! goal: absolute_file_name(probsrc(gensym),_72125,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/translate.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_43143,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsyntaxtree.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('random_permutations/random_permutations') does not exist
! goal: absolute_file_name(extension('random_permutations/random_permutations'),_45291,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/fd_utils_clpfd.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_43289,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/partition_detection.pl')])
* Non-determinate: kernel_objects:enumerate_kernel_call/4 (clause 3)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: kernel_objects:permute_code/2 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: kernel_objects:enumerate_kernel_args/4 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: kernel_objects:enumerate_kernel_args/4 (clause 4)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: kernel_objects:enumerate_kernel_args/4 (clause 5)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: kernel_objects:enumerate_kernel_args/4 (clause 11)
* Indexing cannot distinguish this from clause 12.
* Non-determinate: kernel_objects:enumerate_kernel_args/4 (clause 12)
* Indexing cannot distinguish this from clause 13.
* Non-determinate: kernel_objects:enumerate_kernel_args/4 (clause 13)
* Indexing cannot distinguish this from clause 14.
* Non-determinate: kernel_objects:enumerate_kernel_args/4 (clause 14)
* Indexing cannot distinguish this from clause 15.
* Non-determinate: kernel_objects:do_not_delay_arg/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: kernel_objects:enumerate_bool/1 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: kernel_objects:enumerate_string_wf/3 (clause 2)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: kernel_objects:enumerate_real_wf/3 (clause 2)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: kernel_objects:is_wdguarded_result_variable_aux/2 (clause 2)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: kernel_objects:enum_unbounded_clp/6 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: kernel_objects:enum_unbounded_clp/6 (clause 2)
* This clause contains a disjunction not forced to be deterministic.
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_objects.pl')])

Name: add_element2_wf/5	Module: kernel_objects
Name: expand_custom_set_to_list_wf/5	Module: foo_error
Name: =/2
Name: equal_object_wf/4	Module: kernel_objects
Name: !
Name: add_element_to_explicit_set_wf/4	Module: foo_error
Name: is_custom_explicit_set_nonvar/1	Module: foo_error
Name: nonvar/1
Name: ==/2
Name: add_element_var/5	Module: kernel_objects
Name: var/1

Name: add_element3_wf/5	Module: kernel_objects
Name: copy_list_skeleton/3	Module: kernel_objects
Name: =/2
Name: !
Name: construct_avl_from_lists_wf/3	Module: foo_error
Name: should_be_converted_to_avl/1	Module: foo_error
Name: var/1

Name: add_element1_wf/5	Module: kernel_objects
Name: add_element_var/5	Module: kernel_objects

Name: add_element4_wf/6	Module: kernel_objects
Name: true
Name: has_not_to_be_added/4	Module: kernel_objects
Name: var/1
Name: ->/3
Name: equal_cons_wf/4	Module: kernel_objects
Name: equality_objects_wf/4	Module: foo_error
Name: =/2

Name: add_element4_wf/6	Module: kernel_objects
Name: add_element2_wf/5	Module: kernel_objects

Name: union3/5	Module: kernel_objects
Name: add_element/4	Module: kernel_objects
Name: add_element_wf/4	Module: kernel_objects

Name: add_fd_variable_for_labeling/2	Module: foo_error
Name: !
Name: var/1
Name: nonvar/1

Name: RECURSIVE_CALL/3	Module: kernel_objects
Name: expand_custom_set_to_list/4	Module: foo_error
Name: =/2
Name: !
Name: add_element_to_explicit_set_wf/4	Module: foo_error
Name: is_custom_explicit_set_nonvar/1	Module: foo_error
Name: nonvar/1
Name: var/1

Name: ground_wait_flags/1	Module: foo_error
Name: add_new_element_wf/4	Module: kernel_objects
Name: init_wait_flags/1	Module: foo_error

Name: collect_bound_elements/4	Module: kernel_objects
Name: enumerate_basic_type_set_cons/8	Module: kernel_objects

Name: add_new_element2/4	Module: kernel_objects
Name: expand_custom_set_to_list_wf/5	Module: foo_error
Name: equal_object_wf/4	Module: kernel_objects
Name: !
Name: add_element_to_explicit_set_wf/4	Module: foo_error
Name: is_custom_explicit_set/2	Module: foo_error

Name: check_subset_of3/7	Module: kernel_objects
Name: strict_subset_of2/5	Module: kernel_objects
Name: add_new_element/3	Module: kernel_objects
Name: check_and_add_new_element/4	Module: kernel_cardinality_attr
Name: cardinality_as_int2/6	Module: kernel_objects
Name: check_no_duplicates_in_list/3	Module: kernel_objects
Name: warn_aux/6	Module: kernel_objects

Name: disjoint_sets/3	Module: kernel_objects
Name: is_custom_explicit_set/1	Module: foo_error
Name: RECURSIVE_CALL/3	Module: kernel_objects
Name: all_different3/3	Module: kernel_objects
Name: !

Name: fail
Name: add_internal_error/2	Module: foo_error
Name: RECURSIVE_CALL/2	Module: kernel_objects
Name: all_disjoint_with/3	Module: kernel_objects
Name: !

Name: union_generalized_wf/3	Module: kernel_objects
Name: union_generalized2/4	Module: kernel_objects

Name: basic_field_types/2	Module: kernel_objects
Name: =/2
Name: !
Name: global_type/2	Module: foo_error

Name: basic_field_types/2	Module: kernel_objects
Name: is_a_freetype_wf2/3	Module: kernel_freetypes
Name: add_typed_var_to_localstate/5	Module: b_interpreter
Name: b_check_variable_types/2	Module: b_state_model_check
Name: b_type_value_in_store/3	Module: b_enumerate

Name: equal_cons_interval/6	Module: kernel_objects
Name: equal_cons_lwf/5	Module: kernel_objects
Name: equal_cons_closure/7	Module: kernel_objects

Name: convert_int_to_peano/2	Module: kernel_objects
Name: add_message/2	Module: foo_error
Name: infinite_peano/1	Module: kernel_objects
Name: !
Name: RECURSIVE_CALL/2	Module: kernel_objects
Name: greater_than_equal/2	Module: kernel_objects
Name: int_plus/3	Module: kernel_objects
Name: =/2
Name: ==/2
Name: ->/3
Name: peel_s/3	Module: kernel_objects
Name: var/1

Name: card_geq_wf/3	Module: kernel_objects
Name: RECURSIVE_CALL/3	Module: kernel_objects
Name: =/2
Name: !
Name: var/1
Name: ==/2

Name: card_geq2/3	Module: kernel_objects
Name: geq_int_peano/2	Module: kernel_objects
Name: explicit_set_cardinality_wf/3	Module: foo_error
Name: is_custom_explicit_set/2	Module: foo_error
Name: nonvar/1
Name: ->/3

Name: card_geq/2	Module: kernel_objects
Name: card_greater_equal2/3	Module: kernel_objects
Name: card_geq2/3	Module: kernel_objects

Name: cardinality_greater_equal/5	Module: kernel_objects
Name: card_greater2/3	Module: kernel_objects

Name: cardinality_peano_wf/3	Module: kernel_objects
Name: RECURSIVE_CALL/3	Module: kernel_objects
Name: =/2
Name: ->/3
Name: !
Name: var/1

Name: cardinality_peano_wf/3	Module: kernel_objects
Name: same_card_aux/3	Module: kernel_objects

prob_prolog/src/kernel_objects.pl

Modules

Predicates of kernel_objects

Module Information

6166 Lines

567 Predicates

Imported Modules: terms self_check debug tools_printing tools typechecker error_manager b_global_sets kernel_waitflags lists clpfd fd_utils_clpfd kernel_freetypes kernel_card_arithmetic custom_explicit_sets typechecker clpfd_interface bool_pred kernel_equality

171 Exports

58 specified Imports

Predicates:

Name: get_field_cardinality/2	Module: custom_explicit_sets
Name: compute_cardinality/3	Module: coverage_statistics

Name: true
Name: force_non_empty0/3	Module: kernel_objects
Name: get_wait_flag/4	Module: foo_error
Name: =/2
Name: setup_ordered_list_skeleton/4	Module: kernel_objects
Name: unbound_variable_for_card/1	Module: kernel_objects
Name: >/2
Name: number/1
Name: clpfd_domain/3	Module: foo_error
Name: ->/3
Name: var/1
Name: cardinality_as_int1b/4	Module: kernel_objects

Name: RECURSIVE_CALL/6	Module: kernel_objects
Name: force_non_empty/4	Module: kernel_objects
Name: clpfd_geq/3	Module: foo_error
Name: safe_less_than_equal/3	Module: kernel_objects
Name: ground/1
Name: ->/3
Name: add_new_element_wf/4	Module: kernel_objects
Name: not_element_of_wf/3	Module: kernel_objects
Name: is/2
Name: =/2
Name: add_error_fail/3	Module: foo_error
Name: disjoint_sets/3	Module: kernel_objects
Name: blocking_add_card/3	Module: foo_error
Name: explicit_set_cardinality_wf/3	Module: foo_error
Name: is_custom_explicit_set/1	Module: foo_error
Name: !
Name: \=/2
Name: nonvar/1
Name: empty_set_wf/2	Module: kernel_objects
Name: ==/2

Name: get_cardinality_powset_wait_flag/5	Module: kernel_equality
Name: get_cardinality_wait_flag/5	Module: kernel_equality
Name: get_cardinality_relation_over_wait_flag/6	Module: kernel_equality

Name: cardinality_as_int_for_wf2/3	Module: kernel_objects
Name: cardinality_as_int_for_inf/2	Module: kernel_objects
Name: ==/2
Name: ->/3
Name: cardinality_as_int_for_wf1/3	Module: kernel_objects
Name: nonvar/1

Name: cardinality_of_set_extension_list2/6	Module: kernel_objects
Name: less_than_equal_direct/2	Module: kernel_objects
Name: length/2

Name: cardinality_of_range/3	Module: kernel_objects
Name: b_compute_card2/8	Module: b_interpreter

Name: cardinality_of_set_extension_list3/8	Module: kernel_objects
Name: true
Name: prop_if_pred_true/3	Module: kernel_objects
Name: equality_int/3	Module: kernel_equality
Name: var/1
Name: ->/3
Name: =/2
Name: ==/2
Name: membership_test_wf/4	Module: foo_error

Name: cardinality3/3	Module: kernel_objects
Name: card_convert_int_to_peano/2	Module: kernel_objects
Name: explicit_set_cardinality_wf/3	Module: foo_error
Name: is_custom_explicit_set/2	Module: foo_error
Name: nonvar/1
Name: ->/3

Name: RECURSIVE_CALL/5	Module: kernel_objects
Name: equal_object_wf/4	Module: kernel_objects
Name: equal_object_optimized_wf/4	Module: kernel_objects