Dynamic Predicates: prints_count/1 count/1 last_bt_timer/2 id_counter/1

1848 Lines

183 Predicates

Imported Modules: module_information lists system self_check lists samsort

140 Exports

24 specified Imports

Imports	Exports
Name: runtime_application_path/1 Module: pathes Name: reraise_important_exception/1 Module: tools_meta Name: safe_on_exception/3 Module: tools_meta Name: add_warning/4 Module: error_manager Name: add_error/3 Module: error_manager Name: add_internal_error/2 Module: error_manager Name: count_occurences/2 Module: tools_lists Name: string_concatenate/3 Module: tools_strings Name: safe_name/2 Module: tools_strings Name: current_directory/1 Module: file_systems Name: select/3 Module: lists Name: add_warning/3 Module: error_manager Name: ajoin/2 Module: tools_strings Name: ajoin_with_sep/3 Module: tools_strings Name: ajoin_with_limit/3 Module: tools_strings Name: add_error_and_fail/3 Module: error_manager Name: atom_codes_with_limit/2 Module: tools_strings Name: atom_codes_with_limit/3 Module: tools_strings Name: truncate_atom/3 Module: tools_strings Name: debug_mode/1 Module: debug Name: fast_read/2 Module: fastrw Name: debug_format/3 Module: debug Name: maplist/3 Module: lists Name: scanlist/4 Module: lists	Name: exact_member/2 Name: exact_member_lookup/4 Name: exact_member_replace/5 Name: remove/3 Name: remove_all/3 Name: insert/3 Name: remove_variables/3 Name: list_intersection/3 Name: list_difference/3 Name: disjoint_list_union/3 Name: lists_are_disjoint/2 Name: string_concatenate/3 Name: is_upper_case_name/1 Name: print_message/1 Name: print_message_with_max_depth/2 Name: print_short_msg/1 Name: print_bt_message/1 Name: print_bt_trace_message/1 Name: bt_trace/1 Name: format_bt/2 Name: print_wtime/1 Name: print_mb/1 Name: print_gb/1 Name: prints/1 Name: host_platform/1 Name: platform_is_64_bit/0 Name: host_processor/1 Name: max_tagged_integer/1 Name: max_tagged_pow2/1 Name: is_tagged_integer/1 Name: is_absolute_path/1 Name: split_common_path/4 Name: gen_relative_path/3 Name: gen_relative_path_to_cur_dir/2 Name: get_parent_directory/2 Name: get_parent_directory_name/2 Name: get_parent_directory_of_directory/2 Name: get_tail_filename/2 Name: get_modulename_filename/2 Name: get_filename_extension/2 Name: get_option_from_list/4 Name: get_options_from_list/2 Name: get_options/4 Name: get_options/5 Name: arg_is_number/2 Name: arg_is_number_or_wildcard/2 Name: check_filename_arg/2 Name: arg_is_integer/2 Name: split_filename/3 Name: safe_absolute_file_name/2 Name: safe_absolute_file_name/3 Name: host_file_name_case_insensitive/0 Name: same_file_name/2 Name: filter/4 Name: flatten/2 Name: split_last/4 Name: split_atom/3 Name: split_chars/3 Name: split_complex_sep/3 Name: latex_escape_atom/2 Name: b_escape_string_atom/2 Name: b_string_escape_codes/2 Name: string_escape/2 Name: print_escaped/1 Name: simple_dot_string_escape/2 Name: html_escape/2 Name: html_escape_codes/2 Name: xml_attribute_escape/2 Name: read_term_from_file/2 Name: read_string_from_file/2 Name: read_string_from_file/3 Name: safe_read_string_from_file/3 Name: read_atom_from_file/3 Name: open_temp_file/3 Name: open_temp_file/4 Name: detect_xml_encoding/3 Name: ajoin/2 Name: ajoin_with_limit/3 Name: ajoin_with_sep/3 Name: substitute/4 Name: catch_call/1 Name: observe_user_interrupt_signal/3 Name: convert_list_into_pairs/2 Name: convert_pairs_into_list/3 Name: safe_univ/2 Name: safe_univ_no_cutoff/2 Name: safe_sort/3 Name: safe_set_sort/3 Name: safe_functor/4 Name: safe_atom_codes/2 Name: safe_atom_chars/3 Name: atom_codes_with_limit/2 Name: atom_codes_with_limit/3 Name: truncate_atom/3 Name: wrap_and_truncate_atom/4 Name: safe_number_codes/2 Name: ensure_atom/2 Name: number_suffix/3 Name: print_size_of_table/1 Name: print_runtime/0 Name: start_ms_timer/1 Name: stop_ms_timer/2 Name: stop_ms_timer/1 Name: stop_ms_timer_with_msg/2 Name: stop_ms_timer_with_debug_msg/2 Name: stop_ms_walltimer_with_msg/2 Name: bt_start_ms_timer/1 Name: bt_stop_ms_timer/1 Name: get_elapsed_walltime/2 Name: get_elapsed_timer/2 Name: combiner_timer/3 Name: get_elapsed_runtime/2 Name: cputime/1 Name: walltime/1 Name: convert_ms_time_to_string/2 Name: retract_with_statistics/2 Name: statistics_memory_used/1 Name: get_memory_used/1 Name: print_memory_used_difference/2 Name: print_memory_used/1 Name: print_memory_used_wo_gc/0 Name: print_memory_used_wo_gc/1 Name: split_list/4 Name: split_list_idx/5 Name: re_split_list_idx/4 Name: minimize_lasso/4 Name: map_split_list/4 Name: foldl/4 Name: foldl/5 Name: foldl/6 Name: maplist5/5 Name: average/2 Name: map_optlist/2 Name: optlist_to_list/2 Name: space_call/1 Name: assert_once/1 Name: unique_id/2 Name: get_PROBPATH/1 Name: atom_to_number/2 Name: get_set_optional_prolog_flag/3

Imports

Exports

Name: runtime_application_path/1

Module: pathes

Name: reraise_important_exception/1

Module: tools_meta

Name: safe_on_exception/3

Module: tools_meta

Name: add_warning/4

Module: error_manager

Name: add_error/3

Module: error_manager

Name: add_internal_error/2

Module: error_manager

Name: count_occurences/2

Module: tools_lists

Name: string_concatenate/3

Module: tools_strings

Name: safe_name/2

Module: tools_strings

Name: current_directory/1

Module: file_systems

Name: select/3

Module: lists

Name: add_warning/3

Module: error_manager

Name: ajoin/2

Module: tools_strings

Name: ajoin_with_sep/3

Module: tools_strings

Name: ajoin_with_limit/3

Module: tools_strings

Name: add_error_and_fail/3

Module: error_manager

Name: atom_codes_with_limit/2

Module: tools_strings

Name: atom_codes_with_limit/3

Module: tools_strings

Name: truncate_atom/3

Module: tools_strings

Name: debug_mode/1

Module: debug

Name: fast_read/2

Module: fastrw

Name: debug_format/3

Module: debug

Name: maplist/3

Module: lists

Name: scanlist/4

Module: lists

Name: exact_member/2

Name: exact_member_lookup/4

Name: exact_member_replace/5

Name: remove/3

Name: remove_all/3

Name: insert/3

Name: remove_variables/3

Name: list_intersection/3

Name: list_difference/3

Name: disjoint_list_union/3

Name: lists_are_disjoint/2

Name: string_concatenate/3

Name: is_upper_case_name/1

Name: print_message/1

Name: print_message_with_max_depth/2

Name: print_short_msg/1

Name: print_bt_message/1

Name: print_bt_trace_message/1

Name: bt_trace/1

Name: format_bt/2

Name: print_wtime/1

Name: print_mb/1

Name: print_gb/1

Name: prints/1

Name: host_platform/1

Name: platform_is_64_bit/0

Name: host_processor/1

Name: max_tagged_integer/1

Name: max_tagged_pow2/1

Name: is_tagged_integer/1

Name: is_absolute_path/1

Name: split_common_path/4

Name: gen_relative_path/3

Name: gen_relative_path_to_cur_dir/2

Name: get_parent_directory/2

Name: get_parent_directory_name/2

Name: get_parent_directory_of_directory/2

Name: get_tail_filename/2

Name: get_modulename_filename/2

Name: get_filename_extension/2

Name: get_option_from_list/4

Name: get_options_from_list/2

Name: get_options/4

Name: get_options/5

Name: arg_is_number/2

Name: arg_is_number_or_wildcard/2

Name: check_filename_arg/2

Name: arg_is_integer/2

Name: split_filename/3

Name: safe_absolute_file_name/2

Name: safe_absolute_file_name/3

Name: host_file_name_case_insensitive/0

Name: same_file_name/2

Name: filter/4

Name: flatten/2

Name: split_last/4

Name: split_atom/3

Name: split_chars/3

Name: split_complex_sep/3

Name: latex_escape_atom/2

Name: b_escape_string_atom/2

Name: b_string_escape_codes/2

Name: string_escape/2

Name: print_escaped/1

Name: simple_dot_string_escape/2

Name: html_escape/2

Name: html_escape_codes/2

Name: xml_attribute_escape/2

Name: read_term_from_file/2

Name: read_string_from_file/2

Name: read_string_from_file/3

Name: safe_read_string_from_file/3

Name: read_atom_from_file/3

Name: open_temp_file/3

Name: open_temp_file/4

Name: detect_xml_encoding/3

Name: ajoin/2

Name: ajoin_with_limit/3

Name: ajoin_with_sep/3

Name: substitute/4

Name: catch_call/1

Name: observe_user_interrupt_signal/3

Name: convert_list_into_pairs/2

Name: convert_pairs_into_list/3

Name: safe_univ/2

Name: safe_univ_no_cutoff/2

Name: safe_sort/3

Name: safe_set_sort/3

Name: safe_functor/4

Name: safe_atom_codes/2

Name: safe_atom_chars/3

Name: atom_codes_with_limit/2

Name: atom_codes_with_limit/3

Name: truncate_atom/3

Name: wrap_and_truncate_atom/4

Name: safe_number_codes/2

Name: ensure_atom/2

Name: number_suffix/3

Name: print_size_of_table/1

Name: print_runtime/0

Name: start_ms_timer/1

Name: stop_ms_timer/2

Name: stop_ms_timer/1

Name: stop_ms_timer_with_msg/2

Name: stop_ms_timer_with_debug_msg/2

Name: stop_ms_walltimer_with_msg/2

Name: bt_start_ms_timer/1

Name: bt_stop_ms_timer/1

Name: get_elapsed_walltime/2

Name: get_elapsed_timer/2

Name: combiner_timer/3

Name: get_elapsed_runtime/2

Name: cputime/1

Name: walltime/1

Name: convert_ms_time_to_string/2

Name: retract_with_statistics/2

Name: statistics_memory_used/1

Name: get_memory_used/1

Name: print_memory_used_difference/2

Name: print_memory_used/1

Name: print_memory_used_wo_gc/0

Name: print_memory_used_wo_gc/1

Name: split_list/4

Name: split_list_idx/5

Name: re_split_list_idx/4

Name: minimize_lasso/4

Name: map_split_list/4

Name: foldl/4

Name: foldl/5

Name: foldl/6

Name: maplist5/5

Name: average/2

Name: map_optlist/2

Name: optlist_to_list/2

Name: space_call/1

Name: assert_once/1

Name: unique_id/2

Name: get_PROBPATH/1

Name: atom_to_number/2

Name: get_set_optional_prolog_flag/3

Predicates

Predicates:

arg_is_integer/2

arg_is_number/2

arg_is_number_or_wildcard/2

b_escape_string_atom/2

b_string_escape_codes/2

case_insensitive_match/2

check_filename_arg/2

check_for_multiples/3

convert_list_into_pairs/2

convert_ms_time_to_hms/5

convert_ms_time_to_string/2

convert_pairs_into_list/3

cut_off_list/3

detect_xml_encoding/3

disjoint_list_union/3

dot_string_escape_map/2

gen_relative_path_to_cur_dir/2

get_PROBPATH/1

get_calls_for_table/2

get_elapsed_runtime/2

get_elapsed_timer/2

get_elapsed_walltime/2

get_filename_extension/2

get_memory_used/1

get_memory_used_wo_gc/1

get_modulename_filename/2

get_next_match/4

get_next_word/4

get_next_word_until_sep/4

get_option_from_list/4

get_options/4

get_options/5

get_options_from_list/2

get_parent_directory/2

get_parent_directory_name/2

get_parent_directory_of_directory/2

get_path_separator/1

get_set_optional_prolog_flag/3

get_stdlib_path/1

get_tail_filename/2

host_file_name_case_insensitive/0

host_file_name_case_insensitive/1

html_escape/2

html_escape_codes/2

html_string_escape_map/2

just_for_unit_test_add/3

just_for_unit_test_add2/4

just_for_unit_test_add3/5

optlist_to_list_aux/4

print_memory_used_difference/2

print_memory_used_wo_gc/0

print_memory_used_wo_gc/1

print_runtime/0

print_size_of_table/1

re_split_list_idx/4

read_atom_from_file/3

read_quoted_xml_string_contents/2

read_string/2

read_string_from_file/2

read_string_from_file/3

read_term_from_file/2

read_term_from_file2/4

retract_with_statistics/2

retract_with_statistics/3

safe_absolute_file_name/2

safe_absolute_file_name/3

safe_read_string_from_file/3

safe_set_sort/3

safe_sort/3

safe_univ/2

safe_univ_no_cutoff/2

same_file_name/2

simple_dot_esc/2

simple_dot_string_escape/2

split_atom_with_empty/3

statistics_memory_used/1

stop_ms_timer/1

stop_ms_timer/2

stop_ms_timer_with_debug_msg/2

stop_ms_timer_with_msg/2

stop_ms_walltimer_with_msg/2

valid_backslash_escape/1

wrap_and_truncate_atom/4

wrap_and_truncate_codes/6

x_atom_concat_rev/3

x_string_escape_map/2

xml_attr_escape/3

xml_attribute_escape/2

arg_is_integer/2

arg_is_number/2

arg_is_number_or_wildcard/2

Meta: assert_once(0)

b_escape_string_atom/2

b_string_escape_codes/2

bt_start_ms_timer/1

bt_stop_ms_timer/1

call_optional/2

Meta: call_optional(1,-)

call_optional_aux/3

Meta: call_optional_aux(-,1,-)

Block: call_optional_aux(-,?,?)

case_insensitive_match/2

check_filename_arg/2

check_for_multiples/3

convert_list_into_pairs/2

convert_ms_time_to_hms/5

convert_ms_time_to_string/2

convert_pairs_into_list/3

cut_off_list/3

detect_xml_encoding/3

disjoint_list_union/3

dot_string_escape_map/2

Description:
:- use_module(library(file_systems)). %% not required ?
:- use_module(library(codesio)).

Meta: filter(1,*,*,*)

foldl/4

Meta: foldl(3,?,?,?)

foldl/5

Meta: foldl(4,?,?,?,?)

foldl/6

Meta: foldl(5,?,?,?,?,?)

foldl2/4

Meta: foldl2(?,3,?,?)

foldl2/5

Meta: foldl2(?,4,?,?,?)

foldl2/6

Meta: foldl2(?,5,?,?,?,?)

gen_relative_path/3

gen_relative_path_to_cur_dir/2

get_PROBPATH/1

get_calls_for_table/2

Meta: get_calls_for_table(:,-)

get_elapsed_runtime/2

get_elapsed_timer/2

get_elapsed_walltime/2

get_filename_extension/2

get_memory_used/1

get_memory_used_wo_gc/1

get_modulename_filename/2

get_next_match/4

get_next_word/4

get_next_word_until_sep/4

get_option_from_list/4

get_options/4

Meta: get_options(+,4,-,-)

get_options/5

Meta: get_options(+,4,-,-,0)

get_options_from_list/2

get_parent_directory/2

get_parent_directory_name/2

get_parent_directory_of_directory/2

get_path_separator/1

get_set_optional_prolog_flag/3

get_stdlib_path/1

get_tail_filename/2

host_file_name_case_insensitive/0

host_file_name_case_insensitive/1

html_escape/2

html_escape_codes/2

html_string_escape_map/2

just_for_unit_test_add/3

just_for_unit_test_add2/4

just_for_unit_test_add3/5

Meta: map_optlist(1,-)

map_optlist_aux/2

Meta: map_optlist_aux(-,1)

Block: map_optlist_aux(-,?)

map_path_separator/2

map_split_list/4

Meta: map_split_list(2,?,?,?)

map_split_list2/4

Meta: map_split_list2(?,2,?,?)

maplist5/5

Meta: maplist5(4,-,-,-,-)

Block: optlist_to_list(-,?)

optlist_to_list_aux/4

Block: optlist_to_list_aux(-,?,?,?)

print_memory_used_difference/2

print_memory_used_wo_gc/0

print_memory_used_wo_gc/1

print_runtime/0

print_size_of_table/1

Meta: print_size_of_table(:)

re_split_list_idx/4

read_atom_from_file/3

read_quoted_xml_string_contents/2

read_string/2

read_string_from_file/2

read_string_from_file/3

read_term_from_file/2

read_term_from_file2/4

Meta: retract_all_count(0,-,-)

retract_with_statistics/2

retract_with_statistics/3

safe_absolute_file_name/2

safe_absolute_file_name/3

safe_read_string_from_file/3

safe_set_sort/3

safe_sort/3

safe_univ/2

safe_univ_no_cutoff/2

same_file_name/2

simple_dot_esc/2

simple_dot_string_escape/2

Meta: space_call(0)

split_atom_with_empty/3

Meta: split_list(1,?,?,?)

split_list2/4

Meta: split_list2(?,1,?,?)

split_list_idx/5

Meta: split_list_idx(1,?,?,?,?)

split_list_idx2/5

Meta: split_list_idx2(?,1,?,?,?)

split_wempty2/3

squash_list/3

start_ms_timer/1

statistics_memory_used/1

stop_ms_timer/1

stop_ms_timer/2

stop_ms_timer_with_debug_msg/2

stop_ms_timer_with_msg/2

stop_ms_walltimer_with_msg/2

string_escape/2

string_escape/3

Meta: string_escape(2,-,-)

valid_backslash_escape/1

wrap_and_truncate_atom/4

wrap_and_truncate_codes/6

x_atom_concat_rev/3

x_string_escape_map/2

x_string_escape_map('\344\', 'ä'). % a mit Umlaut

x_string_escape_map('\366\', 'ö'). % o mit Umlaut

x_string_escape_map('\374\', 'ü'). % u mit Umlaut

x_string_escape_map('\304\', 'Ä'). % A mit Umlaut

x_string_escape_map('\326\', 'Ö'). % O mit Umlaut

x_string_escape_map('\334\', 'Ü'). % U mit Umlaut

x_string_escape_map('\353\', 'ë'). % e mit Umlaut

x_string_escape_map('\313\', 'Ë'). % E mit Umlaut

x_string_escape_map('\350\', 'è'). % e mit Accent

x_string_escape_map('\351\', 'é').

x_string_escape_map('\352\', 'ê').

x_string_escape_map('\310\', 'È'). % E mit Accent

x_string_escape_map('\311\', 'É').

x_string_escape_map('\312\', 'Ê').

x_string_escape_map('\340\', 'à'). % a mit Accent

x_string_escape_map('\341\', 'á').

x_string_escape_map('\342\', 'â').

x_string_escape_map('\300\', 'À'). % A mit Accent

x_string_escape_map('\301\', 'Á').

x_string_escape_map('\302\', 'Â').

x_string_escape_map('\354\', 'ì'). % i mit Accent

x_string_escape_map('\355\', 'í').

x_string_escape_map('\356\', 'î').

x_string_escape_map('\314\', 'Ì'). % I mit Accent

x_string_escape_map('\315\', 'Í').

x_string_escape_map('\316\', 'Î').

x_string_escape_map('\362\', 'ò'). % o mit Accent

x_string_escape_map('\363\', 'ó').

x_string_escape_map('\364\', 'ô').

x_string_escape_map('\322\', 'Ò'). % O mit Accent

x_string_escape_map('\323\', 'Ó').

x_string_escape_map('\324\', 'Ô').

x_string_escape_map('\347\', 'ç'). % cedille

x_string_escape_map('\307\', 'Ç'). % Cedille

x_string_escape_map('\337\', 'ß'). % scharfes S (sz)

x_string_escape_map('\361\', 'ñ'). % n with tilde

x_string_escape_map('\1661\', 'α'). % Greek

x_string_escape_map('\1662\', 'β').

x_string_escape_map('\1663\', 'γ').

x_string_escape_map('\1664\', 'δ').

x_string_escape_map('\1665\', 'ε').

x_string_escape_map('\1666\', 'ζ').

x_string_escape_map('\1667\', 'η').

x_string_escape_map('\1670\', 'θ').

x_string_escape_map('\1671\', 'ι').

x_string_escape_map('\1672\', 'κ').

x_string_escape_map('\1673\', 'λ').

x_string_escape_map('\1674\', 'μ').

x_string_escape_map('\1675\', 'ν').

x_string_escape_map('\1676\', 'ξ').

x_string_escape_map('\1677\', 'ο').

x_string_escape_map('\1700\', 'π').

x_string_escape_map('\1701\', 'ρ').

x_string_escape_map('\1702\', 'ς').

x_string_escape_map('\1703\', 'σ').

x_string_escape_map('\1704\', 'τ').

x_string_escape_map('\1705\', 'υ').

x_string_escape_map('\1706\', 'φ').

x_string_escape_map('\1707\', 'χ').

x_string_escape_map('\1710\', 'ψ').

x_string_escape_map('\1711\', 'ω').

x_string_escape_map('\1624\', 'Δ').

x_string_escape_map('\1630\', 'Θ').

x_string_escape_map('\1633\', 'Λ').

x_string_escape_map('\1636\', 'Ξ').

x_string_escape_map('\1645\', 'Υ').

x_string_escape_map('\1647\', 'Χ').

x_string_escape_map('\1650\', 'Ψ').

x_string_escape_map('\1651\', 'Ω').

x_string_escape_map('\21242\','⊢'). %vdash turnstyle decimal: 8866

x_string_escape_map('\21250\','⊨'). %models turnstyle decimal: 8872

x_string_escape_map('\x21D4\','⇔'). % equivalence

x_string_escape_map('\x21D2\','⇒'). % implication

x_string_escape_map('\x2203\','∃'). % exists

x_string_escape_map('\x2200\','∀'). % forall

x_string_escape_map('·','·'). % dot used for quantifiers, ASCII 183

x_string_escape_map('\x2227\','∧'). % conjunct

x_string_escape_map('\x2228\','∨'). % disjunct

x_string_escape_map('\xAC\','¬'). % negation

x_string_escape_map('\x21A6\','↦'). % maplet |->

x_string_escape_map('\x2286\','⊆'). % <: subseteq

x_string_escape_map('\x222A\','∪'). % union

x_string_escape_map('\x2229\','∩'). % intersection

x_string_escape_map('\x2205\','∅'). % empty set

x_string_escape_map('\x2260\','≠'). % not equal

x_string_escape_map('\x2264\','≤'). % less equal

x_string_escape_map('\x2265\','≥'). % greater equal

x_string_escape_map('\x2124\','ℤ'). % Z (INTEGER)

x_string_escape_map('\x2115\','ℕ'). % NATURAL

x_string_escape_map(Unicode, Result) :- atom(Unicode),
    atom_codes(Unicode,[Nr]), Nr>127,
    !,
    ajoin(['&#',Nr,';'],Result).

x_string_escape_map(X, X).

xml_attr_escape/3

xml_attribute_escape/2

Determinacy Checker

Determinacy Checker:

* Non-determinate: tools:map_host_proc1/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:map_host_proc1/3 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: tools:map_host_proc1/3 (clause 5)
* Indexing cannot distinguish this from clause 6.
! 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(no_terminal_colors,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_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),_86735,[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'),_55893,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.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),_67807,[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),_66143,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
* Non-determinate: tools:format_bt/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:print_bt_message/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:print_bt_trace_message/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:bt_trace/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:remove/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:filter/4 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:is_a_comment/3 (clause 1)
* Calls nondet predicate tools:prefix/2 .
* Non-determinate: tools:comparator/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:comparator/3 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: tools:comparator/3 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: tools:print_size_of_table/1 (clause 2)
* Calls nondet predicate tools:count/1 .
* Non-determinate: tools:inc_size_of_table/0 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: tools:bt_start_ms_timer/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:bt_stop_ms_timer/1 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:bt_stop_ms_timer/1 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: tools:retract_with_statistics/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:detect_xml_encoding/3 (clause 1)
* Calls nondet predicate tools:debug_format/3 .
* Non-determinate: tools:dot_string_escape_map/2 (clause 1)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: tools:dot_string_escape_map/2 (clause 2)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: tools:dot_string_escape_map/2 (clause 3)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: tools:dot_string_escape_map/2 (clause 4)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: tools:dot_string_escape_map/2 (clause 5)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: tools:dot_string_escape_map/2 (clause 6)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: tools:dot_string_escape_map/2 (clause 7)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: tools:dot_string_escape_map/2 (clause 8)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: tools:dot_string_escape_map/2 (clause 9)
* Indexing cannot distinguish this from clause 10.
* Non-determinate: tools:x_string_escape_map/2 (clause 1)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 2)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 3)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 4)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 5)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 6)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 7)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 8)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 9)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 10)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 11)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 12)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 13)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 14)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 15)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 16)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 17)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 18)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 19)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 20)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 21)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 22)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 23)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 24)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 25)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 26)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 27)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 28)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 29)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 30)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 31)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 32)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 33)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 34)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 35)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 36)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 37)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 38)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 39)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 40)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 41)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 42)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 43)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 44)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 45)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 46)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 47)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 48)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 49)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 50)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 51)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 52)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 53)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 54)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 55)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 56)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 57)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 58)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 59)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 60)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 61)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 62)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 63)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 64)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 65)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 66)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 67)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 68)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 69)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 70)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 71)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 72)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 73)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 74)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 75)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 76)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 77)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 78)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 79)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 80)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 81)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 82)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 83)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 84)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 85)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 86)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 87)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 88)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:x_string_escape_map/2 (clause 89)
* Indexing cannot distinguish this from clause 90.
* Non-determinate: tools:maplist5/5 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:map_path_separator/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: tools:atom_to_number/2 (clause 1)
* Indexing cannot distinguish this from clause 2.

Name: arg_is_number/2	Module: tools
Name: is/2
Name: append/3
Name: ->/3

Name: number/1
Name: safe_number_codes/2	Module: tools
Name: atom_codes/2
Name: atom/1
Name: =/2
Name: !

Name: translate_cvc4_tree/3	Module: model_translation
Name: cbc_test_case_generation/3	Module: prob_cli
Name: do_feasibility_analysis/2	Module: prob_cli
Name: mc_ok_arg/2	Module: prob_cli
Name: mcm_test_case_generation/4	Module: prob_cli
Name: tests_multiply_timeout/1	Module: test_runner
Name: check_filename_arg/2	Module: tools
Name: modify_timeout/3	Module: test_runner
Name: arg_is_number_or_wildcard/2	Module: tools
Name: arg_is_integer/2	Module: tools

Name: assertz/1
Name: true
Name: call/1
Name: ->/3

Name: atom_codes/2
Name: number_codes/2
Name: number/1
Name: catch/3
Name: atom/1

Name: translate_z3_expr/4	Module: model_translation
Name: get_version_numbers/6	Module: parsercall

Name: summarize_kodkod/2	Module: kodkod_test
Name: sum_time/3	Module: kodkod_test

Name: RECURSIVE_CALL/2	Module: tools
Name: !
Name: b_escape_code/2	Module: tools
Name: valid_backslash_escape/1	Module: tools
Name: not/1
Name: =/2

Name: b_escape_string_atom/2	Module: tools
Name: ppstring_opt_scramble/3	Module: translate
Name: get_state_value_change/4	Module: visb_visualiser
Name: escape_value_to_codes_for_js/2	Module: visb_visualiser
Name: pp_codes_opt_scramble/3	Module: translate

Name: fail
Name: format/2
Name: stop_ms_timer/2	Module: tools
Name: last_bt_timer/2	dynamic predicate
Name: retract/1
Name: assertz/1
Name: start_ms_timer/1	Module: tools
Name: retractall/1

Name: call/2
Name: call_optional_aux/3	Module: tools
Name: !
Name: is_optional_value/3	Module: tools

Name: RECURSIVE_CALL/3	Module: tools
Name: fail
Name: add_error/3	Module: error_manager
Name: =/2
Name: ->/3

Name: convert_sol_list_into_pairs/3	Module: custom_explicit_sets
Name: normal_closure_not_member/5	Module: custom_explicit_sets
Name: element_of_normal_closure/5	Module: custom_explicit_sets
Name: evaluate_result_expr/6	Module: custom_explicit_sets
Name: op_args/3	Module: external_functions
Name: translate_arg_to_b/2	Module: xtl_interface
Name: check_element_of_function_closure/6	Module: custom_explicit_sets
Name: maximize_closure2/6	Module: external_functions
Name: closure_membership_wf/6	Module: custom_explicit_sets

Name: ajoin/2	Module: tools_strings
Name: >/2
Name: ->/3
Name: convert_ms_time_to_hms/5	Module: tools

Name: stop_ms_timer_with_msg/2	Module: tools
Name: stop_probcli_timer/3	Module: prob_cli

Name: RECURSIVE_CALL/3	Module: tools
Name: insert_new/3	Module: tools

Name: RECURSIVE_CALL/4	Module: tools
Name: =/2
Name: call/2
Name: ->/3

Name: find_used_primed_ids2/4	Module: b_ast_cleanup
Name: treat_quantified_integers_as_sets/4	Module: kodkod2
Name: translate_value_to_kodkod/4	Module: kodkod_translate
Name: create_refmap_ids/3	Module: kodkod_typing
Name: apply_rewrite_rule_with_rename/8	Module: b_ast_cleanup_rewrite_rules
Name: create_refmap_types/3	Module: kodkod_typing
Name: type_check_in_machine_context/2	Module: solver_interface

Name: gen_relative_path_to_cur_dir/2	Module: tools
Name: extract_relative_file_name/2	Module: error_manager
Name: get_relative_path/3	Module: visb_visualiser

Name: get_stdlib_path/1	Module: tools
Name: ajoin/2	Module: tools_strings
Name: get_path_separator/1	Module: tools
Name: !
Name: >/2
Name: atom_length/2
Name: environ/2	Module: foo_error

Name: store_filenumbers/2	Module: bmachine
Name: load_visb_file/1	Module: visb_visualiser
Name: set_minor_animation_mode_from_file/1	Module: specfile
Name: check_tcl_path/0	Module: gui_tcltk.pl
Name: traverse/2	Module: test_runner
Name: load_main_file/3	Module: prob_cli
Name: get_full_machine_file_path/2	Module: prob_cli
Name: process_dot_command/3	Module: latex_processor
Name: run_probcli3/2	Module: prob_cli
Name: valid_test_file/4	Module: test_runner
Name: b_load_aux/1	Module: tcltk_interface
Name: is_dummy_machine_name/2	Module: bmachine_static_checks
Name: cli_load_files3/4	Module: prob_cli
Name: find_main_file_name/3	Module: bmachine

Name: get_memory_used_wo_gc/1	Module: tools
Name: garbage_collect_atoms
Name: garbage_collect

Name: retract_with_statistics/3	Module: tools
Name: space_call/1	Module: tools
Name: retract_with_statistics/2	Module: tools

Name: statistics_memory_used/1	Module: tools
Name: statistics/2

Name: loaded_root_filename/1	Module: prob_cli
Name: gen_preference_warnings/1	Module: preferences
Name: tcltk_check_sequence_from_file2/2	Module: b_trace_checking
Name: get_full_machine_file_path/2	Module: prob_cli
Name: print_transition_list_json/3	Module: b_trace_checking
Name: store_filenumbers/2	Module: bmachine
Name: find_main_file_name/3	Module: bmachine
Name: esc_step/1	Module: bmachine_static_checks

prob_prolog/src/tools.pl

Modules

Predicates of tools

Module Information

Dynamic Predicates: prints_count/1 count/1 last_bt_timer/2 id_counter/1

1848 Lines

183 Predicates

Imported Modules: module_information lists system self_check lists samsort

140 Exports

24 specified Imports

Predicates:

Name: get_options/4	Module: tools
Name: eval_line/1	Module: prob_cli
Name: cli_init_options2/2	Module: prob_cli
Name: test_file/3	Module: test_runner

Name: RECURSIVE_CALL/5	Module: tools
Name: =/2
Name: call/1
Name: format/2
Name: true
Name: ->/3
Name: </2
Name: length/2
Name: append/3
Name: call/5

Name: directory_listing_for_file/1	Module: disprover_test_runner_cli.pl
Name: update_latex_output_file/1	Module: latex_processor
Name: b_absolute_file_name_relative_to_main_machine/2	Module: bmachine
Name: get_full_machine_file_path/2	Module: prob_cli
Name: get_file_revision_info/2	Module: graphical_state_viewer_images
Name: generate_copy_command/2	Module: test_runner
Name: html_print_history/2	Module: graphical_state_viewer_images
Name: b_absolute_file_name_relative_to_opened_file/2	Module: specfile
Name: extract_relative_file_name/2	Module: error_manager
Name: get_HEAD_revision_info/2	Module: graphical_state_viewer_images
Name: b_absolute_file_name/3	Module: external_functions

Name: atom_chars/2
Name: strip_last/4	Module: tools
Name: =/2
Name: true
Name: is_path_slash/1	Module: tools
Name: append/3
Name: ->/3

Name: !
Name: map_path_separator/2	Module: tools
Name: host_platform/1	Module: foo_error

Name: format/2
Name: current_prolog_flag/2
Name: set_prolog_flag/2
Name: catch/3
Name: ->/3

Name: atom_concat/3
Name: runtime_application_path/1	Module: pathes

Name: =/2
Name: split_last_lst/4	Module: tools
Name: ->/3
Name: add_internal_error/2	Module: error_manager
Name: !
Name: compound/1

Name: extract_tail_file_name/2	Module: error_manager
Name: get_modulename_filename/2	Module: tools
Name: b_write_eventb_machine_to_classicalb_to_file/1	Module: bmachine
Name: get_java_command_for_parser/1	Module: parsercall
Name: same_file_name/2	Module: error_manager
Name: b_write_machine_representation_to_file/3	Module: bmachine
Name: show_cache_file_contents_for_machine/4	Module: value_persistance
Name: edit_file_with_editor/3	Module: tools_commands
Name: extract_subsidiary_tail_file_name/2	Module: error_manager
Name: cache_file_exists/3	Module: value_persistance
Name: write_file/1	Module: refinement_checker
Name: xml_log_machine_statistics/0	Module: prob_cli
Name: get_writable_compiled_filename/4	Module: system_call
Name: list_info/2	Module: external_functions

Name: host_file_name_case_insensitive/1	Module: tools
Name: host_platform/1	Module: foo_error