Dynamic Predicates: side_effect_occurred/1 current_state_id_for_external_fun/1 nr_of_printfs/1 external_fun_pref/2 instantiation_link/4 instantiation_level_reached/1 indentation_level/1 ref_walltime/1 prev_walltime/1 argv_string/2 argc_number/1 cached_gauss/1 last_walltime/1 open_stream/2 parse_pred_cache/3 parse_expr_cache/3

4866 Lines

580 Predicates

Imported Modules: error_manager self_check avl lists translate kernel_waitflags debug bsyntaxtree custom_explicit_sets kernel_objects file_systems system codesio bmachine timeout

26 Exports

153 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: current_state_id/1 Module: state_space Name: get_current_context_state/1 Module: state_space Name: add_error_wf/5 Module: kernel_waitflags Name: add_warning_wf/5 Module: kernel_waitflags Name: add_wd_error_span/4 Module: kernel_waitflags Name: check_arithmetic_function/1 Module: tools_portability Name: clpfd_gcd/3 Module: clpfd_interface Name: clpfd_lcm/3 Module: clpfd_interface Name: clpfd_abs/2 Module: clpfd_interface Name: clpfd_sign/2 Module: clpfd_interface Name: clpfd_eq_expr/2 Module: clpfd_interface Name: add_wd_error_span/4 Module: kernel_waitflags Name: singleton_set_element/4 Module: kernel_objects Name: singleton_set_element_wd/4 Module: kernel_objects Name: compaction/3 Module: kernel_z Name: clpfd_leq_expr/2 Module: clpfd_interface Name: clpfd_lt_expr/2 Module: clpfd_interface Name: leq_ordered_value/3 Module: kernel_ordering Name: register_event_listener/3 Module: eventhandling Name: b_string_append_wf/4 Module: kernel_strings Name: b_concat_sequence_of_strings_wf/4 Module: kernel_strings Name: b_string_reverse_wf/3 Module: kernel_strings Name: b_string_chars/2 Module: kernel_strings Name: b_string_codes/2 Module: kernel_strings Name: b_string_length/2 Module: kernel_strings Name: b_string_to_uppercase/2 Module: kernel_strings Name: b_string_to_lowercase/2 Module: kernel_strings Name: b_string_equal_case_insensitive/3 Module: kernel_strings Name: b_string_split_wf/4 Module: kernel_strings Name: b_string_join_wf/5 Module: kernel_strings Name: sublist/5 Module: lists Name: b_substring_wf/6 Module: kernel_strings Name: b_string_replace/4 Module: kernel_strings Name: get_freetype_id/2 Module: kernel_freetypes Name: get_freeval_type/3 Module: kernel_freetypes Name: registered_freetype_case_value/3 Module: kernel_freetypes Name: pretty_type/2 Module: translate Name: unify_types_werrors/4 Module: btypechecker Name: pretty_type/2 Module: translate Name: b_string_is_int/2 Module: kernel_strings Name: b_string_is_number/2 Module: kernel_strings Name: b_string_is_decimal/2 Module: kernel_strings Name: b_string_is_alphanumerical/2 Module: kernel_strings Name: split_chars/3 Module: tools Name: append_length/4 Module: lists Name: b_string_to_int_wf/4 Module: kernel_strings Name: int_to_b_string/2 Module: kernel_strings Name: int_to_dec_b_string/3 Module: kernel_strings Name: real_to_dec_b_string/4 Module: kernel_strings Name: to_b_string/2 Module: kernel_strings Name: to_b_string_with_options/3 Module: kernel_strings Name: format_to_b_string/3 Module: kernel_strings Name: b_get_fd_type_bounds/3 Module: b_global_sets Name: regexp_match/3 Module: regexp/regexp Name: is_regexp/1 Module: regexp/regexp Name: regexp_replace/5 Module: regexp/regexp Name: regexp_search_first/4 Module: regexp/regexp Name: regexp_search_first_detailed/5 Module: regexp/regexp Name: regexp_search_all/4 Module: regexp/regexp Name: raw_sha_hash/2 Module: probhash/probhash Name: normalise_value_for_var/3 Module: store Name: get_parent_directory/2 Module: tools Name: convert_b_sequence_to_list_of_atoms/3 Module: kernel_strings Name: my_term_hash/2 Module: hashing Name: statistics_memory_used/1 Module: tools Name: get_minimum_waitflag_prio/3 Module: kernel_waitflags Name: get_preference/2 Module: preferences Name: get_texpr_id/2 Module: bsyntaxtree Name: lookup_value_with_span_wf/6 Module: store Name: split_atom_string/3 Module: kernel_strings Name: random/3 Module: random Name: random/1 Module: random Name: random_member/2 Module: random Name: random_numlist/4 Module: random Name: is_real/2 Module: kernel_reals Name: random/1 Module: random Name: random_subseq/3 Module: random Name: random_permutation/2 Module: random Name: sleep/1 Module: system Name: ground_value_check/2 Module: kernel_tools Name: atom_prefix/2 Module: tools_strings Name: visited_expression/2 Module: state_space Name: match_atom/3 Module: tools_strings Name: property/2 Module: specfile Name: transition/4 Module: state_space Name: translate_event_with_src_and_target_id/5 Module: translate Name: get_operation_name/2 Module: specfile Name: get_operation_arguments/2 Module: specfile Name: get_operation_return_values_and_arguments/3 Module: specfile Name: convert_list_into_pairs/2 Module: tools Name: add_prob_deferred_set_elements_to_store/3 Module: b_global_sets Name: state_corresponds_to_fully_setup_b_machine/2 Module: specfile Name: equality_objects/3 Module: kernel_equality Name: term_hash/2 Module: terms Name: b_parse_machine_predicate/3 Module: bmachine Name: generate_code_sequence/3 Module: kernel_strings Name: visited_state_corresponds_to_initialised_b_machine/1 Module: state_space Name: history/1 Module: state_space Name: include_maplist/3 Module: tools_lists Name: is_initial_state_id/1 Module: state_space Name: machine_type/2 Module: b_machine_hierarchy Name: machine_type/2 Module: b_machine_hierarchy Name: get_full_b_machine/2 Module: bmachine Name: get_hex_codes/2 Module: tools_strings Name: get_hex_bytes/2 Module: tools_strings Name: b_machine_statistics/2 Module: bmachine Name: get_texpr_ids/2 Module: bsyntaxtree Name: get_texpr_label/2 Module: bsyntaxtree Name: get_tail_filename/2 Module: tools Name: ajoin_with_sep/3 Module: tools Name: ajoin/2 Module: tools_strings Name: get_parser_version/1 Module: parsercall Name: get_java_command_path/1 Module: parsercall Name: get_java_fullversion/3 Module: parsercall Name: version_str/1 Module: version Name: revision/1 Module: version Name: lastchangeddate/1 Module: version Name: get_current_breadth_first_level/1 Module: state_space_exploration_modes Name: get_state_space_stats/3 Module: state_space Name: get_complete_memoization_expansion/6 Module: memoization Name: stored_let_value/3 Module: eval_let_store Name: set_stored_let_value/3 Module: eval_let_store Name: retract_stored_let_value/3 Module: eval_let_store Name: reset_let_values/0 Module: eval_let_store Name: extend_state_with_stored_lets/2 Module: eval_let_store Name: get_stored_let_typing_scope/1 Module: eval_let_store Name: unify_types_werrors/4 Module: btypechecker Name: create_negation/2 Module: bsyntaxtree Name: b_optimize/6 Module: b_compiler Name: b_compute_expression/5 Module: b_interpreter Name: safe_create_texpr/3 Module: bsyntaxtree Name: ord_subtract/3 Module: ordsets Name: value_variables/2 Module: kernel_tools Name: ord_subtract/3 Module: ordsets Name: solve_predicate_with_satsolver/2 Module: satsolver/b2sat Name: clpfd_domain/3 Module: clpfd_interface Name: clpfd_inrange/3 Module: clpfd_interface Name: clpfd_size/2 Module: clpfd_interface Name: clpfd_eq/2 Module: clpfd_interface Name: bexpr_variables/2 Module: kernel_tools Name: apply_kodkod_or_other_optimisations/4 Module: solver_interface Name: read_string_from_file/3 Module: tools Name: detect_xml_encoding/3 Module: tools Name: is_of_type/2 Module: preferences Name: xml_parse/4 Module: xml_prob Name: xml_pp/1 Module: xml_prob Name: get_set_type/2 Module: bsyntaxtree Name: safe_number_codes/2 Module: tools Name: safe_atom_codes/2 Module: tools Name: read_byte_line/2 Module: tools_io Name: read_byte_word/2 Module: tools_io Name: put_bytes/2 Module: tools_io	Name: call_external_function/7 Name: call_external_predicate/8 Name: call_external_substitution/6 Name: reset_external_functions/0 Name: print_external_function_profile/0 Name: external_pred_always_true/1 Name: reset_side_effect_occurred/0 Name: side_effect_occurred/1 Name: performs_io/1 Name: not_declarative/1 Name: is_external_function_name/1 Name: get_external_function_type/3 Name: external_fun_type/3 Name: external_subst_enabling_condition/3 Name: external_fun_has_wd_condition/1 Name: external_fun_can_be_inverted/1 Name: external_function_requires_state/1 Name: do_not_evaluate_args/1 Name: reset_argv/0 Name: set_argv_from_list/1 Name: set_argv_from_atom/1 Name: set_current_state_for_external_fun/1 Name: clear_state_for_external_fun/0 Name: observe_parameters/2 Name: observe_state/1 Name: observe_value/2

Imports

Exports

Name: module_info/2

Module: module_information

Name: current_state_id/1

Module: state_space

Name: get_current_context_state/1

Module: state_space

Name: add_error_wf/5

Module: kernel_waitflags

Name: add_warning_wf/5

Module: kernel_waitflags

Name: add_wd_error_span/4

Module: kernel_waitflags

Name: check_arithmetic_function/1

Module: tools_portability

Name: clpfd_gcd/3

Module: clpfd_interface

Name: clpfd_lcm/3

Module: clpfd_interface

Name: clpfd_abs/2

Module: clpfd_interface

Name: clpfd_sign/2

Module: clpfd_interface

Name: clpfd_eq_expr/2

Module: clpfd_interface

Name: add_wd_error_span/4

Module: kernel_waitflags

Name: singleton_set_element/4

Module: kernel_objects

Name: singleton_set_element_wd/4

Module: kernel_objects

Name: compaction/3

Module: kernel_z

Name: clpfd_leq_expr/2

Module: clpfd_interface

Name: clpfd_lt_expr/2

Module: clpfd_interface

Name: leq_ordered_value/3

Module: kernel_ordering

Name: register_event_listener/3

Module: eventhandling

Name: b_string_append_wf/4

Module: kernel_strings

Name: b_concat_sequence_of_strings_wf/4

Module: kernel_strings

Name: b_string_reverse_wf/3

Module: kernel_strings

Name: b_string_chars/2

Module: kernel_strings

Name: b_string_codes/2

Module: kernel_strings

Name: b_string_length/2

Module: kernel_strings

Name: b_string_to_uppercase/2

Module: kernel_strings

Name: b_string_to_lowercase/2

Module: kernel_strings

Name: b_string_equal_case_insensitive/3

Module: kernel_strings

Name: b_string_split_wf/4

Module: kernel_strings

Name: b_string_join_wf/5

Module: kernel_strings

Name: sublist/5

Module: lists

Name: b_substring_wf/6

Module: kernel_strings

Name: b_string_replace/4

Module: kernel_strings

Name: get_freetype_id/2

Module: kernel_freetypes

Name: get_freeval_type/3

Module: kernel_freetypes

Name: registered_freetype_case_value/3

Module: kernel_freetypes

Name: pretty_type/2

Module: translate

Name: unify_types_werrors/4

Module: btypechecker

Name: pretty_type/2

Module: translate

Name: b_string_is_int/2

Module: kernel_strings

Name: b_string_is_number/2

Module: kernel_strings

Name: b_string_is_decimal/2

Module: kernel_strings

Name: b_string_is_alphanumerical/2

Module: kernel_strings

Name: split_chars/3

Module: tools

Name: append_length/4

Module: lists

Name: b_string_to_int_wf/4

Module: kernel_strings

Name: int_to_b_string/2

Module: kernel_strings

Name: int_to_dec_b_string/3

Module: kernel_strings

Name: real_to_dec_b_string/4

Module: kernel_strings

Name: to_b_string/2

Module: kernel_strings

Name: to_b_string_with_options/3

Module: kernel_strings

Name: format_to_b_string/3

Module: kernel_strings

Name: b_get_fd_type_bounds/3

Module: b_global_sets

Name: regexp_match/3

Module: regexp/regexp

Name: is_regexp/1

Module: regexp/regexp

Name: regexp_replace/5

Module: regexp/regexp

Name: regexp_search_first/4

Module: regexp/regexp

Name: regexp_search_first_detailed/5

Module: regexp/regexp

Name: regexp_search_all/4

Module: regexp/regexp

Name: raw_sha_hash/2

Module: probhash/probhash

Name: normalise_value_for_var/3

Module: store

Name: get_parent_directory/2

Module: tools

Name: convert_b_sequence_to_list_of_atoms/3

Module: kernel_strings

Name: my_term_hash/2

Module: hashing

Name: statistics_memory_used/1

Module: tools

Name: get_minimum_waitflag_prio/3

Module: kernel_waitflags

Name: get_preference/2

Module: preferences

Name: get_texpr_id/2

Module: bsyntaxtree

Name: lookup_value_with_span_wf/6

Module: store

Name: split_atom_string/3

Module: kernel_strings

Name: random/3

Module: random

Name: random/1

Module: random

Name: random_member/2

Module: random

Name: random_numlist/4

Module: random

Name: is_real/2

Module: kernel_reals

Name: random/1

Module: random

Name: random_subseq/3

Module: random

Name: random_permutation/2

Module: random

Name: sleep/1

Module: system

Name: ground_value_check/2

Module: kernel_tools

Name: atom_prefix/2

Module: tools_strings

Name: visited_expression/2

Module: state_space

Name: match_atom/3

Module: tools_strings

Name: property/2

Module: specfile

Name: transition/4

Module: state_space

Name: translate_event_with_src_and_target_id/5

Module: translate

Name: get_operation_name/2

Module: specfile

Name: get_operation_arguments/2

Module: specfile

Name: get_operation_return_values_and_arguments/3

Module: specfile

Name: convert_list_into_pairs/2

Module: tools

Name: add_prob_deferred_set_elements_to_store/3

Module: b_global_sets

Name: state_corresponds_to_fully_setup_b_machine/2

Module: specfile

Name: equality_objects/3

Module: kernel_equality

Name: term_hash/2

Module: terms

Name: b_parse_machine_predicate/3

Module: bmachine

Name: generate_code_sequence/3

Module: kernel_strings

Name: visited_state_corresponds_to_initialised_b_machine/1

Module: state_space

Name: history/1

Module: state_space

Name: include_maplist/3

Module: tools_lists

Name: is_initial_state_id/1

Module: state_space

Name: machine_type/2

Module: b_machine_hierarchy

Name: machine_type/2

Module: b_machine_hierarchy

Name: get_full_b_machine/2

Module: bmachine

Name: get_hex_codes/2

Module: tools_strings

Name: get_hex_bytes/2

Module: tools_strings

Name: b_machine_statistics/2

Module: bmachine

Name: get_texpr_ids/2

Module: bsyntaxtree

Name: get_texpr_label/2

Module: bsyntaxtree

Name: get_tail_filename/2

Module: tools

Name: ajoin_with_sep/3

Module: tools

Name: ajoin/2

Module: tools_strings

Name: get_parser_version/1

Module: parsercall

Name: get_java_command_path/1

Module: parsercall

Name: get_java_fullversion/3

Module: parsercall

Name: version_str/1

Module: version

Name: revision/1

Module: version

Name: lastchangeddate/1

Module: version

Name: get_current_breadth_first_level/1

Module: state_space_exploration_modes

Name: get_state_space_stats/3

Module: state_space

Name: get_complete_memoization_expansion/6

Module: memoization

Name: stored_let_value/3

Module: eval_let_store

Name: set_stored_let_value/3

Module: eval_let_store

Name: retract_stored_let_value/3

Module: eval_let_store

Name: reset_let_values/0

Module: eval_let_store

Name: extend_state_with_stored_lets/2

Module: eval_let_store

Name: get_stored_let_typing_scope/1

Module: eval_let_store

Name: unify_types_werrors/4

Module: btypechecker

Name: create_negation/2

Module: bsyntaxtree

Name: b_optimize/6

Module: b_compiler

Name: b_compute_expression/5

Module: b_interpreter

Name: safe_create_texpr/3

Module: bsyntaxtree

Name: ord_subtract/3

Module: ordsets

Name: value_variables/2

Module: kernel_tools

Name: ord_subtract/3

Module: ordsets

Name: solve_predicate_with_satsolver/2

Module: satsolver/b2sat

Name: clpfd_domain/3

Module: clpfd_interface

Name: clpfd_inrange/3

Module: clpfd_interface

Name: clpfd_size/2

Module: clpfd_interface

Name: clpfd_eq/2

Module: clpfd_interface

Name: bexpr_variables/2

Module: kernel_tools

Name: apply_kodkod_or_other_optimisations/4

Module: solver_interface

Name: read_string_from_file/3

Module: tools

Name: detect_xml_encoding/3

Module: tools

Name: is_of_type/2

Module: preferences

Name: xml_parse/4

Module: xml_prob

Name: xml_pp/1

Module: xml_prob

Name: get_set_type/2

Module: bsyntaxtree

Name: safe_number_codes/2

Module: tools

Name: safe_atom_codes/2

Module: tools

Name: read_byte_line/2

Module: tools_io

Name: read_byte_word/2

Module: tools_io

Name: put_bytes/2

Module: tools_io

Name: call_external_function/7

Name: call_external_predicate/8

Name: call_external_substitution/6

Name: reset_external_functions/0

Name: print_external_function_profile/0

Name: external_pred_always_true/1

Name: reset_side_effect_occurred/0

Name: side_effect_occurred/1

Name: performs_io/1

Name: not_declarative/1

Name: is_external_function_name/1

Name: get_external_function_type/3

Name: external_fun_type/3

Name: external_subst_enabling_condition/3

Name: external_fun_has_wd_condition/1

Name: external_fun_can_be_inverted/1

Name: external_function_requires_state/1

Name: do_not_evaluate_args/1

Name: reset_argv/0

Name: set_argv_from_list/1

Name: set_argv_from_atom/1

Name: set_current_state_for_external_fun/1

Name: clear_state_for_external_fun/0

Name: observe_parameters/2

Name: observe_state/1

Name: observe_value/2

Predicates

Predicates:

CURRENT_FILE_POSITION/3

CURRENT_STATE_AS_TYPED_STRING/1

DIRECTORY_PROPERTY_VALUE/3

FILE_PROPERTY_VALUE/3

GET_DIRECTORY_EXISTS/2

GET_DIRECTORY_PROPERTY/3

GET_IS_ENABLED_TRANSITION/3

GET_IS_REGEX/2

GET_IS_REGEX_IMATCH/3

GET_PROFILE_STATISTICS/3

GET_STRING_EQUAL_CASE_INSENSITIVE/3

GET_STRING_IS_ALPHANUMERIC/2

GET_STRING_IS_DECIMAL/2

GET_STRING_IS_INT/2

GET_STRING_IS_NUMBER/2

IS_DETERMINED_INTO_FILE/5

MEMOIZE_STORED_FUNCTION/4

NON_DET_OUTPUT_OPERATIONS/1

NON_DET_OUTPUT_STATE/1

NON_DET_STATE/1

NORMAL/3

PRETTY_PRINT_TO_STRING/3

READ_FILE_AS_STRING/3

READ_FILE_AS_STRINGS/3

READ_JSON/3

READ_LINE/3

READ_PGM_IMAGE_FILE/4

READ_XML/3

READ_XML/4

READ_XML_FROM_STRING/3

STRING_CONTAINS_STRING/4

STRING_EQUAL_CASE_INSENSITIVE/3

STRING_IS_ALPHANUMERIC/2

TYPED_STRING_TO_ENUM/5

UNSAT_CORE/5

UNSAT_CORE_ACC/6

UNSAT_CORE_ACC_TIMEOUT/7

VARS_AS_TYPED_STRING/2

WALLTIME/1

WRITE_PGM_IMAGE_FILE/5

WRITE_XML/4

WRITE_XML_TO_STRING/3

add_exception_error/4

add_exception_error2/4

add_int_hit/4

add_profile_exf_hit/4

add_state_errors_aux/3

assert_side_effect_occurred/1

assert_true/5

b_absolute_file_name/2

b_absolute_file_name/3

bitwise_right_shift/3

block_print_value_complete/5

block_regex_match/4

block_regex_replace/5

block_regex_search_all/4

block_regex_search_first/4

block_regex_search_first_detailed/5

call_external_function/7

call_external_predicate/8

call_external_substitution/6

call_external_substitution2/7

check_is_freetype_case/4

check_type/7

check_type_aux/4

check_value/8

check_value_is_string/5

choose_interval/3

choose_interval2/2

clear_state_for_external_fun/0

close_all_files/0

closure1_for_avl_set/2

closure1_gr/4

codes_to_atom/2

compute_apply_true/3

compute_apply_true_timeout/4

compute_maxsat/6

compute_maxsat_ground/5

compute_unsat_core/7

construct_attributes/5

construct_avl_set/2

construct_bind/3

construct_match_result/2

construct_predicate/2

convert_atom2/5

convert_atom_codes/5

convert_id_to_nr/2

convert_list_to_seq/2

convert_list_to_seq/3

convert_to_avl_if_possible/2

convert_to_sorted_seq_list/3

cos2/4

dec_indent/0

dec_safe_number_codes/4

do_not_evaluate_args/1

does_not_modify_state/1

eval_formula_in_state/4

expects_unevaluated_args/1

expects_waitflag/1

external_fun_can_be_inverted/1

external_fun_has_wd_condition/1

external_fun_type/3

external_function_requires_state/1

external_pred_always_true/1

external_subst_enabling_condition/3

flatten_pairs_value_skeleton/4

format_args/2

format_string_is_missing_tildes/1

gen_prolog_xml_term/3

get_current_history/2

get_current_state_id/1

get_element/3

get_external_function_type/3

get_function_call_info/2

get_global_set_value_type/3

get_wait_flag_for_subst/3

get_wf_summary/2

get_xml_attr/2

i_indent/1

identifier_matches_prefix/2

is_external_function_name/1

l_convert_atom_codes/6

must_get_identifiers/3

myformat/4

non_det_output_transition2/2

obs_idx_complete_aux/3

observe_parameters_aux/3

observe_value_with_full_value/7

open_absolute_file_for_reading/2

open_file_for_reading_if_necessary/2

open_utf8_file_for_reading/3

portray_instantiations/0

positive_integer_sqrt/4

print_external_function_profile/0

print_value_as_table_if_possible/2

print_value_complete/4

random_perm_seq_aux/5

random_permutation/4

random_select_from_list/3

read_csv_strings_lines/5

register_instantiation/3

register_instantiation_wf/2

replace_pat_aux/6

replace_pattern/4

reset_argv/0

reset_external_functions/0

reset_ident/0

reset_kodkod/0

reset_observe/0

reset_side_effect_occurred/0

satsolver_solve_aux/8

satsolver_solve_aux2/8

scan_to_end_of_string/5

set_argv_from_list_aux/1

set_current_state_for_external_fun/1

sha_hash/4

sha_hash_as_hex_codes/2

state_space_transition/4

store_value/4

string_contains_string_aux/3

string_pad_left/6

string_to_enum2/4

string_to_enum3/5

string_to_freetype2/4

strip_ws/2

tan2/4

test_closure/4

test_formula_in_state/4

valid_external_fun_pref/1

Block: ABS(-,-)

Block: ADD_ERRORS(-,?,?,?,?)

ADD_STATE_ERROR/6

ADD_STATE_ERRORS/5

Block: ADD_STATE_ERRORS(-,?,?,?,?)

ADD_WARNING/6

ADD_WARNINGS/5

Block: ADD_WARNINGS(-,?,?,?,?)

Block: ARGV(-,?)

Block: BAND(-,?,?) BAND(?,-,?)

BITS/2

Block: BITS(-,?)

BLSHIFT/3

Block: BLSHIFT(-,?,?) BLSHIFT(?,-,?)

BNOT/3

Block: BNOT(-,-,?)

BOR/3

Block: BOR(-,?,?) BOR(?,-,?)

BRSHIFT/3

Block: BRSHIFT(-,?,?) BRSHIFT(?,-,?)

BXOR/3

Block: BXOR(-,-,?) BXOR(?,-,-) BXOR(-,?,-)

CDIV/5

Block: CDIV(-,?,?,?,?) CDIV(?,-,?,?,?)

CHECK_DET/5

CHOOSE/4

Block: CHOOSE(-,?,?,?)

CLOSURE1/3

Block: CLOSURE1(-,?,?)

Block: COPY(-,?,?)

Block: COS(-,?)

Block: COSx(-,?,?,?) COSx(?,-,?,?)

CURRENT_FILE_POSITION/3

CURRENT_STATE_AS_TYPED_STRING/1

DEBUG_PRINT_STATE/3

Block: DEBUG_PRINT_STATE(-,?,?)

DEC_STRING_TO_INT/5

Block: DEC_STRING_TO_INT(-,?,?,?,?) DEC_STRING_TO_INT(?,-,?,?,?)

DELTA_WALLTIME/1

DIRECTORIES/2

Block: DIRECTORIES(-,?)

DIRECTORY_EXISTS/2

Block: DIRECTORY_EXISTS(-,?)

DIRECTORY_PROPERTY/3

Block: DIRECTORY_PROPERTY(-,?,?) DIRECTORY_PROPERTY(?,-,?)

DIRECTORY_PROPERTY_VALUE/3

Block: DIRECTORY_PROPERTY_VALUE(-,?,?) DIRECTORY_PROPERTY_VALUE(?,-,?)

DO_NOT_ENUMERATE/3

Block: DO_NOT_ENUMERATE(-,?,?)

Block: EVAL_OVER_HISTORY(-,?,?,?,?) EVAL_OVER_HISTORY(?,-,?,?,?)

FACTORIAL/4

Block: FACTORIAL(-,?,?,?)

FDIV/5

Block: FDIV(-,-,-,?,?)

FILES/2

Block: FILES(-,?)

FILE_EXISTS/2

Block: FILE_EXISTS(-,?)

FILE_PROPERTY/3

Block: FILE_PROPERTY(-,?,?) FILE_PROPERTY(?,-,?)

FILE_PROPERTY_VALUE/3

Block: FILE_PROPERTY_VALUE(-,?,?) FILE_PROPERTY_VALUE(?,-,?)

Block: FORCE(-,?,?)

Block: FPRINTF(-,?,?,?,?,?) FPRINTF(?,-,?,?,?,?) FPRINTF(?,?,-,?,?,?)

FULL_DIRECTORIES/2

Block: FULL_DIRECTORIES(-,?)

FULL_FILES/2

Block: FULL_FILES(-,?)

GCD/3

Block: GCD(-,-,-)

GET_CODE/2

GET_CODE_STDIN/1

GET_DIRECTORY_EXISTS/2

GET_DIRECTORY_PROPERTY/3

Block: GET_IS_DET(-,?,?)

GET_IS_DET_OUTPUT/3

Block: GET_IS_DET_OUTPUT(-,?,?)

GET_IS_ENABLED/3

GET_IS_ENABLED_TRANSITION/3

GET_IS_REGEX/2

GET_IS_REGEX_IMATCH/3

GET_PROFILE_STATISTICS/3

Block: GET_PROFILE_STATISTICS(-,?,?)

GET_STRING_EQUAL_CASE_INSENSITIVE/3

GET_STRING_IS_ALPHANUMERIC/2

GET_STRING_IS_DECIMAL/2

GET_STRING_IS_INT/2

GET_STRING_IS_NUMBER/2

Block: HASH(-,?)

Block: INT_TO_ENUM(?,-,?,?,?) INT_TO_ENUM(-,?,?,?,?)

INT_TO_HEX_STRING/2

Block: INT_TO_HEX_STRING(-,?)

INT_TO_STRING/2

IS_DETERMINED/2

IS_DETERMINED_INTO_FILE/5

IS_REGEX/2

Block: IS_REGEX(-,?)

KODKOD/6

Block: KODKOD(-,?,?,?,?,?)

KODKOD_SOLVE/8

Block: KODKOD_SOLVE(-,?,?,?,?,?,?,?)

LCM/3

Block: LCM(-,-,-)

LEQ_SYM/4

Block: LEQ_SYM(-,?,?,?)

LEQ_SYM2/4

Block: LEQ_SYM2(?,-,?,?)

LEQ_SYM_BREAK/4

LESS/3

Block: LESS(-,?,?) LESS(?,-,?)

LOGx/5

Block: LOGx(-,?,?,?,?) LOGx(?,-,?,?,?) LOGx(?,?,-,?,?)

MACHINE_INFO/4

Block: MACHINE_INFO(?,-,?,?)

MAXIMIZE/4

Block: MAXIMIZE(-,?,?,?)

MAXIMIZE_EXPR/4

MAX_SAT/5

MCTS_AUTO_PLAY/3

Block: MCTS_AUTO_PLAY(-,?,?)

MEMOIZE_STORED_FUNCTION/4

Block: MEMOIZE_STORED_FUNCTION(-,?,?,?)

Block: MSB(-,?,?)

NON_DET_OUTPUT_OPERATIONS/1

NON_DET_OUTPUT_STATE/1

NON_DET_STATE/1

NORMAL/3

Block: NORMAL(-,?,?) NORMAL(?,-,?)

PRETTY_PRINT_TO_STRING/3

PRINT/3

Block: PRINT(-,?,?) PRINT(?,-,?)

PRINTF/5

Block: PRINTF(-,?,?,?,?) PRINTF(?,-,?,?,?) PRINTF(?,?,-,?,?)

PRINT_BT/3

Block: PRINT_BT(-,?,?) PRINT_BT(?,-,?)

Block: PROFILE(-,?,?,?,?) PROFILE(?,-,?,?,?)

Block: RAND(-,?,?) RAND(?,-,?)

RANDOM/3

Block: RANDOM(-,?,?) RANDOM(?,-,?)

READ_CSV/4

Block: READ_CSV(-,?,?,?)

READ_CSV/6

Block: READ_CSV(-,?,?,?,?,?)

READ_CSV_SEQUENCE/6

Block: READ_CSV_SEQUENCE(-,?,?,?,?,?)

READ_CSV_STRINGS/3

Block: READ_CSV_STRINGS(-,?,?)

READ_FILE_AS_STRING/3

Block: READ_FILE_AS_STRING(-,?,?)

READ_FILE_AS_STRINGS/3

Block: READ_FILE_AS_STRINGS(-,?,?)

READ_JSON/3

Block: READ_JSON(-,?,?)

READ_LINE/3

READ_PGM_IMAGE_FILE/4

Block: READ_PGM_IMAGE_FILE(-,?,?,?)

READ_XML/3

Block: READ_XML(-,?,?)

READ_XML/4

Block: READ_XML(-,?,?,?) READ_XML(?,-,?,?)

READ_XML_FROM_STRING/3

Block: READ_XML_FROM_STRING(-,?,?)

REAL_TO_DEC_STRING/4

RECALL_VALUE/5

Block: RECALL_VALUE(-,?,?,?,?)

REGEX_IMATCH/3

Block: REGEX_IMATCH(-,?,?) REGEX_IMATCH(?,-,?)

REGEX_IREPLACE/4

Block: REGEX_IREPLACE(-,?,?,?) REGEX_IREPLACE(?,-,?,?) REGEX_IREPLACE(?,?,-,?)

REGEX_ISEARCH/4

REGEX_ISEARCH_ALL/3

Block: REGEX_ISEARCH_ALL(-,?,?) REGEX_ISEARCH_ALL(?,-,?)

REGEX_ISEARCH_STR/3

Block: REGEX_ISEARCH_STR(-,?,?) REGEX_ISEARCH_STR(?,-,?)

REGEX_MATCH/3

Block: REGEX_MATCH(-,?,?) REGEX_MATCH(?,-,?)

REGEX_REPLACE/4

Block: REGEX_REPLACE(-,?,?,?) REGEX_REPLACE(?,-,?,?) REGEX_REPLACE(?,?,-,?)

REGEX_SEARCH/4

REGEX_SEARCH5/5

Block: REGEX_SEARCH5(-,?,?,?,?) REGEX_SEARCH5(?,-,?,?,?) REGEX_SEARCH5(?,?,-,?,?)

REGEX_SEARCH_ALL/3

Block: REGEX_SEARCH_ALL(-,?,?) REGEX_SEARCH_ALL(?,-,?)

REGEX_SEARCH_STR/3

Block: REGEX_SEARCH_STR(-,?,?) REGEX_SEARCH_STR(?,-,?)

REPLACE/6

Block: REPLACE(-,?,?,?,?,?) REPLACE(?,-,?,?,?,?) REPLACE(?,?,-,?,?,?)

RNORMAL/3

Block: RNORMAL(-,?,?) RNORMAL(?,-,?)

RUNTIME/1

SATSOLVER/6

Block: SATSOLVER(-,?,?,?,?,?)

SATSOLVER_SOLVE/8

Block: SATSOLVER_SOLVE(-,?,?,?,?,?,?,?)

Block: SCCS(-,?,?)

Block: SET_PREF(-,?,?) SET_PREF(?,-,?)

SHA_HASH/3

Block: SHA_HASH(-,?,?)

SHA_HASH_HEX/2

Block: SHA_HASH_HEX(-,?)

SIGN/2

Block: SIGN(-,-)

SIN/2

Block: SIN(-,?)

SINx/4

Block: SINx(-,?,?,?) SINx(?,-,?,?)

SLEEP/3

Block: SLEEP(-,?,?) SLEEP(?,-,?)

Block: SORT(-,?,?,?)

Block: SQRT(-,?,?,?)

Block: STATE_EVAL(?,-,?,?,?)

STATE_PROPERTY/3

Block: STATE_PROPERTY(-,?,?)

STATE_SAT/4

Block: STATE_SAT(?,-,?,?)

Block: STATE_VALUES(-,?,?)

STORE/4

Block: STORE(-,?,?,?)

STORE_VALUE/5

Block: STORE_VALUE(-,?,?,?,?)

Block: STRING_CONC(-,?,?,?)

STRING_CONTAINS_STRING/4

Block: STRING_CONTAINS_STRING(-,?,?,?) STRING_CONTAINS_STRING(?,-,?,?)

STRING_EQUAL_CASE_INSENSITIVE/3

STRING_IS_ALPHANUMERIC/2

STRING_IS_DECIMAL/2

STRING_IS_FREETYPE/2

Block: STRING_IS_FREETYPE(-,?)

Block: STRING_PADLEFT(-,?,?,?,?,?) STRING_PADLEFT(?,-,?,?,?,?) STRING_PADLEFT(?,?,-,?,?,?)

Block: STRING_TO_ENUM(-,-,?,?)

STRING_TO_FREETYPE/4

Block: STRING_TO_FREETYPE(-,?,?,?)

STRING_TO_INT/4

Block: STRING_TO_INT(-,-,?,?)

Block: TAN(-,?)

Block: TANx(-,?,?,?) TANx(?,-,?,?)

TIME/2

TIMESTAMP/7

Block: TIMESTAMP(-,-,-,-,-,-,-)

TIMESTAMP_INFO/3

Block: TIMESTAMP_INFO(-,-,-)

TO_INT/4

Block: TO_INT(-,?,?,?)

TO_STRING/2

TO_STRING_UNICODE/2

TRACE/2

Block: TRACE(-,?)

TYPED_STRING_TO_ENUM/5

Block: TYPED_STRING_TO_ENUM(?,-,-,?,?) TYPED_STRING_TO_ENUM(-,?,?,?,?)

UNSAT_CORE/5

UNSAT_CORE_ACC/6

UNSAT_CORE_ACC_TIMEOUT/7

VARS_AS_TYPED_STRING/2

Block: VARS_AS_TYPED_STRING(-,?)

WALLTIME/1

WRITE_PGM_IMAGE_FILE/5

Block: WRITE_PGM_IMAGE_FILE(-,?,?,?,?) WRITE_PGM_IMAGE_FILE(?,-,?,?,?)

WRITE_XML/4

Block: WRITE_XML(-,?,?,?) WRITE_XML(?,-,?,?)

WRITE_XML_TO_STRING/3

Block: WRITE_XML_TO_STRING(-,?,?)

add_complex_hit/4

add_error_ef/6

add_error_ef_aux/7

Block: add_error_ef_aux(-,?,?,?,?,?,?)

add_errors_aux/3

Block: add_errors_aux(-,?,?)

add_exception_error/4

add_exception_error2/4

add_exception_error2(error(existence_error(procedure,external_functions:FUN),_),_X,SpanInfo,WF) :- !,
    add_error_wf(external_functions,
    'EXTERNAL function does not exist (check that you have an up-to-date version of ProB):',FUN,SpanInfo,WF),
    fail.

add_exception_error2(error(existence_error(procedure,MODULE:FUN),_),_X,SpanInfo,WF) :- !,
    add_error_wf(external_functions,'Predicate called by EXTERNAL function does not exist:',MODULE:FUN,SpanInfo,WF),
    fail.

add_exception_error2(error(undefined,ERR),X,SpanInfo,WF) :-
    is_error(ERR,ExprTerm),!,
    ajoin(['Arithmetic operation ',X,' not defined:'],Msg),
    add_error_wf(external_functions,Msg,ExprTerm,SpanInfo,WF),
    fail.

add_exception_error2(error(evaluation_error(undefined),ERR),X,SpanInfo,WF) :-
    is_error(ERR,ExprTerm),!,
    ajoin(['Arithmetic operation ',X,' not defined for given argument(s):'],Msg),
    add_wd_error_span(Msg,ExprTerm,SpanInfo,WF).

add_exception_error2(error(evaluation_error(zero_divisor),ERR),X,SpanInfo,WF) :-
    is_error(ERR,_),!,
    % TO DO: use add_wd_error_set_result:
    add_wd_error_span('Division by 0 in arithmetic operation: ',X,SpanInfo,WF).

add_exception_error2(error(existence_error(source_sink,File),_),X,SpanInfo,WF) :- !,
    add_error_wf(external_functions,'File does not exist (calling external function):',File:X,SpanInfo,WF),
    fail.

add_exception_error2(error(consistency_error(Msg,_,format_arguments),_),_X,SpanInfo,WF) :- !,
    add_error_wf(external_functions,'Illegal format string (see SICStus Prolog reference manual for syntax):',Msg,SpanInfo,WF),
    fail.

add_exception_error2(enumeration_warning(A,B,C,D,E),X,SpanInfo,WF) :-
    Exception = enumeration_warning(A,B,C,D,E),!,
    debug_println(20,Exception),
    get_predicate_name(X,Pred),
    add_warning_wf(external_functions,'Enumeration warning occured while calling external function: ',Pred,SpanInfo,WF),
    % or should we just print a message on the console ?
    % or use
    throw(Exception).

add_exception_error2(user_interrupt_signal,X,SpanInfo,WF) :- !,
    get_predicate_name(X,Pred),
    add_warning_wf(external_functions,'User Interrupt during external function evaluation: ',Pred,SpanInfo,WF),
    throw(user_interrupt_signal).

add_exception_error2(Exception,X,SpanInfo,WF) :-
    debug_println(20,Exception),
    ajoin(['Exception occurred while calling external function ',X,':'],Msg),
    add_error_wf(external_functions,Msg,Exception,SpanInfo,WF),
    fail.

add_int_hit/4

Block: add_int_hit(-,?,?,?)

add_profile_exf_hit/4

Block: add_profile_exf_hit(-,?,?,?) add_profile_exf_hit(?,-,?,?)

add_state_errors_aux/3

Block: add_state_errors_aux(-,?,?)

add_string_hit/4

Block: add_string_hit(-,?,?,?)

add_value_hit/4

add_warnings_aux/3

Block: add_warnings_aux(-,?,?)

argc_number/1

Dynamic: true

argv2/2

Block: argv2(-,?)

assert_expr/6

Block: assert_expr(-,?,?,?,?,?)

assert_side_effect_occurred/1

assert_true/5

Block: assert_true(-,?,?,?,?)

b_absolute_file_name/2

b_absolute_file_name/3

better_sol_pred/4

bitwise_and/3

Block: bitwise_and(?,-,?) bitwise_and(-,?,?)

bitwise_left_shift/3

Block: bitwise_left_shift(?,-,?) bitwise_left_shift(-,?,?)

bitwise_not/3

Block: bitwise_not(-,-,?)

bitwise_or/3

Block: bitwise_or(?,-,?) bitwise_or(-,?,?)

bitwise_right_shift/3

Block: bitwise_right_shift(?,-,?) bitwise_right_shift(-,?,?)

bitwise_xor/3

Block: bitwise_xor(-,-,?) bitwise_xor(?,-,-) bitwise_xor(-,?,-)

block_is_regexp/2

Block: block_is_regexp(-,?)

block_length/3

Block: block_length(-,?,?)

block_print_value/5

Block: block_print_value(-,?,?,?,?)

block_print_value_complete/5

Block: block_print_value_complete(-,?,?,?,?)

block_regex_match/4

Block: block_regex_match(-,?,?,?) block_regex_match(?,-,?,?)

block_regex_replace/5

Block: block_regex_replace(-,?,?,?,?) block_regex_replace(?,-,?,?,?) block_regex_replace(?,?,?,-,?)

block_regex_search_all/4

Block: block_regex_search_all(-,?,?,?) block_regex_search_all(?,-,?,?)

block_regex_search_first/4

Block: block_regex_search_first(-,?,?,?) block_regex_search_first(?,-,?,?)

block_regex_search_first_detailed/5

Block: block_regex_search_first_detailed(-,?,?,?,?) block_regex_search_first_detailed(?,-,?,?,?) block_regex_search_first_detailed(?,?,-,?,?)

call_external_function/7

call_external_predicate/8

call_external_substitution/6

call_external_substitution2/7

Block: call_external_substitution2(-,?,?,?,?,?,?)

catch_format_error/2

Meta: catch_format_error(0,0)

ceiling_division/5

Block: ceiling_division(-,?,?,?,?) ceiling_division(?,-,?,?,?)

check_det_aux/6

Block: check_det_aux(-,?,?,-,?,?)

check_determined2/3

check_determined3/3

check_digits/4

check_is_freetype_case/4

Block: check_is_freetype_case(?,-,?,?)

check_type/7

Block: check_type(-,?,?,?,?,?,?) check_type(?,-,?,?,?,?,?) check_type(?,?,-,?,?,?,?)

check_type_aux/4

check_value/8

Block: check_value(-,?,?,?,?,?,?,?)

check_value_is_string/5

choose_interval/3

Block: choose_interval(-,?,?)

choose_interval2/2

Block: choose_interval2(-,?)

clear_state_for_external_fun/0

close_all_files/0

closure1_for_avl_set/2

closure1_gr/4

codes_to_atom/2

compute_apply_true/3

compute_apply_true_timeout/4

compute_maxsat/6

compute_maxsat_ground/5

compute_unsat_core/7

construct_attributes/5

construct_avl_set/2

construct_bind/3

construct_match_result/2

construct_predicate/2

convert_atom2/5

convert_atom_codes/5

convert_id_to_nr/2

Block: convert_id_to_nr(-,-)

convert_list_to_seq/2

convert_list_to_seq/3

convert_to_avl_if_possible/2

convert_to_bits/2

Block: convert_to_bits(-,?)

convert_to_sorted_seq_list/3

cos2/4

Block: cos2(-,?,?,?) cos2(?,-,?,?)

dec_indent/0

dec_safe_number_codes/4

dec_str_to_int/5

Block: dec_str_to_int(-,?,?,?,?) dec_str_to_int(?,-,?,?,?)

dec_str_to_int2/6

dir2/2

Block: dir2(-,?)

dir_exists2/2

Block: dir_exists2(-,?)

dir_property2/3

Block: dir_property2(-,?,?) dir_property2(?,-,?)

dir_property_val2/3

Block: dir_property_val2(-,?,?) dir_property_val2(?,-,?)

do_not_evaluate_args/1

does_not_modify_state/1

dprintf/4

Block: dprintf(-,?,?,?) dprintf(?,-,?,?)

drop_index/2

enabled_op/4

Block: enabled_op(?,-,?,-)

enabled_trans/4

Block: enabled_trans(?,-,?,-) enabled_trans(?,-,-,?)

enabled_trans2/4

Block: enabled_trans2(?,-,?,-) enabled_trans2(?,-,-,?)

eof2/2

Block: eof2(-,?)

eval_formula_in_state/4

eval_over_history/5

Block: eval_over_history(?,-,?,?,?)

expects_spaninfo/1

expects_spaninfo('RDIV').

expects_spaninfo('RINV').

expects_spaninfo('RATAN2').

expects_spaninfo('RADIANS').

expects_spaninfo('DEGREE').

expects_spaninfo('RLOGe').

expects_spaninfo('RSQRT').

expects_spaninfo('RMAX').

expects_spaninfo('RMIN').

expects_spaninfo('RPOW').

expects_spaninfo('RDECIMAL').

expects_spaninfo('RLOG').

expects_spaninfo('RMAXIMUM').

expects_spaninfo('RMINIMUM').

expects_spaninfo('svg_points').

expects_spaninfo('svg_train').

expects_spaninfo('svg_car').

expects_spaninfo('svg_axis').

expects_spaninfo('svg_set_polygon').

expects_spaninfo('svg_set_polygon_auto').

expects_spaninfo('svg_dasharray_for_intervals').

expects_spaninfo('svg_set_dasharray').

expects_spaninfo('COSx').

expects_spaninfo('SINx').

expects_spaninfo('TANx').

expects_spaninfo('PROLOG_FUN').

expects_spaninfo('LOGx').

expects_spaninfo('FDIV').

expects_spaninfo('CDIV').

expects_spaninfo('SQRT').

expects_spaninfo('MSB').

expects_spaninfo('FACTORIAL').

expects_spaninfo('BNOT').

expects_spaninfo('CHOOSE').

expects_spaninfo('MU').

expects_spaninfo('MU_WD').

expects_spaninfo('SORT').

expects_spaninfo('REPLACE').

expects_spaninfo('STRING_CONC').

expects_spaninfo('STRING_JOIN').

expects_spaninfo('SUB_STRING').

expects_spaninfo('STRING_TO_FREETYPE').

expects_spaninfo('TYPED_STRING_TO_ENUM').

expects_spaninfo('STRING_TO_ENUM').

expects_spaninfo('DEC_STRING_TO_INT').

expects_spaninfo('STRING_PADLEFT').

expects_spaninfo('STRING_TO_INT').

expects_spaninfo('REAL_TO_DEC_STRING').

expects_spaninfo('TO_INT').

expects_spaninfo('INT_TO_ENUM').

expects_spaninfo('fprintf').

expects_spaninfo('printf_opt_trace').

expects_spaninfo('printf').

expects_spaninfo('printf_two'). % print two values, triggers as soon as first value is known

expects_spaninfo('printf_nonvar'). % print as soon as value becomes nonvar (printf waits until the value is ground)

expects_spaninfo('dprintf'). % a version of printf which delays setting itself to TRUE until printing is performed

expects_spaninfo('GET_PREF').

expects_spaninfo('GET_PREF_DEFAULT').

expects_spaninfo('printfail').

expects_spaninfo('iprintf').

expects_spaninfo('itprintf').

expects_spaninfo('observe').

expects_spaninfo('observe_silent').

expects_spaninfo('observe_indent').

expects_spaninfo('tobserve'). % observe_indent but with tracing enabled

expects_spaninfo('tprintf').

expects_spaninfo('prolog_printf').

expects_spaninfo('vprintf').

expects_spaninfo('fvprintf').

expects_spaninfo('PRINTF').

expects_spaninfo('FPRINTF').

expects_spaninfo('random_element').

expects_spaninfo('random_subset').

expects_spaninfo('random_ordering').

expects_spaninfo('random_permutation').

expects_spaninfo('CHECK_DET').

expects_spaninfo('IS_DETERMINED_INTO_FILE').

expects_spaninfo('READ_FILE_AS_STRINGS').

expects_spaninfo('READ_FILE_AS_STRING').

expects_spaninfo('READ_LINE').

expects_spaninfo('ADD_ERROR').

expects_spaninfo('ADD_STATE_ERROR').

expects_spaninfo('ADD_WARNING').

expects_spaninfo('ADD_ERRORS').

expects_spaninfo('ADD_STATE_ERRORS').

expects_spaninfo('ADD_WARNINGS').

expects_spaninfo('ASSERT_TRUE').

expects_spaninfo('ASSERT_EXPR').

expects_spaninfo('STATE_PROPERTY').

expects_spaninfo('GET_IS_DET').

expects_spaninfo('GET_IS_DET_OUTPUT').

expects_spaninfo('HISTORY').

expects_spaninfo('EVAL_OVER_HISTORY').

expects_spaninfo('PROJECT_STATISTICS').

expects_spaninfo('PROJECT_INFO').

expects_spaninfo('PROB_STATISTICS').

expects_spaninfo('PROFILE').

expects_spaninfo('MEMOIZE_STORED_FUNCTION').

expects_spaninfo('RECALL_VALUE').

expects_spaninfo('CLOSURE1').

expects_spaninfo('SCCS').

expects_spaninfo('KODKOD').

expects_spaninfo('SATSOLVER').

expects_spaninfo('UNSAT_CORE').

expects_spaninfo('UNSAT_CORE_ACC').

expects_spaninfo('UNSAT_CORE_ACC_TIMEOUT').

expects_spaninfo('MAX_SAT').

expects_spaninfo('MAXIMIZE_EXPR').

expects_spaninfo('MINIMIZE_EXPR').

expects_spaninfo('MAXIMIZE').

expects_spaninfo('READ_XML').

expects_spaninfo('READ_XML_FROM_STRING').

expects_spaninfo('READ_JSON').

expects_spaninfo('WRITE_XML').

expects_spaninfo('WRITE_XML_TO_STRING').

expects_spaninfo('READ_CSV_STRINGS').

expects_spaninfo('READ_CSV').

expects_spaninfo('READ_CSV_SEQUENCE').

expects_spaninfo('READ_PGM_IMAGE_FILE').

expects_spaninfo('WRITE_PGM_IMAGE_FILE').

expects_state/1

expects_type/1

expects_unevaluated_args/1

expects_waitflag/1

expects_waitflag('STRING_TO_REAL').

expects_waitflag('RADD').

expects_waitflag('RSUB').

expects_waitflag('RMUL').

expects_waitflag('RDIV').

expects_waitflag('RINV').

expects_waitflag('RSIN').

expects_waitflag('RCOS').

expects_waitflag('RTAN').

expects_waitflag('RCOT').

expects_waitflag('RSINH').

expects_waitflag('RCOSH').

expects_waitflag('RTANH').

expects_waitflag('RCOTH').

expects_waitflag('RASIN').

expects_waitflag('RACOS').

expects_waitflag('RATAN').

expects_waitflag('RACOT').

expects_waitflag('RASINH').

expects_waitflag('RACOSH').

expects_waitflag('RATANH').

expects_waitflag('RACOTH').

expects_waitflag('RATAN2').

expects_waitflag('RADIANS').

expects_waitflag('DEGREE').

expects_waitflag('RUMINUS').

expects_waitflag('REXP').

expects_waitflag('RLOGe').

expects_waitflag('RSQRT').

expects_waitflag('RABS').

expects_waitflag('ROUND').

expects_waitflag('RSIGN').

expects_waitflag('RINTEGER').

expects_waitflag('RFRACTION').

expects_waitflag('RMAX').

expects_waitflag('RMIN').

expects_waitflag('RPOW').

expects_waitflag('RDECIMAL').

expects_waitflag('RLOG').

expects_waitflag('RLT').

expects_waitflag('REQ').

expects_waitflag('RNEQ').

expects_waitflag('RLEQ').

expects_waitflag('RGT').

expects_waitflag('RGEQ').

expects_waitflag('RMAXIMUM').

expects_waitflag('RMINIMUM').

expects_waitflag('svg_points').

expects_waitflag('svg_train').

expects_waitflag('svg_car').

expects_waitflag('svg_axis').

expects_waitflag('svg_set_polygon').

expects_waitflag('svg_set_polygon_auto').

expects_waitflag('svg_dasharray_for_intervals').

expects_waitflag('svg_set_dasharray').

expects_waitflag('FDIV').

expects_waitflag('CDIV').

expects_waitflag('SQRT').

expects_waitflag('FACTORIAL').

expects_waitflag('CHOOSE').

expects_waitflag('MU').

expects_waitflag('MU_WD').

expects_waitflag('SORT').

expects_waitflag('SQUASH').

expects_waitflag('REPLACE').

expects_waitflag('LEQ_SYM_BREAK').

expects_waitflag('LEQ_SYM').

expects_waitflag('FORCE').

expects_waitflag('COPY').

expects_waitflag('STRING_APPEND').

expects_waitflag('STRING_REV').

expects_waitflag('STRING_CONC').

expects_waitflag('STRING_SPLIT').

expects_waitflag('STRING_JOIN').

expects_waitflag('STRING_CONTAINS_STRING').

expects_waitflag('SUB_STRING').

expects_waitflag('TYPED_STRING_TO_ENUM').

expects_waitflag('DEC_STRING_TO_INT').

expects_waitflag('STRING_PADLEFT').

expects_waitflag('STRING_TO_INT').

expects_waitflag('TO_INT').

expects_waitflag('INT_TO_ENUM').

expects_waitflag('SHA_HASH').

expects_waitflag('GET_PREF').

expects_waitflag('GET_PREF_DEFAULT').

expects_waitflag('observe').

expects_waitflag('observe_silent').

expects_waitflag('observe_indent').

expects_waitflag('tobserve').

expects_waitflag('prolog_printf').

expects_waitflag('random_element').

expects_waitflag('random_numset').

expects_waitflag('random_subset').

expects_waitflag('random_ordering').

expects_waitflag('random_permutation').

expects_waitflag('CHECK_DET').

expects_waitflag('ADD_ERROR').

expects_waitflag('ADD_STATE_ERROR').

expects_waitflag('ADD_WARNING').

expects_waitflag('ADD_ERRORS').

expects_waitflag('ADD_STATE_ERRORS').

expects_waitflag('ADD_WARNINGS').

expects_waitflag('ASSERT_TRUE').

expects_waitflag('ASSERT_EXPR').

expects_waitflag('STATE_AS_STRING').

expects_waitflag('STATE_SUCC').

expects_waitflag('ENABLED').

expects_waitflag('GET_IS_ENABLED').

expects_waitflag('ENABLED_TRANSITION').

expects_waitflag('GET_IS_ENABLED_TRANSITION').

expects_waitflag('STATE_TRANS').

expects_waitflag('STATE_TRANS_ARGS').

expects_waitflag('STATE_SAT').

expects_waitflag('EVAL'). % external function with unknown return type

expects_waitflag('STATE_EVAL'). % external predicate

expects_waitflag('INITIAL_STATE'). % external function with unknown return type

expects_waitflag('MACHINE_INFO').

expects_waitflag('PROJECT_STATISTICS').

expects_waitflag('PROJECT_INFO').

expects_waitflag('PROB_INFO_STR').

expects_waitflag('PROB_STATISTICS').

expects_waitflag('FORMULA_INFOS').

expects_waitflag('FORMULA_VALUES').

expects_waitflag('MEMOIZE_STORED_FUNCTION').

expects_waitflag('STORE').

expects_waitflag('STORE_VALUE').

expects_waitflag('RECALL_VALUE').

expects_waitflag('KODKOD').

expects_waitflag('KODKOD_SOLVE').

expects_waitflag('SATSOLVER').

expects_waitflag('SATSOLVER_SOLVE').

expects_waitflag('UNSAT_CORE'). % WF not used at the moment

expects_waitflag('UNSAT_CORE_ACC'). % WF not used at the moment

expects_waitflag('UNSAT_CORE_ACC_TIMEOUT'). % WF not used at the moment

expects_waitflag('MAX_SAT').

expects_waitflag('MAXIMIZE_EXPR').

expects_waitflag('MINIMIZE_EXPR').

expects_waitflag('MAXIMIZE').

expects_waitflag('READ_PGM_IMAGE_FILE').

expects_waitflag('WRITE_PGM_IMAGE_FILE').

external_fun_can_be_inverted/1

external_fun_has_wd_condition/1

external_fun_type/3

external_function_requires_state/1

external_pred_always_true/1

external_subst_enabling_condition/3

fact/4

Block: fact(-,?,?,?)

fact_acc/3

file_exists2/2

Block: file_exists2(-,?)

file_format/4

file_property2/3

Block: file_property2(-,?,?) file_property2(?,-,?)

file_property_val2/3

Block: file_property_val2(-,?,?) file_property_val2(?,-,?)

Block: files2(-,?)

flatten_pairs_value_skeleton/4

format_args/2

format_string_is_missing_tildes/1

formula_info/5

Block: formula_info(-,?,?,?,-)

fprint_log_info/2

fprintf/5

Block: fprintf(-,?,?,?,?) fprintf(?,-,?,?,?) fprintf(?,?,-,?,?)

fprintf2/4

full_dir2/2

Block: full_dir2(-,?)

full_files2/2

Block: full_files2(-,?)

gen_prolog_xml_term/3

generate_equality/3

get_attributes/3

get_binding_value/4

Block: get_binding_value(-,?,?,?)

get_column_types/5

get_current_history/2

get_current_state_id/1

get_element/3

get_external_function_type/3

get_function_call_info/2

get_global_set_value_type/3

get_identifiers/3

get_indent_level/1

get_info2/2

Block: get_info2(-,?)

Block: get_pref2(-,?,?,-,?)

get_sign/3

get_state2/3

Block: get_state2(-,?,-)

get_succ2/7

Block: get_succ2(-,?,?,-,?,-,?) get_succ2(?,?,?,?,?,?,-)

get_wait_flag_for_subst/3

get_wf_summary/2

get_xml_attr/2

i_indent/1

identifier_matches_prefix/2

Dynamic: true

Block: int2enum(?,?,-,?,?,?)

int_to_hex/2

Block: int_to_hex(-,?)

iprintf/4

Block: iprintf(-,?,?,?) iprintf(?,-,?,?)

is_digit/1

is_error/2

is_external_function_name/1

is_init2/3

Block: is_init2(-,-,?) is_init2(-,?,-)

is_not_declarative/1

is_zero/1

itprintf/4

Block: itprintf(-,?,?,?) itprintf(?,-,?,?)

kodkod_solve_aux/8

kodkod_solve_aux2/8

Block: kodkod_solve_aux2(?,?,?,?,?,?,?,-)

l_convert_atom_codes/6

less2/3

Block: less2(-,?,?) less2(?,-,?)

less_clpfd/3

Block: less_clpfd(-,?,-) less_clpfd(?,-,-)

less_eq2/3

Block: less_eq2(-,?,?) less_eq2(?,-,?)

limit_history/4

list_info/2

log2/5

Block: log2(?,-,?,?,?) log2(-,?,?,?,?) log2(?,?,-,?,?)

logx_internal/5

machine_info2/4

Block: machine_info2(-,?,?,?) machine_info2(?,-,?,-)

Block: maximize_expr_wf(-,?,?,?)

memoize_get_aux/4

Block: memoize_get_aux(-,?,?,?)

mkstring/2

msb2/3

Block: msb2(-,?,?)

must_get_identifiers/3

myformat/4

non_det_output_transition2/2

non_det_transition/4

nondet_op2/5

Block: nondet_op2(?,-,?,?,?)

not_declarative/1

nr_of_printfs/1

Dynamic: true

obs_fun/3

Block: obs_fun(-,?,?)

obs_idx/4

Block: obs_idx(-,?,?,?) obs_idx(?,-,?,?)

obs_idx_complete/4

obs_idx_complete_aux/3

Block: observe_field(-,?,?,?,?,?)

observe_fun/3

Block: observe_fun(-,-,?)

observe_ground/6

Meta: observe_ground(-,-,-,-,-,0)

observe_indent/5

observe_parameters/2

observe_parameters_aux/3

Block: observe_parameters_aux(-,?,?) observe_parameters_aux(?,?,-)

observe_set/7

Block: observe_set(-,?,?,?,?,?,?)

Block: observe_state_aux(-,?)

observe_value/2

observe_value/6

observe_value_with_full_value/7

open_absolute_file_for_reading/2

open_file_for_reading_if_necessary/2

open_utf8_file_for_reading/3

portray_instantiations/0

positive_integer_sqrt/4

Block: positive_integer_sqrt(-,?,?,?)

print_external_function_profile/0

print_value_as_table_if_possible/2

print_value_complete/4

print_walltime/1

printf/4

Block: printf(-,?,?,?) printf(?,-,?,?)

printf_nonvar/4

Block: printf_nonvar(-,?,?,?) printf_nonvar(?,-,?,?)

printf_opt_trace/5

Block: printf_opt_trace(-,?,?,?,?) printf_opt_trace(?,-,?,?,?)

printf_two/6

Block: printf_two(-,?,?,?,?,?) printf_two(?,-,?,?,?,?)

printfail/4

Block: printfail(-,?,?,?) printfail(?,-,?,?)

prob_info1/4

Block: prob_info1(-,?,-,?)

prob_info2/2

prob_info_int1/2

prob_info_int1/5

Block: prob_info_int1(-,?,?,-,?)

process_header/2

project_info1/4

Block: project_info1(-,?,-,?)

project_stats1/4

Block: project_stats1(-,?,-,?)

prolog_fun2/5

Block: prolog_fun2(?,-,?,?,?) prolog_fun2(-,?,?,?,?) prolog_fun2(?,?,-,?,?)

Block: random2(-,?,?) random2(?,-,?)

random_element/4

Block: random_element(-,?,?,?)

random_normal/1

random_normal/3

Block: random_normal(-,?,-) random_normal(?,-,?)

random_normal_real/3

Block: random_normal_real(-,?,-) random_normal_real(?,-,?)

random_numset/6

Block: random_numset(-,?,?,?,?,?) random_numset(?,-,?,?,?,?) random_numset(?,?,-,?,?,?) random_numset(?,?,?,-,?,?)

random_ordering/4

Block: random_ordering(-,?,?,?)

random_perm_aux/5

Block: random_perm_aux(-,?,?,?,?)

random_perm_seq_aux/5

Block: random_perm_seq_aux(-,?,?,?,?)

random_permutation/4

Block: random_permutation(-,?,?,?)

random_select_from_list/3

Block: random_select_from_list(?,-,?)

random_subset/4

Block: random_subset(-,?,?,?)

random_subset_aux/5

Block: random_subset_aux(-,?,?,?,?)

read_all_codes/3

read_byte_number/3

read_csv/7

Block: read_csv(-,?,?,?,?,?,?)

read_csv_lines/10

read_csv_strings/3

read_csv_strings_lines/5

read_json/3

Block: read_json(-,?,?)

Block: read_xml(-,?,?,?) read_xml(?,-,?,?)

recall_value/5

register_instantiation/3

register_instantiation_wf/2

replace_pat_aux/6

Block: replace_pat_aux(-,?,?,?,?,?)

replace_pattern/4

reset_argv/0

reset_external_functions/0

reset_ident/0

reset_kodkod/0

reset_observe/0

reset_side_effect_occurred/0

Meta: safe_call(0,-)

Meta: safe_call(0,-,-)

safe_get_texpr_id/2

safe_is/4

safe_is/5

satsolver_solve_aux/8

satsolver_solve_aux2/8

Block: satsolver_solve_aux2(?,?,?,?,?,?,?,-)

scan_to_end_of_string/5

set_argv_from_list_aux/1

set_current_state_for_external_fun/1

sha_hash/4

Block: sha_hash(?,-,?,?)

sha_hash_as_hex_codes/2

sha_hash_string/3

Block: sha_hash_string(?,-,?)

shift/5

sin2/4

Block: sin2(-,?,?,?) sin2(?,-,?,?)

skel/2

Block: skel(-,?)

sort_aux/4

Block: sort_aux(-,?,?,?)

source2/2

Block: source2(-,?)

split_csv_line/5

state_eval2/5

Block: state_eval2(?,-,?,?,?) state_eval2(-,?,?,-,?)

state_property2/3

Block: state_property2(-,?,?)

state_sat2/5

Block: state_sat2(?,-,?,?,?) state_sat2(-,?,?,-,?)

state_space_transition/4

store_value/4

Block: store_value(-,?,?,?) store_value(?,?,?,-)

string_contains_string_aux/3

Block: string_contains_string_aux(-,?,?) string_contains_string_aux(?,-,?)

string_pad_left/6

Block: string_pad_left(-,?,?,?,?,?) string_pad_left(?,-,?,?,?,?) string_pad_left(?,?,-,?,?,?)

string_to_enum2/4

Block: string_to_enum2(-,-,?,?)

string_to_enum3/5

Block: string_to_enum3(-,-,?,?,?) string_to_enum3(-,?,-,?,?)

string_to_freetype2/4

Block: string_to_freetype2(-,?,?,?)

strip_ws/2

tan2/4

Block: tan2(?,-,?,?) tan2(-,?,?,?)

test_closure/4

test_formula_in_state/4

time2/2

Block: time2(-,?)

time_info2/3

Block: time_info2(-,?,?) time_info2(?,-,?)

timestamp2/7

Block: timestamp2(-,?,?,?,?,?,-) timestamp2(?,-,?,?,?,?,-) timestamp2(?,?,-,?,?,?,-) timestamp2(?,?,?,-,?,?,-) timestamp2(?,?,?,?,?,-,-)

tobserve/5

tprintf/4

Block: tprintf(-,?,?,?) tprintf(?,-,?,?)

transition_string/4

translate_hit_to_b/2

try_trace/0

valid_external_fun_pref/1

vprintf/4

write_xml2/4

Block: write_xml2(?,-,?,?)

xml_element_type/1

Determinacy Checker

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_release,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_avl_custom,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_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),_58379,[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),_56715,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xml_prob.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_safe_mode,true)
! Existence error in 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),_37639,[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'),_7351,[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),_100985,[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'),_100985,[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),_126129,[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),_128273,[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),_141365,[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),_141077,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_ast_cleanup.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_184443,[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),_185823,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(b_state_model_check) does not exist
! goal: absolute_file_name(probsrc(b_state_model_check),_186445,[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 chrsrc(chr_integer_inequality) does not exist
! goal: absolute_file_name(chrsrc(chr_integer_inequality),_246047,[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(closures) does not exist
! goal: absolute_file_name(probsrc(closures),_246047,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/memoization.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_252017,[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: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),_232373,[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),_226679,[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),_209767,[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'),_209767,[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),_203367,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_203513,[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),_203367,[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('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_207645,[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 extension('probhash/probhash') does not exist
! goal: absolute_file_name(extension('probhash/probhash'),_206647,[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'),_203513,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/value_persistance.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(btypechecker) does not exist
! goal: absolute_file_name(probsrc(btypechecker),_191287,[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(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_184443,[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),_181309,[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),_150623,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(eventhandling) does not exist
! goal: absolute_file_name(probsrc(eventhandling),_144219,[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),_134251,[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(kernel_waitflags) does not exist
! goal: absolute_file_name(probsrc(kernel_waitflags),_126129,[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(custom_explicit_sets) does not exist
! goal: absolute_file_name(probsrc(custom_explicit_sets),_126129,[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),_100985,[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'),_75273,[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),_70147,[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),_66725,[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),_37743,[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),_37889,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/partition_detection.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(gensym) does not exist
! goal: absolute_file_name(probsrc(gensym),_8755,[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 extrasrc(external_functions_reals) does not exist
! goal: absolute_file_name(extrasrc(external_functions_reals),_95713,[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),_156653,[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))
* Non-determinate: external_functions:'CHOOSE'/4 (clause 1)
* Indexing cannot distinguish this from clause 2.
! warning: predicate external_functions:last_walltime/1 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic external_functions:last_walltime/1 .
! near the top of this file.
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_405605,[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),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])

Name: add_errors_aux/3	Module: external_functions
Name: expand_custom_set_to_list_wf/5	Module: custom_explicit_sets

Name: add_state_errors_aux/3	Module: external_functions
Name: expand_custom_set_to_list_wf/5	Module: custom_explicit_sets

Name: add_warnings_aux/3	Module: external_functions
Name: expand_custom_set_to_list_wf/5	Module: custom_explicit_sets

Name: check_det_aux/6	Module: external_functions
Name: =/2
Name: get_wait_flag1/2	Module: kernel_waitflags
Name: get_wait_flag0/2	Module: kernel_waitflags
Name: ground_value_check/2	Module: kernel_tools

Name: RECURSIVE_CALL/4	Module: external_functions
Name: expand_custom_set_wf/4	Module: custom_explicit_sets
Name: equal_object_wf/3	Module: kernel_objects
Name: !
Name: is_cartesian_product_closure/3	Module: custom_explicit_sets
Name: add_internal_error/2	Module: foo_error
Name: enumerate_freetype_wf/4	Module: kernel_freetypes
Name: ->/3
Name: =/2
Name: avl_min/2	Module: foo_error
Name: add_wd_error_span/4	Module: kernel_waitflags
Name: convert_to_avl/2	Module: foo_error
Name: nonvar/1
Name: when/2
Name: ground_value_check/2	Module: kernel_tools
Name: equal_object_optimized_wf/4	Module: kernel_objects
Name: ==/2
Name: choose_interval/3	Module: external_functions
Name: is_interval_closure_or_integerset/3	Module: foo_error

Name: closure1_gr/4	Module: external_functions
Name: ground_value_check/2	Module: kernel_tools
Name: equal_object_optimized/2	Module: kernel_objects
Name: closure1_for_avl_set/2	Module: external_functions
Name: !
Name: equal_object/2	Module: kernel_objects

Name: =/2
Name: stream_position_data/3
Name: stream_position/2
Name: open_file_for_reading_if_necessary/2	Module: external_functions

Name: =/2
Name: nl
Name: print_bstate/1	Module: translate
Name: print_value/1	Module: external_functions
Name: assert_side_effect_occurred/1	Module: external_functions

Name: assertz/1
Name: =/2
Name: is/2
Name: last_walltime/1	dynamic predicate
Name: retract/1
Name: ->/3
Name: statistics/2

Name: =/2
Name: RECURSIVE_CALL/3	Module: external_functions
Name: !

Name: enabled_op/4	Module: external_functions
Name: get_wait_flag/4	Module: foo_error
Name: =/2
Name: compute_all_transitions_if_necessary/2	Module: tcltk_interface
Name: get_current_state_id/1	Module: external_functions

Name: enabled_trans/4	Module: external_functions
Name: get_wait_flag/4	Module: foo_error
Name: =/2
Name: compute_all_transitions_if_necessary/2	Module: tcltk_interface
Name: get_current_state_id/1	Module: external_functions

Name: equal_object_optimized/3	Module: foo_error
Name: RECURSIVE_CALL/3	Module: external_functions
Name: !
Name: equal_object/2	Module: foo_error
Name: true
Name: nl
Name: print_bvalue/1	Module: translate
Name: print/1
Name: debug_mode/1	Module: debug
Name: ->/3
Name: expand_closure_to_avl_or_list/6	Module: custom_explicit_sets

Name: formula_info/5	Module: external_functions
Name: get_wait_flag/4	Module: kernel_waitflags

Name: =/2
Name: fprintf2/4	Module: external_functions
Name: ground/1
Name: when/2

Name: get_code/2
Name: assert_side_effect_occurred/1	Module: external_functions
Name: open_stream/2	dynamic predicate
Name: b_absolute_file_name/2	Module: external_functions

Name: nondet_op2/5	Module: external_functions
Name: get_current_state_id/1	Module: external_functions

Name: get_pref2/5	Module: external_functions
Name: get_wait_flag/4	Module: kernel_waitflags

Name: equal_object_optimized/3	Module: foo_error
Name: findall/3

Name: is_init2/3	Module: external_functions
Name: get_wait_flag/4	Module: foo_error

Name: int2enum/6	Module: external_functions
Name: get_global_set_value_type/3	Module: external_functions

Name: =/2
Name: add_error/4	Module: foo_error
Name: call_cleanup/2
Name: open/4
Name: ground/1
Name: ->/3
Name: check_value_is_string/5	Module: external_functions

Name: =/2
Name: my_add_predicate_to_kodkod/3	Module: kernel_waitflags
Name: nl
Name: print_bexpr/1	Module: translate
Name: add_message/4	Module: foo_error
Name: true
Name: debug_mode/1	Module: debug
Name: ->/3
Name: b_optimize/6	Module: b_compiler
Name: ground/1
Name: when/2
Name: b_compute_expression/5	Module: b_interpreter
Name: get_texpr_ids/2	Module: bsyntaxtree
Name: must_get_identifiers/3	Module: external_functions
Name: create_negation/2	Module: bsyntaxtree
Name: ==/2
Name: construct_predicate/2	Module: external_functions
Name: get_integer/2	Module: foo_error

Name: kodkod_solve_aux/8	Module: external_functions
Name: ground/1
Name: when/2

Name: LEQ_SYM2/4	Module: external_functions
Name: =/2
Name: !
Name: check_arithmetic_operator/4	Module: b_interpreter_check

prob_prolog/src/external_functions.pl

Modules

Predicates of external_functions

Module Information

4866 Lines

580 Predicates

Imported Modules: error_manager self_check avl lists translate kernel_waitflags debug bsyntaxtree custom_explicit_sets kernel_objects file_systems system codesio bmachine timeout

26 Exports

153 specified Imports

Predicates:

Name: less2/3	Module: external_functions
Name: ground/1
Name: when/2
Name: =/2
Name: !
Name: less_clpfd/3	Module: external_functions

Name: machine_info2/4	Module: external_functions
Name: get_wait_flag/4	Module: foo_error

Name: fail
Name: add_error/3	Module: foo_error
Name: equal_object_wf/3	Module: kernel_objects
Name: add_wd_error_span/4	Module: kernel_waitflags
Name: RECURSIVE_CALL/4	Module: external_functions
Name: convert_to_avl/2	Module: foo_error
Name: ->/3
Name: ground/1
Name: when/2
Name: !
Name: maximize_closure/6	Module: external_functions
Name: debug_println/2	Module: foo_error
Name: bexpr_variables/2	Module: kernel_tools
Name: equal_object/2	Module: kernel_objects
Name: avl_max/2	Module: foo_error

Name: maximize_expr_wf/4	Module: external_functions
Name: =/2
Name: get_wait_flag/4	Module: foo_error

Name: compute_maxsat_ground/5	Module: external_functions
Name: ground/1
Name: when/2
Name: debug_println/2	Module: foo_error
Name: expand_custom_set_to_list_wf/5	Module: custom_explicit_sets

Name: get_variables_state_for_id/2	Module: state_space
Name: mcts_auto_play/4	Module: foo_error
Name: get_current_state_id/1	Module: external_functions
Name: !
Name: mcts_auto_play_available	Module: foo_error

Name: MAXIMIZE_EXPR/4	Module: external_functions
Name: clpfd_eq/2	Module: clpfd_interface

Name: equal_object_optimized/2	Module: kernel_objects
Name: sort/2
Name: findall/3
Name: get_current_state_id/1	Module: external_functions

Name: =/2
Name: !
Name: non_det_output_transition2/2	Module: external_functions
Name: get_current_state_id/1	Module: external_functions

Name: =/2
Name: !
Name: non_det_transition/4	Module: external_functions
Name: get_current_state_id/1	Module: external_functions