Dynamic Predicates: debug_print/2 debug_format/3 debug_nl/1 debug_println/2 debug_mode/1 silent_mode/1 debug_level/1 det_id/1 sol_found/2 pp_nr/1 spy_pp/1 pp_goal/2 sol_found/1 hit_counter_fact/1 tdepth/1

376 Lines

68 Predicates

52 Exports

5 Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: format_with_colour/4 Module: tools_printing Name: print_term_summary/1 Module: tools_printing Name: term_hash/2 Module: terms Name: register_event_listener/3 Module: eventhandling	Name: ~~/1 Name: debug_print/1 Name: debug_nl/0 Name: debug_print/2 Name: debug_nl/1 Name: debug_println/2 Name: debug_println/1 Name: debug_format/3 Name: debug_format_flush/3 Name: println/2 Name: println/1 Name: log/1 Name: debug_stats/1 Name: print_debug_stats/0 Name: tcltk_turn_debugging_on/0 Name: tcltk_turn_debugging_on/1 Name: tcltk_turn_debugging_off/0 Name: debug_mode/1 Name: debug_level/1 Name: debug_level_active_for/1 Name: silent_mode/1 Name: set_silent_mode/1 Name: printsilent/1 Name: nls/0 Name: println_silent/1 Name: formatsilent/2 Name: formatsilent/3 Name: printsilent_message/1 Name: formatsilent_with_colour/4 Name: print_quoted/1 Name: print_quoted/2 Name: print_quoted_with_max_depth/2 Name: time/1 Name: time_if_debug/1 Name: time_with_msg/2 Name: watch/1 Name: watch/2 Name: watch_det/2 Name: det_check/1 Name: det_check/2 Name: nl_time/0 Name: debug_nl_time/1 Name: hit_counter/1 Name: new_pp/2 Name: new_sol/2 Name: reset_pp/1 Name: if_det_check/3 Name: trace_in_debug_mode/0 Name: timer_call/1 Name: timer_call/2 Name: timer_statistics/0 Name: bisect/2

Imports

Exports

Name: module_info/2

Module: module_information

Name: format_with_colour/4

Module: tools_printing

Name: print_term_summary/1

Module: tools_printing

Name: term_hash/2

Module: terms

Name: register_event_listener/3

Module: eventhandling

Name: ~~/1

Name: debug_print/1

Name: debug_nl/0

Name: debug_print/2

Name: debug_nl/1

Name: debug_println/2

Name: debug_println/1

Name: debug_format/3

Name: debug_format_flush/3

Name: println/2

Name: println/1

Name: log/1

Name: debug_stats/1

Name: print_debug_stats/0

Name: tcltk_turn_debugging_on/0

Name: tcltk_turn_debugging_on/1

Name: tcltk_turn_debugging_off/0

Name: debug_mode/1

Name: debug_level/1

Name: debug_level_active_for/1

Name: silent_mode/1

Name: set_silent_mode/1

Name: printsilent/1

Name: nls/0

Name: println_silent/1

Name: formatsilent/2

Name: formatsilent/3

Name: printsilent_message/1

Name: formatsilent_with_colour/4

Name: print_quoted/1

Name: print_quoted/2

Name: print_quoted_with_max_depth/2

Name: time/1

Name: time_if_debug/1

Name: time_with_msg/2

Name: watch/1

Name: watch/2

Name: watch_det/2

Name: det_check/1

Name: det_check/2

Name: nl_time/0

Name: debug_nl_time/1

Name: hit_counter/1

Name: new_pp/2

Name: new_sol/2

Name: reset_pp/1

Name: if_det_check/3

Name: trace_in_debug_mode/0

Name: timer_call/1

Name: timer_call/2

Name: timer_statistics/0

Name: bisect/2

Predicates

Predicates:

debug_level_active_for/1

formatsilent_with_colour/4

print_quoted_with_max_depth/2

print_tab/1

print_tabs/0

print_with_max_depth/2

printsilent_message/1

tcltk_turn_debugging_off/0

tcltk_turn_debugging_on/0

tcltk_turn_debugging_on/1

trace_in_debug_mode/0

Dynamic: true

Dynamic: true

debug_level_active_for/1

Dynamic: true

Dynamic: true

Dynamic: true

Dynamic: true

Meta: det_check(0)

Meta: det_check(0,0)

Dynamic: true

formatsilent_with_colour/4

Dynamic: true

Meta: if_det_check(0,0,0)

if_det_check_pp/4

Meta: if_det_check_pp(0,0,0,*)

Dynamic: true

Dynamic: true

print_quoted_with_max_depth/2

print_tab/1

print_tabs/0

print_with_max_depth/2

printsilent_message/1

Dynamic: true

tcltk_turn_debugging_off/0

tcltk_turn_debugging_on/0

tcltk_turn_debugging_on/1

tdepth/1

Dynamic: true

time/1

Meta: time(0)

time_if_debug/1

Meta: time_if_debug(0)

time_raw/4

Meta: time_raw(0,-,-,-)

time_with_msg/2

Meta: time_with_msg(-,0)

timer_call/1

Meta: timer_call(0)

timer_call/2

Meta: timer_call(-,0)

timer_statistics/0

trace_in_debug_mode/0

Meta: watch(0)

Meta: watch(*,0)

Meta: watch_det(*,0)

Meta: ~~(0)

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_enter_debugger_upon_error,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_use_timer,true)
! warning: predicate debug:debug_print/2 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic debug:debug_print/2 .
! near the top of this file.
! warning: predicate debug:debug_nl/1 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic debug:debug_nl/1 .
! near the top of this file.
! warning: predicate debug:debug_println/2 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic debug:debug_println/2 .
! near the top of this file.
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(no_terminal_colors,true)
* Non-determinate: debug:debug_format_flush/3 (clause 1)
* Calls nondet predicate debug:debug_format/3 .
! warning: predicate debug:debug_level/1 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic debug:debug_level/1 .
! near the top of this file.
* Non-determinate: debug:debug_level_active_for/1 (clause 1)
* Calls nondet predicate debug:debug_mode/1 .
* Non-determinate: debug:tcltk_turn_debugging_on/0 (clause 1)
* Calls nondet predicate debug:debug_level/1 .
* Non-determinate: debug:gen_det_id/1 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: debug:reset_pp/1 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: debug:new_pp/2 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: debug:new_sol/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: debug:new_sol_no_redo/2 (clause 1)
* Calls nondet predicate debug:pp_goal/2 .

Name: fail
Name: nl
Name: print/1
Name: mods_match/2	Module: debug
Name: ->/3
Name: term_hash/2	Module: terms

Name: call_ml/4	Module: atelierb_provers_interface
Name: create_state_pred/5	Module: prob_state_predicates
Name: unsat_core_list/4	Module: unsat_cores
Name: progress_info_no_sol_found_aux/1	Module: unsat_cores
Name: create_temp_file/4	Module: atelierb_provers_interface
Name: print_success/4	Module: b_interpreter_components
Name: add_clause/4	Module: smt_solvers_interface
Name: static_activation_dependence/3	Module: static_enabling_analysis
Name: check_values_in_state/1	Module: bmachine_static_checks
Name: testcase_path_timeout_catch/9	Module: cbc_path_solver
Name: ground_inner_wait_flags_in_context/2	Module: kernel_waitflags
Name: create_state_preds_aux/6	Module: prob_state_predicates
Name: xml_declaration_attribute_valid/2	Module: xml_prob
Name: safe_load_foreign_resource2/2	Module: pathes_lib
Name: set_up_constants_state/2	Module: cbc_path_solver
Name: exit_err_scope/3	Module: solver_interface
Name: compute_dependendency_relation_of_all_events_in_the_model/3	Module: static_analysis
Name: encode_ltl_formula_as_ba/3	Module: ltl_safety
Name: smt_add_cnf/3	Module: smt_solvers_interface
Name: cg_node_predicate/3	Module: state_custom_dot_graph
Name: check_symbolic_values/2	Module: bmachine_static_checks
Name: unsat_core_wth_auto_time_limit/5	Module: unsat_cores
Name: read_answer_from_kodkod/2	Module: kodkod_process
Name: bt_sat3/3	Module: b2sat
Name: add_freetype/2	Module: kernel_freetypes
Name: solve_prob/4	Module: solver_handling
Name: debug_format_flush/3	Module: debug
Name: writetodot/5	Module: predicate_analysis
Name: backjump_on_symbol/1	Module: smt_solvers_interface
Name: disable_analysis/5	Module: static_analysis
Name: match2/4	Module: tools
Name: smt_add_predicate_to_solver/5	Module: smt_solvers_interface
Name: test_enabledness_condition/9	Module: static_analysis
Name: progress_info_aux/1	Module: unsat_cores
Name: prove_using_alternative_prover/6	Module: disprover
Name: create_exists_detect_tautology_aux/4	Module: bsyntaxtree
Name: smt_solve_predicate_in_state/5	Module: smt_solvers_interface
Name: b_compile2/8	Module: b_compiler
Name: bt_sat_aux/2	Module: b2sat
Name: xml_to_document/3	Module: xml_prob
Name: smt_add_predicate_aux/3	Module: smt_solvers_interface
Name: solve_and_get_model_from_solver/2	Module: b2sat
Name: precompile_state_packing/0	Module: state_packing
Name: preprocess_conjuncts/4	Module: unsat_cores
Name: call_pp/4	Module: atelierb_provers_interface
Name: lookup_result/4	Module: b_compiler
Name: zmq_rpc_send/4	Module: zmq_rpc
Name: regular_lookup_result_in_list/4	Module: b_compiler

Name: true
Name: flush_output/1
Name: debug_format/3	Module: debug
Name: debug_mode/1	Module: debug
Name: ->/3

Name: tcltk_turn_debugging_on/0	Module: debug
Name: debug_level_active_for/1	Module: debug
Name: opt_csp_listing/0	Module: haskell_csp_analyzer
Name: tcltk_turn_debugging_on/1	Module: debug

Name: >=/2
Name: debug_level/1	Module: debug
Name: debug_mode/1	Module: debug

Name: check_sat_aux/7	Module: smt_solvers_interface
Name: check_element_of_function_closure/6	Module: custom_explicit_sets
Name: check_ast_texpr/2	Module: bsyntaxtree
Name: sort_typed_values/5	Module: b_enumerate

Name: clean_solver_predicate/3	Module: solver_interface
Name: get_fairness_assumption_actions/2	Module: ltl_fairness
Name: print_success/4	Module: b_interpreter_components
Name: read_csv/7	Module: external_functions
Name: get_error_or_message/3	Module: error_manager
Name: predicate_analysis/5	Module: predicate_analysis
Name: compute_instantiations_from_compset/7	Module: quantifier_instantiation
Name: pp_context_state2/3	Module: translate
Name: disprove_with_opts/6	Module: disprover
Name: update_while_info/2	Module: b_read_write_info
Name: cse_print_check/2	Module: b_expression_sharing
Name: induction_symbolic_model_check/3	Module: kinduction
Name: action_simulation3/5	Module: cbc_refinement_checks
Name: guard_strengthening_aux/6	Module: cbc_refinement_checks
Name: remove_free_predicates/3	Module: enabling_predicates
Name: check/0	Module: haskell_csp_analyzer
Name: list/4	Module: disprover_test_runner_cli.pl
Name: try_provers/3	Module: smtlib2_interpreter
Name: read_machine_term_from_file/4	Module: parsercall
Name: get_value_info2/4	Module: coverage_statistics
Name: next_action_aux/4	Module: ltsmin
Name: add_exception_error/4	Module: external_functions
Name: FORCE/3	Module: external_functions
Name: reduce_state_space/2	Module: state_space_reduction
Name: symbolic_model_check_fx/5	Module: ic3
Name: replace_sets_by_records2/2	Module: record_detection
Name: smt_solve_cnf/2	Module: smt_solvers_interface
Name: check_if_feasible_operation2/5	Module: enabling_analysis
Name: get_state_label_group_aux/3	Module: ltsmin
Name: translate_bexpr/2	Module: error_manager
Name: eval_label/3	Module: ltsmin
Name: re_add_pending_aux/3	Module: kernel_waitflags
Name: merge_parallels/2	Module: weakest_preconditions
Name: run_single_testcase/2	Module: test_runner
Name: assert_skipped_failed_conjunct/2	Module: b_interpreter_components
Name: detect_partitions_in_predicates/2	Module: partition_detection
Name: load_b_machine_as_term/3	Module: parsercall
Name: analyze_recursively/0	Module: haskell_csp_analyzer
Name: debug_print_ba_automaton/0	Module: ltl_safety
Name: disprove_double_check/8	Module: disprover
Name: check_value_equal_aux/3	Module: b_intelligent_trace_replay
Name: apply_transformation/3	Module: kodkod
Name: translate_json_operation/3	Module: b_intelligent_trace_replay
Name: get_full_pred/9	Module: smt_solvers_interface
Name: l_ground_wait_flags/3	Module: b_interpreter_components
Name: apply_transformation2/3	Module: kodkod
Name: tcltk_turn_debugging_off/0	Module: debug
Name: debug_level_active_for/1	Module: debug
Name: SATSOLVER/6	Module: external_functions
Name: my_solve_predicate/2	Module: smtlib2_interpreter
Name: write_transition_diagram_for_expr_to_dotfile/2	Module: state_space_reduction
Name: t_induction_step/3	Module: kinduction
Name: b_property/2	Module: specfile
Name: write_path_to_deadlock_or_loop/0	Module: sap
Name: KODKOD/6	Module: external_functions
Name: WRITE_XML_TO_STRING/3	Module: external_functions
Name: tcltk_turn_debugging_on/1	Module: debug
Name: time_if_debug/1	Module: debug
Name: dformat/3	Module: latex_processor
Name: print_weakest_precondition/4	Module: enabling_predicates
Name: print_cb_uncovered_events/0	Module: sap
Name: print_walltime/0	Module: b_interpreter_components
Name: compute_successors/3	Module: ltsmin
Name: get_dependency_enabling_predicate/9	Module: static_analysis
Name: debug_nl_time/1	Module: debug
Name: disprove3/5	Module: disprover
Name: debug_print_bexpr/1	Module: translate
Name: split_invariant/4	Module: ltsmin
Name: compile_nested_let_expressions/0	Module: haskell_csp_analyzer
Name: count_mismatches_aux/5	Module: b_intelligent_trace_replay
Name: timeout_fast_check_property/6	Module: predicate_debugger
Name: store_abort_error_for_context_state_if_possible/4	Module: state_space
Name: print_error_span/2	Module: error_manager
Name: check_element_of_wf0_aux/5	Module: kernel_mappings
Name: kprint/1	Module: kodkod_printer
Name: print_state_packing_profile/0	Module: state_packing
Name: check_if_feasible_operation/5	Module: enabling_analysis
Name: stop_ms_timer_with_debug_msg/2	Module: tools
Name: operations_pos/7	Module: cbc_refinement_checks
Name: cb_save_new_step/5	Module: sap
Name: cb_set_up_path/6	Module: sap
Name: witness_feasibility_parameters/6	Module: cbc_refinement_checks
Name: put_patched_matrix/3	Module: ltsmin
Name: guard_strengthening_single_event/10	Module: cbc_refinement_checks
Name: debug_stats/1	Module: debug
Name: cb_test_cases_step/5	Module: sap
Name: put_codes_xml/1	Module: sap
Name: put_read_write_matrices/2	Module: ltsmin
Name: project_predicate_on_identifiers/5	Module: bsyntaxtree
Name: encode_ltl_formula_as_ba/3	Module: ltl_safety
Name: get_successors_aux/4	Module: ltsmin
Name: add_new_event_in_error_scope/2	Module: error_manager
Name: debug_format_flush/3	Module: debug
Name: print_b_expression/1	Module: enabling_predicates
Name: trace_in_debug_mode/0	Module: debug
Name: xml_write/1	Module: sap
Name: cb_finalize_path_aux/8	Module: sap
Name: add_const_expr_msg/3	Module: bmachine_static_checks
Name: create_constraint_tree/3	Module: predicate_analysis
Name: convert_atom2/5	Module: external_functions
Name: add_debug_message/4	Module: error_manager
Name: analyze_recursively_possible/0	Module: haskell_csp_analyzer
Name: assert_time_out_for_node/3	Module: state_space
Name: add_translation_for_solver/9	Module: smt_solvers_interface
Name: print_op_cache_profile/0	Module: b_operation_cache
Name: debug_opt_push_wait_flag_call_stack_info/3	Module: kernel_waitflags
Name: cbc_symbolic_invariant_violation_get_constraint/2	Module: cbc_ba
Name: initialisation_pos/5	Module: cbc_refinement_checks
Name: replace_sets_by_records3/8	Module: record_detection
Name: check_det_aux/6	Module: external_functions
Name: add_abort_error7/7	Module: kernel_waitflags
Name: cb_find_paths/4	Module: sap
Name: chk_possible/4	Module: sap

Name: analyze/0	Module: haskell_csp_analyzer
Name: check/0	Module: haskell_csp_analyzer
Name: analyze_recursively/0	Module: haskell_csp_analyzer
Name: analyze_recursively_possible/0	Module: haskell_csp_analyzer
Name: precompile_constants/0	Module: haskell_csp_analyzer
Name: precompile_datatypes/1	Module: haskell_csp_analyzer
Name: generate_channel_type_lists/0	Module: haskell_csp_analyzer
Name: debug_nl/0	Module: debug
Name: precompile_nametypes/0	Module: haskell_csp_analyzer

Name: check_enable_dependency/4	Module: ample_sets
Name: solve_predicate_aux1/5	Module: solver_interface
Name: predicate_analysis/5	Module: predicate_analysis
Name: get_state_space_statistics/2	Module: safety_mc
Name: smt_add_extra_clause_cnf/2	Module: smt_solvers_interface
Name: get_time_out_for_comp_pred/6	Module: unsat_cores
Name: disprove3/5	Module: disprover
Name: precompile_datatypes/1	Module: haskell_csp_analyzer
Name: compile_body/6	Module: haskell_csp_analyzer
Name: compute_ample_set2/3	Module: ample_sets
Name: assign_model_from_solver/3	Module: b2sat
Name: compute_successors/3	Module: ltsmin
Name: assert_aut_transition/3	Module: ltl_safety
Name: eval_defs/1	Module: state_custom_dot_graph
Name: strip_outer_exists/2	Module: solver_interface
Name: tcl_execute_stored_test_case/1	Module: sap
Name: check_negated/6	Module: disprover
Name: kodkod_request_intern/5	Module: kodkod_process
Name: b_get_important_preferences_from_raw_machine/2	Module: pref_definitions
Name: mark_closure3/3	Module: closures
Name: check_apply_with_element_constraint/5	Module: clpfd_tables
Name: read_csv_lines/10	Module: external_functions
Name: try_provers/3	Module: smtlib2_interpreter
Name: contains_unsupported_aux/4	Module: smt_solvers_interface
Name: get_fd_value_list5/7	Module: clpfd_lists
Name: compile_let/5	Module: haskell_csp_analyzer
Name: union_of_closure/5	Module: custom_explicit_sets
Name: static_check_main_machine/1	Module: bmachine_static_checks
Name: debug_print_path/3	Module: ample_sets
Name: does_not_accord_with_aux/3	Module: ltsmin
Name: eval_codes_success/6	Module: latex_processor
Name: create_and_add_init_state/1	Module: safety_mc
Name: get_possible_ample_actions_minimal/5	Module: ample_sets
Name: force_equality_int_clpfd/3	Module: kernel_equality
Name: READ_LINE/3	Module: external_functions
Name: get_unsat_component/3	Module: b_interpreter_components
Name: debug_println/1	Module: debug
Name: get_unsat_component_aux/3	Module: b_interpreter_components
Name: add_action_name_transitions/8	Module: ample_sets
Name: execute_model/6	Module: prob2_interface
Name: add_typed_ids/3	Module: bsyntaxtree
Name: is_ltl2ba_tool_installed/1	Module: ltl_safety
Name: send_request/6	Module: kodkod_process
Name: cb_test_cases_step/5	Module: sap
Name: compute_core_linear_loop/8	Module: unsat_cores
Name: find_and_remove_equalities/2	Module: bsyntaxtree
Name: check_if_action_is_stutter_wrt_inv/1	Module: ample_sets
Name: load_tla_file/1	Module: eclipse_interface
Name: determine_dependency_enabling_relations1/7	Module: static_analysis
Name: local_quantified_variable_clashes/1	Module: bmachine_static_checks
Name: check/0	Module: haskell_csp_analyzer
Name: prob2_call_back/2	Module: prob_socketserver
Name: call_ml/4	Module: atelierb_provers_interface
Name: ctl_model_check2/4	Module: ctl
Name: assert_det_solution_for_constant/2	Module: b_interpreter_components
Name: read_lines_loop/3	Module: external_functions
Name: esc_step/1	Module: bmachine_static_checks
Name: get_bf_search_result/3	Module: safety_mc
Name: check_name_clashes/1	Module: bmachine_static_checks
Name: copy_error_scope_events/2	Module: error_manager
Name: assert_aut_initial_state/1	Module: ltl_safety
Name: match_event/2	Module: sap
Name: cleanup_pre/9	Module: ast_cleanup_for_smt
Name: get_temporary_filename/2	Module: system_call
Name: smtlib2_file/2	Module: smtlib2_cli
Name: store_unsat_component_nr/2	Module: b_interpreter_components
Name: union_of_avl_set_with_closure/5	Module: custom_explicit_sets
Name: compile_nested_let_expressions/0	Module: haskell_csp_analyzer
Name: integer_recalc2/2	Module: kodkod_integer_recalc
Name: get_init/2	Module: ltsmin
Name: assert_aut_final_state/1	Module: ltl_safety
Name: get_writable_compiled_filename/4	Module: system_call
Name: eval_expression_codes_success/5	Module: latex_processor
Name: parse_cbc_target_predicate/2	Module: sap
Name: call_table_command_with_trace/4	Module: prob2_interface
Name: commands/3	Module: smtlib2_parser
Name: find_trace_aux/9	Module: prob2_interface
Name: set_argv_from_list_aux/1	Module: external_functions
Name: print_seq_chart_transition/2	Module: uml_generator
Name: call_pp/4	Module: atelierb_provers_interface
Name: call_table_command_in_state/4	Module: prob2_interface
Name: pick_action/5	Module: prob2_interface
Name: cb_find_paths/4	Module: sap
Name: can_enable_certain_action/3	Module: ample_sets
Name: process_dot_command/3	Module: latex_processor
Name: initial_states_mc_safety_property/3	Module: safety_mc
Name: mc_safety_property/5	Module: safety_mc
Name: get_operation_read_projection_infos/6	Module: b_operation_cache
Name: parse_smtlib2/2	Module: smtlib2_parser
Name: extract_new_funs_from_let/5	Module: haskell_csp_analyzer
Name: def_name_clashes/2	Module: bmachine_static_checks
Name: inc_line_counter/0	Module: smtlib2_parser
Name: is_inconsistent_expression/1	Module: kodkod_tools
Name: compute_dependendency_relation_of_all_events_in_the_model/3	Module: static_analysis
Name: is_stutter_action/1	Module: ample_sets
Name: execute_model_steps/9	Module: prob2_interface
Name: enables_action/5	Module: ample_sets
Name: zmq_rpc_init/2	Module: zmq_rpc
Name: generate_test_case/2	Module: sap
Name: intersection_of_explicit_set_wf/4	Module: custom_explicit_sets
Name: assert_unsat_component_abort_error/1	Module: b_interpreter_components
Name: apply_transformation2/3	Module: kodkod

Name: assertz/1
Name: nl
Name: call/1
Name: print/1
Name: is/2
Name: print_term_summary/1	Module: tools_printing
Name: sol_found/2	dynamic predicate
Name: retract/1
Name: ->/3
Name: gen_det_id/1	Module: debug

Name: true
Name: format/3
Name: silent_mode/1	Module: debug
Name: ->/3

Name: xmllint/2	Module: test_runner
Name: clear_diff_output/1	Module: test_runner
Name: diff/3	Module: test_runner
Name: open_search_do_one_node/16	Module: model_checker

Name: check_value_equal_aux/3	Module: b_intelligent_trace_replay
Name: replay_trace/8	Module: b_intelligent_trace_replay
Name: count_mismatches_aux/5	Module: b_intelligent_trace_replay

Name: assertz/1
Name: is/2
Name: det_id/1	Module: debug
Name: retract/1

Name: assertz/1
Name: is/2
Name: hit_counter_fact/1	Module: debug
Name: retract/1

Name: close/1
Name: nl/1
Name: write/2
Name: write_term/3
Name: open/3
Name: =/2

Name: if_det_check_pp/4	Module: debug
Name: new_pp/2	Module: debug

Name: call/1
Name: sol_found/1	dynamic predicate
Name: not/1
Name: new_sol_no_redo/2	Module: debug

Name: true
Name: trace
Name: spy_pp/1	dynamic predicate
Name: ->/3
Name: assertz/1
Name: is/2
Name: pp_nr/1	Module: debug
Name: retract/1

Name: fail
Name: spy_trace/1	Module: debug
Name: nl
Name: print/1
Name: new_sol_no_redo/2	Module: debug

Name: print_cb_stats/2	Module: sap
Name: execute_test_generation/1	Module: sap
Name: explore_and_generate_testcases/7	Module: sap
Name: cb_find_paths/4	Module: sap
Name: print_results/1	Module: kodkod

Name: nl
Name: print/1
Name: statistics/2
Name: print_memory_used_wo_gc/0	Module: tools

Name: RECURSIVE_CALL/1	Module: debug
Name: is/2
Name: print/1
Name: >/2
Name: !

Name: print_tabs/0	Module: debug
Name: trace_point/1	Module: debug

Name: true
Name: nl/1
Name: print/2
Name: silent_mode/1	Module: debug
Name: ->/3

Name: is_potential_path_to_be_stored/2	Module: sap
Name: explore_and_generate_testcases/7	Module: sap
Name: chk_possible/4	Module: sap
Name: cb_find_paths/4	Module: sap
Name: cb_set_up_path/6	Module: sap
Name: cb_save_new_step/5	Module: sap
Name: execute_test_generation/1	Module: sap
Name: cb_finalize_path_aux/8	Module: sap
Name: cb_write_timeout/2	Module: sap

prob_prolog/src/debug.pl

Modules

Predicates of debug

Module Information

Dynamic Predicates: debug_print/2 debug_format/3 debug_nl/1 debug_println/2 debug_mode/1 silent_mode/1 debug_level/1 det_id/1 sol_found/2 pp_nr/1 spy_pp/1 pp_goal/2 sol_found/1 hit_counter_fact/1 tdepth/1

376 Lines

68 Predicates

52 Exports

5 Imports

Predicates:

Determinacy Checker:

Name: print_trace_message_with_typed_vals/2	Module: b_interpreter_components
Name: print_trace_message/1	Module: b_interpreter_components

Name: assertz/1
Name: retractall/1
Name: pp_nr/1	Module: debug
Name: retract/1

Name: get_time_out_for_pred/4	Module: unsat_cores
Name: reset_debug/0	Module: debug
Name: unsat_core_list/4	Module: unsat_cores
Name: catch_and_ignore_well_definedness_error/3	Module: static_analysis
Name: smt_clean_up_pre/4	Module: ast_cleanup_for_smt

Name: tcltk_turn_debugging_on/0	Module: debug
Name: test_eval/1	Module: disprover_test_runner_cli.pl

Name: time_if_debug/1	Module: debug
Name: write_signature_merge_to_dotfile/2	Module: state_space_reduction
Name: tcltk_print_states_for_fdr/1	Module: fdr_csp_generator

Name: eval_line/1	Module: prob_cli
Name: test_eval1/1	Module: test_runner