498 Lines

60 Predicates

Imported Modules: self_check lists

32 Exports

24 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: try_b_type2global_set/2 Module: b_global_sets Name: try_expand_and_convert_to_avl/2 Module: custom_explicit_sets Name: couplise_list/2 Module: btypechecker Name: create_texpr/4 Module: bsyntaxtree Name: safe_create_texpr/4 Module: bsyntaxtree Name: extract_pos_infos/2 Module: bsyntaxtree Name: add_internal_error/2 Module: error_manager Name: is_set_type/2 Module: bsyntaxtree Name: ground_value/1 Module: kernel_tools Name: conjunction_to_list/2 Module: bsyntaxtree Name: conjunct_predicates/2 Module: bsyntaxtree Name: is_lambda_value_domain_memoization_closure/5 Module: memoization Name: maplist/4 Module: lists Name: is_infinite_type/1 Module: typing_tools Name: definitely_not_empty_and_finite/1 Module: b_ast_cleanup Name: definitely_infinite/1 Module: b_ast_cleanup Name: external_pred_always_true/1 Module: external_functions Name: get_texpr_id/2 Module: bsyntaxtree Name: get_texpr_type/2 Module: bsyntaxtree Name: occurs_in_expr/2 Module: bsyntaxtree Name: add_internal_error/2 Module: error_manager Name: add_error/3 Module: error_manager Name: debug_println/2 Module: debug	Name: construct_closure/4 Name: is_closure/4 Name: construct_closure_if_necessary/4 Name: get_domain_range_for_closure_types/3 Name: construct_member_closure/5 Name: construct_complement_closure/3 Name: is_member_closure/5 Name: is_member_closure_with_info/6 Name: is_not_member_closure/5 Name: is_not_member_value_closure/3 Name: is_not_member_value_closure_or_integerset/3 Name: construct_less_equal_closure/2 Name: construct_greater_equal_closure/2 Name: is_lambda_value_domain_closure/5 Name: is_lambda_value_domain_normal_closure/5 Name: is_lambda_closure/7 Name: is_lambda_comprehension_set/4 Name: select_equality/6 Name: is_special_infinite_closure/3 Name: is_id_closure_over/5 Name: is_full_id_closure/3 Name: is_closure_or_integer_set/4 Name: is_infinite_non_injective_closure/1 Name: is_symbolic_closure/1 Name: is_symbolic_closure/3 Name: is_recursive_closure/1 Name: is_recursive_closure/3 Name: get_recursive_identifier_of_closure/2 Name: get_recursive_identifier_of_closure_body/2 Name: mark_closure_as_symbolic/2 Name: mark_closure_as_recursive/2 Name: mark_closure/3

Imports

Exports

Name: module_info/2

Module: module_information

Name: try_b_type2global_set/2

Module: b_global_sets

Name: try_expand_and_convert_to_avl/2

Module: custom_explicit_sets

Name: couplise_list/2

Module: btypechecker

Name: create_texpr/4

Module: bsyntaxtree

Name: safe_create_texpr/4

Module: bsyntaxtree

Name: extract_pos_infos/2

Module: bsyntaxtree

Name: add_internal_error/2

Module: error_manager

Name: is_set_type/2

Module: bsyntaxtree

Name: ground_value/1

Module: kernel_tools

Name: conjunction_to_list/2

Module: bsyntaxtree

Name: conjunct_predicates/2

Module: bsyntaxtree

Name: is_lambda_value_domain_memoization_closure/5

Module: memoization

Name: maplist/4

Module: lists

Name: is_infinite_type/1

Module: typing_tools

Name: definitely_not_empty_and_finite/1

Module: b_ast_cleanup

Name: definitely_infinite/1

Module: b_ast_cleanup

Name: external_pred_always_true/1

Module: external_functions

Name: get_texpr_id/2

Module: bsyntaxtree

Name: get_texpr_type/2

Module: bsyntaxtree

Name: occurs_in_expr/2

Module: bsyntaxtree

Name: add_internal_error/2

Module: error_manager

Name: add_error/3

Module: error_manager

Name: debug_println/2

Module: debug

Name: construct_closure/4

Name: is_closure/4

Name: construct_closure_if_necessary/4

Name: get_domain_range_for_closure_types/3

Name: construct_member_closure/5

Name: construct_complement_closure/3

Name: is_member_closure/5

Name: is_member_closure_with_info/6

Name: is_not_member_closure/5

Name: is_not_member_value_closure/3

Name: is_not_member_value_closure_or_integerset/3

Name: construct_less_equal_closure/2

Name: construct_greater_equal_closure/2

Name: is_lambda_value_domain_closure/5

Name: is_lambda_value_domain_normal_closure/5

Name: is_lambda_closure/7

Name: is_lambda_comprehension_set/4

Name: select_equality/6

Name: is_special_infinite_closure/3

Name: is_id_closure_over/5

Name: is_full_id_closure/3

Name: is_closure_or_integer_set/4

Name: is_infinite_non_injective_closure/1

Name: is_symbolic_closure/1

Name: is_symbolic_closure/3

Name: is_recursive_closure/1

Name: is_recursive_closure/3

Name: get_recursive_identifier_of_closure/2

Name: get_recursive_identifier_of_closure_body/2

Name: mark_closure_as_symbolic/2

Name: mark_closure_as_recursive/2

Name: mark_closure/3

Predicates

Predicates:

check_bdy_aux/3

check_inf_cl_body/3

check_result_instantiation/2

combine_names_and_types/3

construct_closure/4

construct_closure_if_necessary/4

construct_complement_closure/3

construct_greater_equal_closure/2

construct_less_equal_closure/2

construct_less_equal_closure/4

construct_member_closure/5

construct_not_member_closure/5

construct_unary_closure/4

contains_infinite_type/3

convert_type_to_value/2

does_not_occur_in/2

get_bound/2

get_domain_range_for_closure_types/3

get_names_and_types/3

get_recursive_identifier_of_closure/2

get_recursive_identifier_of_closure_body/2

greater_typing/3

identifier_equality/5

identifier_equality_aux/7

interval_up_to_inf/2

is_closure/4

is_closure_or_integer_set/4

is_full_id_closure/3

is_id_closure_over/5

is_infinite_equality_closure/3

is_infinite_non_injective_closure/1

is_integer_val/2

is_lambda_closure/7

is_lambda_comprehension_set/4

is_lambda_value_domain_closure/5

is_lambda_value_domain_normal_closure/5

is_member_closure/5

is_member_closure_aux/4

is_member_closure_with_info/6

is_not_member_closure/5

is_not_member_closure_aux/4

is_not_member_global_set/3

is_not_member_value_closure/3

is_not_member_value_closure_or_integerset/3

is_recursive_closure/1

is_recursive_closure/3

is_special_infinite_closure/3

is_static_expr_of_infinite_type/1

is_static_expr_of_infinite_type2/2

is_symbolic_closure/1

is_symbolic_closure/3

is_val_of_infinite_type/2

mark_closure_as_recursive/2

mark_closure_as_symbolic/2

mark_info/3

select_equality/6

check_bdy_aux/3

Description:
TO DO: store bounds in ID/... list to check if the domain remains infinite!

check_bdy_aux(conjunct(A,B),InConstrained,OutConstrained) :- !,
    check_inf_cl_body(A,InConstrained,OutConstrained1),
    check_inf_cl_body(B,OutConstrained1,OutConstrained).

check_bdy_aux(disjunct(A,B),InConstrained,OutConstrained) :- !,
    (check_inf_cl_body(A,InConstrained,OutConstrained) -> true
    ; check_inf_cl_body(B,InConstrained,OutConstrained)).

check_bdy_aux(equal(LHS,RHS), Constrained, [ID/equal|Constrained]) :-
    get_texpr_id(LHS,ID),
    \+ member(ID/_,Constrained), % no constraints on ID so far
    does_not_occur_in(ID,RHS),!. % the equation must have a solution; assuming well-definedness

check_bdy_aux(equal(LHS,RHS), Constrained, [ID/equal|Constrained]) :- % symmetric to case above
    get_texpr_id(RHS,ID),
    \+ member(ID/_,Constrained),
    does_not_occur_in(ID,LHS),!.

check_bdy_aux(member(b(identifier(ID),TYPE,_),SET),Constrained,[ID/INFINITE|Constrained]) :-
    \+ member(ID/_,Constrained),
    (is_infinite_type(TYPE)
    -> %check that SET is infinite; otherwise remove from IDs
    (definitely_infinite(SET) -> INFINITE=infinite;
    definitely_not_empty_and_finite(SET) -> INFINITE = finite
    )
    ; definitely_not_empty_and_finite(SET), % otherwise we may have no solution and the entire closure is empty
    INFINITE = finite
).

check_bdy_aux(EXPR,Constrained,[ID/infinite|Constrained]) :-
    %% TO DO: store bounds in ID/... list to check if the domain remains infinite!
    greater_typing(EXPR,ID,_UP),
    \+ member(ID/_,Constrained).

check_bdy_aux(EXPR,Constrained,[ID/infinite|Constrained]) :-
    less_typing(EXPR,ID,_UP),
    \+ member(ID/_,Constrained).

check_bdy_aux(not_equal(A,B),Constrained,[ID/infinite|TC]) :-
    (get_texpr_id(A,ID)
    -> is_static_expr_of_infinite_type(B) % we have to be careful that B does not directly or indirectly reference A
    ; get_texpr_id(B,ID),
    is_static_expr_of_infinite_type(A)
    ),
    (select(ID/Kind,Constrained,TC)
    -> Kind=infinite % if it was infinite it will remain infinite, we only discard a single static value
    ; TC=Constrained).

check_bdy_aux(truth,Constrained,Constrained).

check_bdy_aux(external_pred_call(FunName,_Args),Constrained,Constrained) :-
    external_pred_always_true(FunName).

check_inf_cl_body/3

check_result_instantiation/2

combine_names_and_types/3

construct_closure/4

construct_closure_if_necessary/4

construct_complement_closure/3

construct_greater_equal_closure/2

construct_less_equal_closure/2

construct_less_equal_closure/4

construct_member_closure/5

construct_not_member_closure/5

construct_unary_closure/4

contains_infinite_type/3

convert_type_to_value/2

does_not_occur_in/2

get_bound/2

get_domain_range_for_closure_types/3

get_names_and_types/3

get_recursive_identifier_of_closure/2

get_recursive_identifier_of_closure_body/2

greater_typing/3

identifier_equality/5

identifier_equality_aux/7

interval_up_to_inf/2

is_closure/4

is_closure_or_integer_set/4

is_full_id_closure/3

is_id_closure_over/5

is_infinite_equality_closure/3

is_infinite_non_injective_closure/1

is_integer_val/2

is_lambda_closure/7

is_lambda_comprehension_set/4

is_lambda_value_domain_closure/5

is_lambda_value_domain_normal_closure/5

is_member_closure/5

is_member_closure_aux/4

is_member_closure_with_info/6

is_not_member_closure/5

is_not_member_closure_aux/4

is_not_member_global_set/3

is_not_member_value_closure/3

is_not_member_value_closure_or_integerset/3

is_recursive_closure/1

is_recursive_closure/3

is_special_infinite_closure/3

is_static_expr_of_infinite_type/1

is_static_expr_of_infinite_type2/2

is_symbolic_closure/1

is_symbolic_closure/3

is_val_of_infinite_type/2

mark_closure_as_recursive/2

mark_closure_as_symbolic/2

mark_info/3

select_equality/6

Determinacy Checker

Determinacy Checker:

! 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(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 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'),_76357,[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(prob_release,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),_86561,[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),_84897,[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),_66389,[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'),_35547,[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 extrasrc(json_parser) does not exist
! goal: absolute_file_name(extrasrc(json_parser),_53909,[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 covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_89021,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.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'),_89021,[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 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(tools_lists) does not exist
! goal: absolute_file_name(probsrc(tools_lists),_114875,[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),_117019,[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(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_140327,[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),_201907,[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(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_202195,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/input_syntax_tree.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),_202053,[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'),_207605,[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),_206841,[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),_206841,[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 chrsrc(chr_integer_inequality) does not exist
! goal: absolute_file_name(chrsrc(chr_integer_inequality),_208137,[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(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_207463,[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),_208457,[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),_202053,[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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_220825,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/succeed_max.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),_220679,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xtl_interface.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'),_223959,[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 extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_220825,[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(avl_tools) does not exist
! goal: absolute_file_name(probsrc(avl_tools),_220967,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/state_packing.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(btypechecker) does not exist
! goal: absolute_file_name(probsrc(btypechecker),_208315,[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(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_202053,[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),_194655,[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(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_194655,[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),_196461,[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(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_194655,[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: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),_191521,[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 kodkodsrc(kodkod) does not exist
! goal: absolute_file_name(kodkodsrc(kodkod),_160125,[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(closures) does not exist
! goal: absolute_file_name(probsrc(closures),_159983,[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 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),_146167,[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),_140473,[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:exists_source/1
! procedure user:exists_source/1 does not exist
! goal: user:exists_source(library(atts))
! 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),_123561,[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'),_123561,[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),_117019,[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 probsrc(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_114875,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/delay.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(performance_messages) does not exist
! goal: absolute_file_name(probsrc(performance_messages),_114875,[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(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),_89021,[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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_63167,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_objects.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_57473,[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 probsrc(clpfd_interface) does not exist
! goal: absolute_file_name(probsrc(clpfd_interface),_53909,[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(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_24501,[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 probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_24647,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/partition_detection.pl')])
* Non-determinate: closures:interval_up_to_inf/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: closures:interval_up_to_inf/2 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: closures:check_bdy_aux/3 (clause 5)
* Indexing cannot distinguish this from clause 6.
* Non-determinate: closures:check_bdy_aux/3 (clause 6)
* Indexing cannot distinguish this from clause 7.
* Non-determinate: closures:check_bdy_aux/3 (clause 7)
* Indexing cannot distinguish this from clause 8.
* Non-determinate: closures:mark_closure3/3 (clause 2)
* Calls nondet predicate closures:debug_println/2 .

Name: external_pred_always_true/1	Module: external_functions
Name: =/2
Name: select/3	Module: foo_error
Name: ->/3
Name: is_static_expr_of_infinite_type/1	Module: closures
Name: get_texpr_id/2	Module: bsyntaxtree
Name: member/2
Name: not/1
Name: less_typing/3	Module: closures
Name: greater_typing/3	Module: closures
Name: definitely_not_empty_and_finite/1	Module: b_ast_cleanup
Name: ->/2
Name: definitely_infinite/1	Module: b_ast_cleanup
Name: is_infinite_type/1	Module: typing_tools
Name: !
Name: does_not_occur_in/2	Module: closures
Name: check_inf_cl_body/3	Module: closures
Name: true

Name: is_infinite_equality_closure/3	Module: closures
Name: check_bdy_aux/3	Module: closures

Name: construct_not_member_closure/5	Module: closures
Name: construct_member_closure/5	Module: closures

Name: construct_greater_equal_closure/2	Module: closures
Name: construct_not_member_closure/5	Module: closures
Name: construct_member_closure/5	Module: closures
Name: construct_less_equal_closure/4	Module: closures

Name: =/2
Name: !
Name: construct_unary_closure/4	Module: closures

Name: b_generate_closure_if_necessary/6	Module: b_interpreter
Name: is_lambda_value_domain_normal_closure/5	Module: closures

Name: RECURSIVE_CALL/3	Module: closures
Name: true
Name: member/2
Name: not/1
Name: is_infinite_type/1	Module: typing_tools
Name: ->/3

Name: symbolic_functionality_check_closure/2	Module: custom_explicit_sets
Name: symbolic_injectivity_check_closure/2	Module: custom_explicit_sets

Name: b_compile/6	Module: b_compiler
Name: get_recursive_identifier_of_closure/2	Module: closures

Name: =/2
Name: is_definitely_maximal_set/1	Module: custom_explicit_sets
Name: ->/3
Name: nonvar/1
Name: is_member_closure/5	Module: closures
Name: convert_type_to_value/2	Module: closures
Name: !

Name: contains_infinite_type/3	Module: closures
Name: true
Name: member/2
Name: ->/3
Name: check_inf_cl_body/3	Module: closures
Name: =/2
Name: not/1

Name: is_infinite_type/1	Module: typing_tools
Name: \=/2
Name: nth1/3	Module: foo_error
Name: =/2
Name: append/3
Name: get_texpr_id/2	Module: bsyntaxtree

Name: x_get_custom_explanation_subexpressions/5	Module: bvisual
Name: is_lambda/4	Module: b_ast_cleanup
Name: is_lambda_comprehension_set/4	Module: closures
Name: is_lambda_value_domain_normal_closure/5	Module: closures

Name: eval_codes_aux0/6	Module: eval_strings
Name: is_lambda/4	Module: b_ast_cleanup

Name: =/2
Name: construct_one_element_custom_set/2	Module: custom_explicit_sets
Name: ground_value/1	Module: kernel_tools
Name: ->/3

Name: is_not_member_closure/5	Module: closures
Name: is_special_closure/4	Module: custom_explicit_sets

Name: is_not_member_value_closure/3	Module: closures
Name: is_not_member_global_set/3	Module: closures
Name: !

Name: is_infinite_type/1	Module: typing_tools
Name: is_val_of_infinite_type/2	Module: closures

Name: to_be_marked_as_symbolic_aux/2	Module: b_interpreter
Name: cannot_be_normalised_in_avl/1	Module: store
Name: transform_result_into_set/2	Module: delay
Name: expand_closure_value2/6	Module: store
Name: convert_list_of_expressions_into_set1/5	Module: b_interpreter
Name: binop_to_be_marked_as_symbolic/3	Module: b_interpreter

Name: is_infinite_type/1	Module: typing_tools
Name: RECURSIVE_CALL/2	Module: closures
Name: true
Name: ->/3
Name: fail
Name: !
Name: var/1

Name: generate_recursive_closure/8	Module: b_interpreter
Name: mark_closure3/3	Module: closures

Name: b_compute_expression2/7	Module: b_interpreter
Name: is_lambda_value_domain_normal_closure/5	Module: closures
Name: b_add_constant_definition_aux/9	Module: b_interpreter
Name: b_compute_comprehension_set_sym/3	Module: b_interpreter
Name: b_compute_comprehension_set_aux/4	Module: b_interpreter
Name: b_compute_comprehension_set_symbolic/7	Module: b_interpreter

prob_prolog/src/closures.pl

Modules

Predicates of closures

Module Information

498 Lines

60 Predicates

Imported Modules: self_check lists

32 Exports

24 specified Imports

Predicates:

Determinacy Checker: