Dynamic Predicates: silent/0 register_abort_errors_in_error_scope/0 pending_inner_abort_error/5

1924 Lines

200 Predicates

Imported Modules: error_manager self_check typechecker tools avl atts

94 Exports

34 specified Imports

Imports	Exports
Name: fd_size/2 Module: clpfd Name: fd_degree/2 Module: clpfd Name: in/2 Module: clpfd Name: exists_source/1 Module: tools_portability Name: preference/2 Module: preferences Name: get_preference/2 Module: preferences Name: debug_format/3 Module: debug Name: module_info/2 Module: module_information Name: is_list/1 Module: lists Name: delete/3 Module: lists Name: last/2 Module: lists Name: format_with_colour_nl/4 Module: tools_printing Name: register_event_listener/3 Module: eventhandling Name: maplist/2 Module: lists Name: random_select/3 Module: random Name: is_inf_or_overflow_card/1 Module: kernel_card_arithmetic Name: clpfd_in_domain/1 Module: clpfd_interface Name: clpfd_labeling/2 Module: clpfd_interface Name: reverse/2 Module: lists Name: clpfd_size/2 Module: clpfd_interface Name: print_term_summary/1 Module: tools_printing Name: ord_member/2 Module: ordsets Name: ord_add_element/3 Module: ordsets Name: ord_update_nonvar/4 Module: tools_lists Name: ord_member_nonvar_chk/2 Module: tools_lists Name: translate_call_stack/2 Module: translate Name: select/3 Module: lists Name: max_tagged_integer/1 Module: tools_platform Name: max_tagged_pow2/1 Module: tools_platform Name: debug_mode/1 Module: debug Name: add_new_event_in_error_scope/1 Module: error_manager Name: store_abort_error_for_context_state_if_possible/4 Module: state_space Name: register_event_listener/3 Module: eventhandling Name: get_texpr_ids/2 Module: bsyntaxtree	Name: init_wait_flags/1 Name: init_wait_flags/2 Name: waitflag0_is_set/1 Name: get_wait_flag_infos/2 Name: get_wait_flag_info/2 Name: is_wait_flag_info/2 Name: add_wait_flag_info/3 Name: portray_wait_flag_infos/1 Name: push_wait_flag_call_stack_info/3 Name: opt_push_wait_flag_call_stack_info/3 Name: debug_opt_push_wait_flag_call_stack_info/3 Name: opt_push_wait_flag_call_stack_quantifier_info/6 Name: copy_wait_flag_call_stack_info/3 Name: init_quantifier_wait_flag/6 Name: init_wait_flags_and_push_call_stack/3 Name: init_wait_flags_with_call_stack/2 Name: add_call_stack_to_span/3 Name: add_error_wf/5 Name: add_warning_wf/5 Name: add_message_wf/5 Name: add_internal_error_wf/5 Name: add_state_error_wf/5 Name: portray_call_stack/1 Name: get_call_stack/2 Name: get_wait_flag/3 Name: get_wait_flag/4 Name: get_bounded_wait_flag/4 Name: get_bounded_priority/2 Name: block_get_wait_flag/4 Name: get_wait_flag0/2 Name: get_wait_flag1/2 Name: get_wait_flag1/3 Name: get_last_wait_flag/3 Name: get_idle_wait_flag/3 Name: get_binary_choice_wait_flag/3 Name: get_pow2_binary_choice_priority/2 Name: get_binary_choice_wait_flag_exp_backoff/3 Name: get_binary_choice_wait_flag_exp_backoff/4 Name: add_fd_variable_for_labeling/3 Name: add_fd_variable_for_labeling/2 Name: add_fd_variables_for_labeling/2 Name: get_new_subsidiary_wait_flag/4 Name: update_waitflag/4 Name: ground_constraintprop_wait_flags/1 Name: check_is_wait_flag/1 Name: no_pending_waitflags/1 Name: create_inner_wait_flags/3 Name: copy_wf01e_wait_flags/2 Name: copy_wfe_from_inner_if_necessary/2 Name: copy_wf_start/3 Name: copy_wf_finish/2 Name: copy_waitflag_store/2 Name: clone_wait_flags_from1/3 Name: clone_wait_flags_from1_finish/3 Name: ground_wait_flag0/1 Name: get_large_finite_wait_flag/3 Name: get_enumeration_starting_wait_flag/3 Name: get_enumeration_finished_wait_flag/2 Name: grd_ef/1 Name: get_integer_enumeration_wait_flag/3 Name: ground_det_wait_flag/1 Name: ground_wait_flag_to/2 Name: ground_wait_flags/1 Name: ground_inner_wait_flags/1 Name: ground_inner_wait_flags_in_context/2 Name: start_attach_inner_abort_errors/2 Name: re_attach_pending_inner_abort_errors/3 Name: deref_wf/2 Name: add_abort_error_span/5 Name: add_wd_error_span/4 Name: add_wd_error/3 Name: add_wd_error_set_result/6 Name: pending_abort_error/1 Name: pending_abort_error/4 Name: get_wait_flags_context_msg/2 Name: add_wd_error_span_now/4 Name: assert_must_abort_wf/2 Name: get_minimum_waitflag_prio/3 Name: portray_waitflags/1 Name: quick_portray_waitflags/1 Name: quick_portray_waitflags_store/1 Name: get_waitflags_phase/2 Name: find_waitflag_info/4 Name: integer_priority/1 Name: large_finite_priority/1 Name: integer_pow2_priority/1 Name: last_priority/1 Name: my_get_kodkod_predicates/3 Name: my_add_predicate_to_kodkod/3 Name: my_get_satsolver_predicates/3 Name: my_add_predicate_to_satsolver/3 Name: get_wf_dynamic_info/3 Name: put_wf_dynamic_info/3 Name: set_silent/1

Imports

Exports

Name: fd_size/2

Module: clpfd

Name: fd_degree/2

Module: clpfd

Name: in/2

Module: clpfd

Name: exists_source/1

Module: tools_portability

Name: preference/2

Module: preferences

Name: get_preference/2

Module: preferences

Name: debug_format/3

Module: debug

Name: module_info/2

Module: module_information

Name: is_list/1

Module: lists

Name: delete/3

Module: lists

Name: last/2

Module: lists

Name: format_with_colour_nl/4

Module: tools_printing

Name: register_event_listener/3

Module: eventhandling

Name: maplist/2

Module: lists

Name: random_select/3

Module: random

Name: is_inf_or_overflow_card/1

Module: kernel_card_arithmetic

Name: clpfd_in_domain/1

Module: clpfd_interface

Name: clpfd_labeling/2

Module: clpfd_interface

Name: reverse/2

Module: lists

Name: clpfd_size/2

Module: clpfd_interface

Name: print_term_summary/1

Module: tools_printing

Name: ord_member/2

Module: ordsets

Name: ord_add_element/3

Module: ordsets

Name: ord_update_nonvar/4

Module: tools_lists

Name: ord_member_nonvar_chk/2

Module: tools_lists

Name: translate_call_stack/2

Module: translate

Name: select/3

Module: lists

Name: max_tagged_integer/1

Module: tools_platform

Name: max_tagged_pow2/1

Module: tools_platform

Name: debug_mode/1

Module: debug

Name: add_new_event_in_error_scope/1

Module: error_manager

Name: store_abort_error_for_context_state_if_possible/4

Module: state_space

Name: register_event_listener/3

Module: eventhandling

Name: get_texpr_ids/2

Module: bsyntaxtree

Name: init_wait_flags/1

Name: init_wait_flags/2

Name: waitflag0_is_set/1

Name: get_wait_flag_infos/2

Name: get_wait_flag_info/2

Name: is_wait_flag_info/2

Name: add_wait_flag_info/3

Name: portray_wait_flag_infos/1

Name: push_wait_flag_call_stack_info/3

Name: opt_push_wait_flag_call_stack_info/3

Name: debug_opt_push_wait_flag_call_stack_info/3

Name: opt_push_wait_flag_call_stack_quantifier_info/6

Name: copy_wait_flag_call_stack_info/3

Name: init_quantifier_wait_flag/6

Name: init_wait_flags_and_push_call_stack/3

Name: init_wait_flags_with_call_stack/2

Name: add_call_stack_to_span/3

Name: add_error_wf/5

Name: add_warning_wf/5

Name: add_message_wf/5

Name: add_internal_error_wf/5

Name: add_state_error_wf/5

Name: portray_call_stack/1

Name: get_call_stack/2

Name: get_wait_flag/3

Name: get_wait_flag/4

Name: get_bounded_wait_flag/4

Name: get_bounded_priority/2

Name: block_get_wait_flag/4

Name: get_wait_flag0/2

Name: get_wait_flag1/2

Name: get_wait_flag1/3

Name: get_last_wait_flag/3

Name: get_idle_wait_flag/3

Name: get_binary_choice_wait_flag/3

Name: get_pow2_binary_choice_priority/2

Name: get_binary_choice_wait_flag_exp_backoff/3

Name: get_binary_choice_wait_flag_exp_backoff/4

Name: add_fd_variable_for_labeling/3

Name: add_fd_variable_for_labeling/2

Name: add_fd_variables_for_labeling/2

Name: get_new_subsidiary_wait_flag/4

Name: update_waitflag/4

Name: ground_constraintprop_wait_flags/1

Name: check_is_wait_flag/1

Name: no_pending_waitflags/1

Name: create_inner_wait_flags/3

Name: copy_wf01e_wait_flags/2

Name: copy_wfe_from_inner_if_necessary/2

Name: copy_wf_start/3

Name: copy_wf_finish/2

Name: copy_waitflag_store/2

Name: clone_wait_flags_from1/3

Name: clone_wait_flags_from1_finish/3

Name: ground_wait_flag0/1

Name: get_large_finite_wait_flag/3

Name: get_enumeration_starting_wait_flag/3

Name: get_enumeration_finished_wait_flag/2

Name: grd_ef/1

Name: get_integer_enumeration_wait_flag/3

Name: ground_det_wait_flag/1

Name: ground_wait_flag_to/2

Name: ground_wait_flags/1

Name: ground_inner_wait_flags/1

Name: ground_inner_wait_flags_in_context/2

Name: start_attach_inner_abort_errors/2

Name: re_attach_pending_inner_abort_errors/3

Name: deref_wf/2

Name: add_abort_error_span/5

Name: add_wd_error_span/4

Name: add_wd_error/3

Name: add_wd_error_set_result/6

Name: pending_abort_error/1

Name: pending_abort_error/4

Name: get_wait_flags_context_msg/2

Name: add_wd_error_span_now/4

Name: assert_must_abort_wf/2

Name: get_minimum_waitflag_prio/3

Name: portray_waitflags/1

Name: quick_portray_waitflags/1

Name: quick_portray_waitflags_store/1

Name: get_waitflags_phase/2

Name: find_waitflag_info/4

Name: integer_priority/1

Name: large_finite_priority/1

Name: integer_pow2_priority/1

Name: last_priority/1

Name: my_get_kodkod_predicates/3

Name: my_add_predicate_to_kodkod/3

Name: my_get_satsolver_predicates/3

Name: my_add_predicate_to_satsolver/3

Name: get_wf_dynamic_info/3

Name: put_wf_dynamic_info/3

Name: set_silent/1

Predicates

Predicates:

add_abort_error2/8

add_abort_error7/7

add_abort_error_span/5

add_call_stack_to_span/3

add_debug_wait_flag_info/3

add_error_wf/5

add_fd_var_to_FDVARS/3

add_fd_variable_for_labeling/2

add_fd_variable_for_labeling/3

add_fd_variable_for_labeling_aux/2

add_fd_variables_for_labeling/2

add_internal_error_wf/5

add_wd_error_set_result/6

add_wd_error_span/4

add_wd_error_span_now/4

add_wf/3

append_wf/3

assert_must_abort2_wf/2

assert_must_abort_wf/2

avl_del_min_waitflag/4

avl_del_min_wf_aux/5

block_get_wait_flag/4

check_grounding/3

check_grounding_of_wf/4

check_if_labeling_domain_large/4

check_is_wait_flag/1

clone_wait_flags_from1/3

clone_wait_flags_from1_finish/3

copy_wait_flag_call_stack_info/3

copy_waitflag_store/2

copy_wf01e_wait_flags/2

copy_wf01e_wait_flags_aux/2

copy_wf_finish/2

copy_wf_start/3

copy_wfe_from_inner_if_necessary/2

copy_wfe_to_inner/2

create_inner_wait_flags/3

debug_opt_push_wait_flag_call_stack_info/3

deref_store/2

deref_wf/2

detect_quantifier_kind/2

double_prio/2

enum_fd_variable_store/4

enum_fd_variable_store/5

enum_only_frozen_goal/2

enum_only_frozen_goal_k_obj/2

enum_only_frozen_goal_m/3

enumeration_only_fdvar/1

fd_priority_leq_limit/3

fdvar_with_higher_prio_exists/2

find_waitflag_info/4

geq_limit/2

get_bin_aux/6

get_binary_choice_wait_flag/3

get_binary_choice_wait_flag_exp_backoff/3

get_binary_choice_wait_flag_exp_backoff/4

get_bounded_priority/2

get_bounded_wait_flag/4

get_call_stack/2

get_enumeration_finished_wait_flag/2

get_enumeration_starting_wait_flag/3

get_idle_wait_flag/3

get_info_context_description/2

get_integer_enumeration_wait_flag/3

get_large_finite_wait_flag/3

get_last_wait_flag/3

get_min_aux/4

get_min_fd_size_elements/2

get_minimum_waitflag_prio/3

get_msg_aux/4

get_mutable_infos/4

get_mutable_infos__for_update_aux/6

get_mutable_infos_aux/4

get_mutable_store_for_update/5

get_new_subsidiary_wait_flag/4

get_pow2_binary_choice_priority/2

get_wait_flag_infos/2

get_wait_flags_context_msg/2

get_waitflag_from_store/4

get_waitflags_phase/2

get_wf_all_dynamic_infos/2

get_wf_dynamic_info/3

get_wf_findall_nesting_level/1

grd_ef/1

grd_wf0/1

grd_wf01/1

ground_constraintprop_wait_flags/1

ground_det_wait_flag/1

ground_ef_wait_flag_unless_abort_pending/1

ground_inner_wait_flags/1

ground_inner_wait_flags_in_context/2

ground_prio/4

ground_wait_flag0/1

ground_wait_flag_to/2

ground_wait_flags/1

ground_waitflags_store_clpfd/2

ground_waitflags_store_clpfd_aux/4

ground_waitflags_store_clpfd_up_to/3

ground_waitflags_store_up_to_no_clpfd/3

ground_wf/2

gt_limit/2

init_debug_wait_flag_info/2

init_quantifier_wait_flag/6

init_wait_flags/1

init_wait_flags/2

init_wait_flags_and_push_call_stack/3

init_wait_flags_store/1

init_wait_flags_store_with_dynamic_infos/2

init_wait_flags_with_call_stack/2

init_wait_flags_with_infos/2

init_wait_flags_with_sd_infos/3

init_wf_infos_for_grounding/2

integer_pow2_priority/1

integer_priority/1

is_not_wf_abort_pending/1

is_wait_flag_info/2

is_wd_guarded_result/1

is_wf_abort_pending/1

l_add_fd_var_to_FDVARS/3

label_clpfd_variable/1

label_clpfd_variable/2

large_finite_priority/1

last_finite_pow2_prio_exponent/1

last_finite_priority/1

last_priority/1

lt_size/2

mark_pending_abort_error/1

mark_pending_abort_error/4

mark_pending_abort_error2/4

merge_call_stack/3

merge_waitflag_queues/3

my_add_predicate_aux/4

my_add_predicate_to_kodkod/3

my_add_predicate_to_satsolver/3

my_get_all_wf_info_atts/2

my_get_fdvars_att/2

my_get_kodkod_predicates/3

my_get_next_fdvar_to_enumerate/3

my_get_satsolver_predicates/3

my_get_wf_info_att/3

my_get_wf_preds/4

my_get_wf_preds_att/4

my_get_wf_store_att/2

my_get_wf_store_fdvars_atts/3

my_portray_avl/1

no_pending_waitflags/1

obs/4

observe_wait_flags_wfe/1

opt_push_wait_flag_call_stack_info/3

opt_push_wait_flag_call_stack_quantifier_info/6

pending_abort_error/1

pending_abort_error/4

pending_abort_error_aux/4

pop_waitflag/3

portray_attached_goals/1

portray_useless_waitflags_in_store/1

portray_wait_flag_info/1

portray_wait_flag_infos/1

portray_waitflags/1

portray_waitflags_store/1

push_wait_flag_call_stack_info/3

push_waitflag/3

put_mutable_other_attr/2

put_mutable_wf_fdvars_attr/2

put_mutable_wf_store_attr/2

put_wf_abort_pending/1

put_wf_dynamic_info/3

quick_portray_waitflags/1

quick_portray_waitflags_store/1

re_add_pending_aux/3

re_attach_pending_inner_abort_errors/3

register_abort_errors_in_error_scope/1

reset_waitflags/0

set_mutable_ref/2

set_silent/1

start_attach_inner_abort_errors/2

Block: add_abort_error2(-,?,?,?,?,?,?,?)

add_abort_error7/7

add_abort_error7(_ErrType,_Msg,_Term,_Result,_ResultValue,_Span,_WF) :-
    preference(disprover_mode,true),
    !, % When Disproving we can assume well-definedness of the PO; sometimes the relevant hypotheses will be filtered out
    fail.

add_abort_error7(ErrType,Msg,Term,Result,ResultValue,Span,WF) :-
    preference(raise_abort_immediately,F), F \= false,
    !,
    (F=full -> AWF=1 % really raise immediately; may entail more spurious messages, particularly in WF0
    ; get_idle_wait_flag(add_abort_error7,WF,AWF), %get_wait_flag0(WF,AWF),
    (var(AWF),debug_mode(on) ->
    (pending_abort_error(WF)
    -> format(user_output,'Additional WD Error pending:~n',[]) % TODO: no use in calling add_abort_error2 below
    ; true),
    add_message(wd_error_pending,Msg,Term,Span)
    ; true),
    mark_pending_abort_error(WF,Msg,Term,Span)
    ),
    %when(nonvar(AWF),

    %(tools_printing:print_error('Raising error immediately without checking rest of predicate for unsatisfiability (because RAISE_ABORT_IMMEDIATELY set to TRUE): error could be spurious!'),true)),
    string_concatenate('Raising error immediately without checking rest of predicate for unsatisfiability (because RAISE_ABORT_IMMEDIATELY set to TRUE or full): error could be spurious!\n! ',Msg,NewMsg),
    add_abort_error2(AWF,ErrType,NewMsg,Term,Result,ResultValue,Span,WF).

add_abort_error7(ErrType,Msg,Term,Result,ResultValue,Span,WF) :-
    %add_message_wf(add_abort_error,'Possible WD Error: ',Term,Span,WF), % happens a lot in test 1886
    mark_pending_abort_error(WF),
    get_enumeration_finished_wait_flag(WF,AWF), % infinite enumeration will never result in failure ? and thus never discard a WD error ? --> better to activate WD/abort error earlier, but the following does not fully work:
    %integer_priority(P), get_wait_flag(P,add_abort_error7,WF,AWF), % causes problem for test 1122
    add_abort_error2(AWF,ErrType,Msg,Term,Result,ResultValue,Span,WF).

add_abort_error_span/5

add_call_stack_to_span/3

add_debug_wait_flag_info/3

add_error_wf/5

add_fd_var_to_FDVARS/3

Description:
this adds new variables at front; will be given priority over older ones

add_fd_variable_for_labeling/2

add_fd_variable_for_labeling/3

add_fd_variable_for_labeling_aux/2

Description:
fd_size(FDVariable,Size),print(added(FDVariable,Size,NewFDVARS,old(FDVARS))),nl,
print(added_fd_variable(FDVariable,_Size,NewFDVARS)),nl,portray_waitflags_store(Store),nl,nl,%%

add_fd_variables_for_labeling/2

add_internal_error_wf/5

add_wd_error_set_result/6

add_wd_error_span/4

add_wd_error_span_now/4

add_wf/3

append_wf/3

assert_must_abort2_wf/2

assert_must_abort_wf/2

Meta: assert_must_abort_wf(0,*)

avl_del_min_waitflag/4

avl_del_min_wf_aux/5

block_get_wait_flag/4

Block: block_get_wait_flag(-,?,?,?)

check_grounding/3

check_grounding_of_wf/4

Block: check_grounding_of_wf(?,?,-,-)

check_if_labeling_domain_large/4

check_is_wait_flag/1

clone_wait_flags_from1/3

clone_wait_flags_from1_finish/3

copy_wait_flag_call_stack_info/3

copy_waitflag_store/2

copy_wf01e_wait_flags/2

copy_wf01e_wait_flags_aux/2

Block: copy_wf01e_wait_flags_aux(-,?)

copy_wf_finish/2

copy_wf_start/3

copy_wfe_from_inner_if_necessary/2

copy_wfe_to_inner/2

Block: copy_wfe_to_inner(-,-)

create_inner_wait_flags/3

debug_opt_push_wait_flag_call_stack_info/3

deref_store/2

deref_wf/2

detect_quantifier_kind/2

double_prio/2

enum_fd_variable_store/4

Description:
print(labeling(NextFDVar,RemainingFDVARS)),nl, portray_fd_vars([NextFDVar|RemainingFDVARS]),nl,nl,

enum_fd_variable_store/5

Description:
print(labeling(NextFDVar,RemainingFDVARS)),nl, portray_fd_vars([NextFDVar|RemainingFDVARS]),nl,nl,

enum_only_frozen_goal/2

enum_only_frozen_goal_k_obj/2

enum_only_frozen_goal_m/3

enumeration_only_fdvar/1

fd_priority_leq_limit/3

fdvar_with_higher_prio_exists/2

find_waitflag_info/4

geq_limit/2

get_bin_aux/6

get_binary_choice_wait_flag/3

get_binary_choice_wait_flag_exp_backoff/3

get_binary_choice_wait_flag_exp_backoff/4

get_bounded_priority/2

get_bounded_wait_flag/4

get_call_stack/2

get_enumeration_finished_wait_flag/2

get_enumeration_starting_wait_flag/3

get_idle_wait_flag/3

get_info_context_description/2

get_integer_enumeration_wait_flag/3

get_large_finite_wait_flag/3

get_last_wait_flag/3

get_min_aux/4

get_min_fd_size_elements/2

get_minimum_waitflag_prio/3

get_msg_aux/4

get_mutable_infos/4

get_mutable_infos__for_update_aux/6

get_mutable_infos_aux/4

get_mutable_store_for_update/5

get_new_subsidiary_wait_flag/4

get_pow2_binary_choice_priority/2

get_wait_flag_infos/2

get_wait_flags_context_msg/2

get_waitflag_from_store/4

get_waitflags_phase/2

get_wf_all_dynamic_infos/2

get_wf_dynamic_info/3

get_wf_findall_nesting_level/1

grd_ef/1

grd_wf0/1

Description:
,print(grd_wf0_done),nl

grd_wf01/1

ground_constraintprop_wait_flags/1

Description:
print(ground_constraintprop_wait_flags(WF0,Store,_WFE)),nl, %%

ground_det_wait_flag/1

Description:
print(ground_det_wait_flag),nl,

ground_ef_wait_flag_unless_abort_pending/1

ground_inner_wait_flags/1

ground_inner_wait_flags_in_context/2

ground_prio/4

Description:
(debug:debug_mode(on) -> external_functions:indent_format(user_output,'~w (~w)~n',[Prio,Info],no_trace) ; true),

ground_wait_flag0/1

ground_wait_flag_to/2

Description:
print(ground_det_wait_flag),nl,

ground_wait_flags/1

ground_waitflags_store_clpfd/2

ground_waitflags_store_clpfd_aux/4

ground_waitflags_store_clpfd_up_to/3

ground_waitflags_store_up_to_no_clpfd/3

Description:
print(grounding2(Prio,_Info)),nl, %%

ground_wf/2

gt_limit/2

init_debug_wait_flag_info/2

init_quantifier_wait_flag/6

init_wait_flags/1

init_wait_flags/2

init_wait_flags_and_push_call_stack/3

init_wait_flags_store/1

init_wait_flags_store_with_dynamic_infos/2

init_wait_flags_with_call_stack/2

init_wait_flags_with_infos/2

init_wait_flags_with_sd_infos/3

init_wf_infos_for_grounding/2

integer_pow2_priority/1

integer_priority/1

is_not_wf_abort_pending/1

is_wait_flag_info/2

is_wd_guarded_result/1

Block: is_wd_guarded_result(-)

is_wf_abort_pending/1

l_add_fd_var_to_FDVARS/3

label_clpfd_variable/1

label_clpfd_variable/2

large_finite_priority/1

last_finite_pow2_prio_exponent/1

last_finite_priority/1

last_priority/1

lt_size/2

mark_pending_abort_error/1

mark_pending_abort_error/4

mark_pending_abort_error2/4

Block: mark_pending_abort_error2(-,?,?,?)

merge_call_stack/3

merge_waitflag_queues/3

my_add_predicate_aux/4

my_add_predicate_to_kodkod/3

my_add_predicate_to_satsolver/3

my_get_all_wf_info_atts/2

my_get_fdvars_att/2

my_get_kodkod_predicates/3

my_get_next_fdvar_to_enumerate/3

Description:
add_fd_var(FDVARS,FDVariable,NewFDVARS), %% this adds new variables at the end and does more thorough duplicate check

my_get_satsolver_predicates/3

my_get_wf_info_att/3

my_get_wf_preds/4

my_get_wf_preds_att/4

my_get_wf_store_att/2

my_get_wf_store_fdvars_atts/3

my_portray_avl/1

no_pending_waitflags/1

obs/4

Block: obs(?,?,-,?)

observe_wait_flags_wfe/1

opt_push_wait_flag_call_stack_info/3

opt_push_wait_flag_call_stack_quantifier_info/6

pending_abort_error/1

pending_abort_error/4

pending_abort_error_aux/4

pop_waitflag/3

portray_attached_goals/1

portray_useless_waitflags_in_store/1

portray_wait_flag_info/1

portray_wait_flag_infos/1

portray_waitflags/1

portray_waitflags_store/1

push_wait_flag_call_stack_info/3

push_waitflag/3

put_mutable_other_attr/2

put_mutable_wf_fdvars_attr/2

put_mutable_wf_store_attr/2

put_wf_abort_pending/1

put_wf_dynamic_info/3

quick_portray_waitflags/1

quick_portray_waitflags_store/1

re_add_pending_aux/3

re_attach_pending_inner_abort_errors/3

register_abort_errors_in_error_scope/1

reset_waitflags/0

set_mutable_ref/2

set_silent/1

start_attach_inner_abort_errors/2

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_release,true)
! Existence error in argument 1 of absolute_file_name/3
! file extension('dll_path/dll_path') does not exist
! goal: absolute_file_name(extension('dll_path/dll_path'),_58259,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pathes.pl')])
! 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 argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_68463,[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),_66799,[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_profile,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_src_profile,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),_48291,[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'),_17435,[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 covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.pl')])

Name: fail
Name: add_error/4	Module: foo_error
Name: true
Name: store_abort_error_for_context_state_if_possible/4	Module: state_space
Name: ->/3
Name: pending_inner_abort_error/5	dynamic predicate
Name: assert/1
Name: add_message_wf/5	Module: kernel_waitflags
Name: format/2
Name: get_preference/2	Module: preferences
Name: register_abort_errors_in_error_scope/1	Module: kernel_waitflags
Name: add_call_stack_to_span/3	Module: kernel_waitflags
Name: nl
Name: print/1
Name: =/2
Name: !

Name: add_wd_error_span_now/4	Module: kernel_waitflags
Name: add_abort_error7/7	Module: kernel_waitflags

Name: add_abort_error2/8	Module: kernel_waitflags
Name: get_enumeration_finished_wait_flag/2	Module: kernel_waitflags
Name: mark_pending_abort_error/1	Module: kernel_waitflags
Name: string_concatenate/3	Module: foo_error
Name: mark_pending_abort_error/4	Module: kernel_waitflags
Name: true
Name: add_message/4	Module: foo_error
Name: format/3
Name: pending_abort_error/1	Module: kernel_waitflags
Name: ->/3
Name: debug_mode/1	Module: debug
Name: var/1
Name: get_idle_wait_flag/3	Module: kernel_waitflags
Name: =/2
Name: !
Name: \=/2
Name: preference/2	Module: preferences
Name: fail

Name: re_add_pending_aux/3	Module: kernel_waitflags
Name: add_wd_error_span/4	Module: kernel_waitflags
Name: lookup_and_delete_value1/7	Module: store
Name: add_cs_card/7	Module: kernel_cardinality_attr
Name: block_add_cs_card/6	Module: kernel_cardinality_attr

Name: =/2
Name: merge_call_stack/3	Module: kernel_waitflags
Name: ->/3
Name: !
Name: ord_member_nonvar_chk/2	Module: tools_lists
Name: true
Name: fail
Name: nl
Name: write/1
Name: var/1

Name: block_apply_closure_memo_groundx/10	Module: memoization
Name: add_exception_error2/4	Module: external_functions
Name: get_complete_memoization_expansion_aux/8	Module: memoization
Name: prob_info_int1/5	Module: external_functions
Name: prob_info1/4	Module: external_functions
Name: not_with_enum_warning2/4	Module: delay
Name: eq_empty_set_wf/3	Module: kernel_equality
Name: ADD_ERROR/6	Module: external_functions
Name: get_real/5	Module: kernel_reals
Name: recall_value/5	Module: external_functions
Name: obs/4	Module: kernel_waitflags
Name: b_compile1_infos/11	Module: b_compiler
Name: get_complete_memoization_expansion/6	Module: memoization
Name: add_state_error_wf/5	Module: kernel_waitflags

Name: add_fd_variable_for_labeling_aux/2	Module: kernel_waitflags
Name: l_add_fd_var_to_FDVARS/3	Module: kernel_waitflags

Name: put_mutable_wf_fdvars_attr/2	Module: kernel_waitflags
Name: add_fd_var_to_FDVARS/3	Module: kernel_waitflags
Name: my_get_fdvars_att/2	Module: kernel_waitflags
Name: =/2
Name: !
Name: nonvar/1

Name: add_internal_error/2	Module: foo_error
Name: put_mutable_wf_fdvars_attr/2	Module: kernel_waitflags
Name: l_add_fd_var_to_FDVARS/3	Module: kernel_waitflags
Name: my_get_fdvars_att/2	Module: kernel_waitflags
Name: !
Name: =/2
Name: ==/2

Name: check_element_of_table/4	Module: clpfd_tables
Name: check_apply_with_element_constraint/5	Module: clpfd_tables

Name: add_internal_error/4	Module: foo_error
Name: add_call_stack_to_span/3	Module: kernel_waitflags

Name: create_value_for_read_variable/6	Module: b_compiler
Name: compute_lazy_lookup/7	Module: b_compiler
Name: b_compile1_infos/11	Module: b_compiler
Name: b_compile/6	Module: b_compiler
Name: b_compile2/8	Module: b_compiler
Name: b_compile1/8	Module: b_compiler

Name: re_add_pending_aux/3	Module: kernel_waitflags
Name: observe_runtime_wf/4	Module: runtime_profiler
Name: obs/4	Module: kernel_waitflags
Name: add_abort_error2/8	Module: kernel_waitflags
Name: get_complete_memoization_expansion_aux/8	Module: memoization

Name: lookup_value_for_existing_id_wf/4	Module: store
Name: check_val/3	Module: store
Name: check_val_with_span_wf/5	Module: store

Name: add_warning/4	Module: foo_error
Name: add_call_stack_to_span/3	Module: kernel_waitflags

Name: integer_number_codes/5	Module: kernel_strings
Name: drop_index_with_seq_check/5	Module: kernel_strings
Name: substring/6	Module: kernel_strings

Name: store_memoization_closure_expansion/7	Module: memoization
Name: add_exception_error2/4	Module: external_functions
Name: not_with_enum_warning2/4	Module: delay
Name: get_complete_memoization_expansion_aux/8	Module: memoization
Name: ADD_WARNING/6	Module: external_functions

Name: add_wd_error_span/4	Module: kernel_waitflags
Name: try_extract_span/2	Module: kernel_waitflags

Name: compaction_avl_list/5	Module: kernel_z
Name: add_value/6	Module: kernel_z
Name: bag_items2/5	Module: kernel_z
Name: block_add_cs_card/6	Module: kernel_cardinality_attr
Name: bag_items3/7	Module: kernel_z

Name: add_abort_error7/7	Module: kernel_waitflags
Name: is_wd_guarded_result/1	Module: kernel_waitflags

Name: rmax_set/5	Module: kernel_reals
Name: check_value/8	Module: external_functions
Name: check_type/7	Module: external_functions
Name: string_pad_left/6	Module: external_functions
Name: process_evaluation_error/4	Module: kernel_reals
Name: add_cs_card/7	Module: kernel_cardinality_attr
Name: block_apply_closure_memo_groundx/10	Module: memoization
Name: add_exception_error2/4	Module: external_functions
Name: avl_apply_1/8	Module: avl_tools
Name: store_norm_memo_result/6	Module: memoization
Name: fact/4	Module: external_functions
Name: dec_safe_number_codes/4	Module: external_functions
Name: tostring5/5	Module: external_functions
Name: MAXIMIZE/4	Module: external_functions
Name: check_digits/4	Module: external_functions
Name: positive_integer_sqrt/4	Module: external_functions
Name: dec_str_to_int/5	Module: external_functions
Name: ceiling_division/5	Module: external_functions
Name: add_wd_error/3	Module: kernel_waitflags
Name: string_conc_aux2/5	Module: kernel_strings
Name: random_element/4	Module: external_functions
Name: rmin_set/5	Module: kernel_reals
Name: CHOOSE/4	Module: external_functions

Name: RECURSIVE_CALL/3	Module: kernel_waitflags
Name: avl_store/4	Module: foo_error
Name: merge_waitflag_queues/3	Module: kernel_waitflags
Name: avl_fetch/3	Module: foo_error
Name: ->/3
Name: =/2

Name: true
Name: reset_real_error_occurred	Module: foo_error
Name: =/2
Name: ->/3
Name: format_with_colour_nl/4	Module: tools_printing
Name: get_error/2	Module: foo_error
Name: fail
Name: add_internal_error/2	Module: foo_error
Name: ground_wait_flags/1	Module: kernel_waitflags
Name: call/1
Name: init_wait_flags/2	Module: kernel_waitflags
Name: real_error_occurred	Module: foo_error

Name: ground_waitflags_store_clpfd_up_to/3	Module: kernel_waitflags
Name: ground_waitflags_store_up_to_no_clpfd/3	Module: kernel_waitflags
Name: ground_waitflags_store_clpfd_aux/4	Module: kernel_waitflags

Name: avl_shrinkage/3	Module: avl
Name: avl/6	Module: avl
Name: is/2
Name: RECURSIVE_CALL/5	Module: kernel_waitflags
Name: =/2
Name: ==/2
Name: ->/3
Name: pop_waitflag/3	Module: kernel_waitflags

Name: check_grounding_of_wf/4	Module: kernel_waitflags
Name: get_enumeration_finished_wait_flag/2	Module: kernel_waitflags

prob_prolog/src/kernel_waitflags.pl

Modules

Predicates of kernel_waitflags

Module Information

Dynamic Predicates: silent/0 register_abort_errors_in_error_scope/0 pending_inner_abort_error/5

1924 Lines

200 Predicates

Imported Modules: error_manager self_check typechecker tools avl atts

94 Exports

34 specified Imports

Predicates:

Name: =/2
Name: clpfd_domain/3	Module: clpfd_interface
Name: gt_limit/2	Module: kernel_waitflags
Name: clpfd_size/2	Module: clpfd_interface

Name: deref_store/2	Module: kernel_waitflags
Name: =/2
Name: add_debug_message/3	Module: foo_error
Name: nonvar/1
Name: ->/3

Name: b_not_test_inner_boolean_expression/4	Module: b_interpreter
Name: b_test_inner_boolean_expression/4	Module: b_interpreter

Name: =/2
Name: set_mutable_ref/2	Module: kernel_waitflags
Name: put_mutable_wf_store_attr/2	Module: kernel_waitflags
Name: add_wf/3	Module: kernel_waitflags
Name: my_get_wf_store_att/2	Module: kernel_waitflags
Name: avl_to_list/2	Module: foo_error
Name: put_mutable_wf_fdvars_attr/2	Module: kernel_waitflags
Name: append_wf/3	Module: kernel_waitflags
Name: my_get_fdvars_att/2	Module: kernel_waitflags
Name: true
Name: ->/3
Name: my_get_wf_store_fdvars_atts/3	Module: kernel_waitflags

Name: copy_wf01e_wait_flags_aux/2	Module: kernel_waitflags
Name: get_waitflag_from_store/4	Module: kernel_waitflags
Name: init_wait_flags_store/1	Module: kernel_waitflags

Name: init_wait_flags_store_with_dynamic_infos/2	Module: kernel_waitflags
Name: my_get_all_wf_info_atts/2	Module: kernel_waitflags
Name: copy_wfe_to_inner/2	Module: kernel_waitflags
Name: add_debug_wait_flag_info/3	Module: kernel_waitflags

Name: get_bin_aux/6	Module: kernel_waitflags
Name: get_new_subsidiary_wait_flag/4	Module: kernel_waitflags

Name: ground_waitflags_store_clpfd/2	Module: kernel_waitflags
Name: label_clpfd_variable/1	Module: kernel_waitflags
Name: put_mutable_wf_fdvars_attr/2	Module: kernel_waitflags

Name: ground_waitflags_store_clpfd/2	Module: kernel_waitflags
Name: label_clpfd_variable/2	Module: kernel_waitflags
Name: put_mutable_wf_fdvars_attr/2	Module: kernel_waitflags

Name: enum_only_frozen_goal_m/3	Module: kernel_waitflags
Name: RECURSIVE_CALL/2	Module: kernel_waitflags
Name: !