prob_cli.pl

../../prolog/src/prob_cli.pl

Modules

  • ProB_Preferences_maxx.pl
  • TestPrefs.pl
  • absint
  • alloy2b
  • ample_sets
  • any.pl
  • assert_profiler
  • ast_cleanup_for_smt
  • ast_inspector
  • atelierb_provers_interface
  • atom.pl
  • avl_tools
  • avl_tree.pl
  • avl_ugraphs
  • b_abstract_interpreter
  • b_abstract_interpreter_helpers
  • b_abstract_mappings
  • b_arithmetic_expressions.pl
  • b_ast_cleanup
  • b_ast_cleanup_rewrite_rules
  • b_compiler
  • b_enumerate
  • b_expression_sharing
  • b_global_sets
  • b_interpreter
  • b_interpreter.pl
  • b_interpreter_check
  • b_interpreter_components
  • b_interpreter_eventb
  • b_machine_hierarchy
  • b_normal_form
  • b_operation_cache
  • b_read_write_info
  • b_show_history
  • b_simplifier
  • b_slicing
  • b_state_model_check
  • b_to_cnf
  • b_trace_checking
  • basic_unit_tests
  • before_after_predicates
  • benchmark.pl
  • benchmark_analyser.pl
  • between.pl
  • block_checker.pl
  • bmachine
  • bmachine_construction
  • bmachine_eventb
  • bmachine_static_checks
  • bmachine_structure
  • bmc
  • bool_pred
  • bool_pred_test.pl
  • boolean.pl
  • bsets_clp
  • bsets_clp.pl
  • bsyntaxtree
  • btypechecker
  • builtin_tools
  • bvisual
  • bvisual_any_maxsolver
  • cbc_ba
  • cbc_refinement_checks
  • ce_replay
  • choice_point_profiler
  • chr_set_membership
  • closures
  • clpfd_interface
  • clpfd_lists
  • clpfd_off_interface
  • clpfd_tables
  • consistencycheck
  • constraints
  • counter
  • coverage_statistics
  • coverage_term_expander.pl
  • coverage_tools
  • coverage_tools_annotations
  • csp_basic
  • csp_sequences
  • csp_sets
  • csp_tsets.pl
  • csp_tuples
  • ctigar
  • ctl
  • custom_explicit_sets
  • custom_explicit_sets.pl
  • cvc4interface
  • data_generator
  • debug
  • debugging_calls
  • debugging_calls_te.pl
  • delay
  • dependence
  • disprover
  • disprover_test_runner
  • disprover_test_runner_cli.pl
  • dot_graph_generator
  • dot_graphs_static_analysis
  • eclipse_interface
  • enable_graph
  • enabling_analysis
  • enabling_predicates
  • error_manager
  • eval_strings
  • evalstores
  • eventhandling
  • experiment.pl
  • external_functions
  • fastload
  • fastwhen
  • fastwhen_te.pl
  • fd_utils_clpfd
  • fdr_csp_generator
  • find_whens.pl
  • fixed_value.pl
  • float.pl
  • flow
  • fuzzer
  • fuzzer_runner.pl
  • fuzzfile
  • fuzzing
  • gensym
  • graph_canon
  • graph_iso_nauty
  • graphiso
  • graphiso_test
  • gui_tcltk.pl
  • h_int
  • halt.pl
  • hashing
  • haskell_csp
  • haskell_csp_analyzer
  • heuristic_grouping.pl
  • hit_profiler
  • ic3
  • inf_arith
  • infolog_problem_db.pl
  • input_syntax_tree
  • inspect.pl
  • integer.pl
  • interval
  • interval_calc
  • json
  • junit_tests
  • kernel_cardinality
  • kernel_dif
  • kernel_equality
  • kernel_freetypes
  • kernel_frozen_info
  • kernel_mappings
  • kernel_mappings.pl
  • kernel_objects.pl
  • kernel_ordering
  • kernel_propagation
  • kernel_records
  • kernel_strings
  • kernel_sym_break_order
  • kernel_tools
  • kernel_waitflags
  • kernel_z
  • kinduction
  • kodkod
  • kodkod2
  • kodkod_integer_recalc
  • kodkod_printer
  • kodkod_process
  • kodkod_rewrite
  • kodkod_test
  • kodkod_tools
  • kodkod_translate
  • kodkod_typing
  • latex_processor
  • library_setup
  • list.pl
  • location_vars_to_program
  • log_analyser
  • logger
  • logging
  • ltl
  • ltl2ba
  • ltl_fairness
  • ltl_propositions
  • ltl_safety
  • ltl_tools
  • ltl_translate
  • ltl_verification
  • ltlc
  • ltsmin
  • ltsmin_c_interface
  • ltsmin_trace
  • master
  • maxsolver
  • mcdc_coverage
  • member_of.pl
  • meta_interface
  • mic_generation
  • mini_test_pe
  • model_checker
  • model_translation
  • module_information
  • msg_interop
  • mutation
  • mutation.pl
  • mutation_prob_ast_int_expr.pl
  • mutation_prob_ast_pred.pl
  • mutation_prob_ast_seq_expr.pl
  • mutation_prob_ast_set_expr.pl
  • myheap
  • myset
  • number.pl
  • parsercall
  • partition_detection
  • pathes
  • pe
  • performance_messages
  • pge_algo
  • plspec
  • plspec_test
  • pltables
  • pltables_export
  • pltables_export_csv
  • pltables_export_html
  • pltables_export_latex
  • pltables_export_tools
  • pltables_export_xml
  • plugins
  • pofiles
  • pragmas
  • predicate_abstraction
  • predicate_analysis
  • predicate_debugger
  • predicate_evaluator
  • predicate_handling
  • pref_definitions
  • preferences
  • preprofiler
  • prob2_interface
  • prob_ast_any.pl
  • prob_ast_boolean.pl
  • prob_ast_couple.pl
  • prob_ast_eval_int_expr.pl
  • prob_ast_eval_pred.pl
  • prob_ast_eval_seq_expr.pl
  • prob_ast_eval_set_expr.pl
  • prob_ast_expr.pl
  • prob_ast_identifier.pl
  • prob_ast_int_expr.pl
  • prob_ast_integer.pl
  • prob_ast_minimize_int_expr.pl
  • prob_ast_minimize_pred.pl
  • prob_ast_minimize_seq_expr.pl
  • prob_ast_minimize_set_expr.pl
  • prob_ast_pred.pl
  • prob_ast_record.pl
  • prob_ast_sat.pl
  • prob_ast_seq.pl
  • prob_ast_seq_expr.pl
  • prob_ast_set.pl
  • prob_ast_set_expr.pl
  • prob_ast_string.pl
  • prob_cli.pl
  • prob_cov.pl
  • prob_profiling_cli.pl
  • prob_rule_compiler
  • prob_socketserver
  • prob_startup
  • prob_state_bindlist.pl
  • prob_state_predicates
  • prob_tcltk.pl
  • prob_value_any.pl
  • prob_value_boolean.pl
  • prob_value_integer.pl
  • prob_value_record.pl
  • prob_value_seq.pl
  • prob_value_set.pl
  • prob_value_string.pl
  • probhash
  • probsocket_proxy.pl
  • profiler
  • profiler_gui
  • profiler_te
  • prologTasks
  • promela_ncprinter
  • promela_ncprinter
  • promela_ncprinter
  • promela_tools
  • proz
  • ptest.pl
  • random_permutations
  • rational.pl
  • record_detection
  • reduce_graph_state_space
  • refinement_checker
  • rewrite_rules_db
  • runtime_profiler
  • safety_mc
  • sap
  • satsolver
  • schemaexpansion
  • schemavars
  • self_check
  • self_check_off.pl
  • seq_rewriter
  • simkeys.pl
  • smt_common_predicates
  • smt_solvers_interface
  • smtlib2_cli
  • smtlib2_environment
  • smtlib2_interpreter
  • smtlib2_parser
  • smtlib2_parser_tests.pl
  • smtlib2_translation
  • snippets.pl
  • solver_dispatcher
  • solver_handling
  • solver_interface
  • source_profiler
  • specfile
  • state_custom_dot_graph
  • state_packing
  • state_permuter
  • state_space
  • state_space_dijkstra
  • state_space_exploration_modes
  • state_space_explorer
  • state_space_open_nodes
  • state_space_open_nodes_c
  • state_space_reduction
  • state_viewer_images
  • static_analysis
  • static_ordering
  • static_symmetry_reduction
  • store
  • store.pl
  • subexpressions
  • succeed_max
  • symmetry_marker
  • symmetry_reduction
  • synthesis_tests
  • synthesis_util
  • system_call
  • table_tools
  • tcltk_interface.pl
  • tcltk_interface.pl
  • tcltk_tree_inspector
  • test
  • test
  • test.pl
  • test2
  • test_nodestore.pl
  • test_pe
  • test_runner
  • test_typechecker
  • testaddon
  • testcases
  • testdining
  • testltlc
  • testsignal.pl
  • timeout_check.pl
  • timer
  • tools
  • tools_commands
  • tools_files
  • tools_io
  • tools_lists
  • tools_matching
  • tools_meta
  • tools_printing
  • tools_strings
  • tools_timeout
  • translate
  • translate_keywords
  • tree.pl
  • typechecker
  • typing_tools
  • unit_parser
  • units
  • units_alias
  • units_conversions
  • units_domain
  • units_interpreter
  • units_interpreter_helpers
  • units_prettyprint
  • units_tools
  • unsat_core_generalization
  • unsat_cores
  • user_interrupts
  • user_signal
  • value_persistance
  • variable.pl
  • version
  • visualize_graph
  • weakest_preconditions
  • whash_send
  • worker
  • xml2b
  • xml_prob
  • xtl
  • xtl_interface
  • xtl_program
  • z3interface
  • z_tools
  • z_typechecker
  • zenvironment
  • zlib
  • zmq
  • zparameters
  • ztransformations
  • Predicates of prob_cli.pl

  • accumulate_infos/2
  • add_eval_result/1
  • add_model_checking_warnings/4
  • add_vacuous_invariant/1
  • animate_machine/0
  • animate_machine2/0
  • animation_mode_does_not_support_animation/1
  • append_assertion/1
  • assert_all_options/1
  • assert_option/1
  • atom_contains_codes/2
  • available_commands/1
  • browse/0
  • browse_all_machines/1
  • browse_machine/1
  • call_probcli_option/1
  • cbc_assertions/2
  • cbc_check/1
  • cbc_deadlock_check/1
  • cbc_redundant_invariants/1
  • cbc_refinement/0
  • cbc_sequence/3
  • cbc_test_case_generation/3
  • check_all_expected_errors_occurred/1
  • check_complete/0
  • check_complete_operation_coverage/0
  • check_expected/3
  • check_for_errors/2
  • check_java_version/0
  • check_loaded/1
  • check_model_result/2
  • check_parser_version/0
  • check_ref_result/1
  • check_required_infos/3
  • check_status/4
  • check_totals/4
  • clear_loaded_files/0
  • cli_add_additional_property/1
  • cli_animateOperationNr/3
  • cli_assertions_ok/2
  • cli_checkAssertion/4
  • cli_check_assertions/2
  • cli_check_assertions/3
  • cli_check_csp_assertion/2
  • cli_check_goal/0
  • cli_check_properties/0
  • cli_check_properties/1
  • cli_check_scc_for_ltl_formula/2
  • cli_check_statespace_hash/2
  • cli_computeOperations/1
  • cli_csp_get_assertions/0
  • cli_csp_in_situ_refinement_check/4
  • cli_csp_translate_to_file/1
  • cli_ctl_model_check/3
  • cli_eval_csp_expression/1
  • cli_execute/3
  • cli_execute_add_virtual_transition/3
  • cli_execute_aux/6
  • cli_execute_from/5
  • cli_execute_trans/4
  • cli_find_ltl_ap/1
  • cli_get_coverage_information/1
  • cli_get_min_max_coverage/1
  • cli_goal_found/1
  • cli_init_options/2
  • cli_init_options2/2
  • cli_invariant_ok/2
  • cli_load_files/2
  • cli_load_files2/3
  • cli_load_files3/4
  • cli_ltl_model_check/3
  • cli_mc/1
  • cli_print_all_values/1
  • cli_print_history/1
  • cli_print_junit_results/1
  • cli_print_machine_statistics/0
  • cli_print_statistics/0
  • cli_print_values/1
  • cli_process_loaded_file/2
  • cli_process_loaded_file_afer_start_animation/1
  • cli_random_animate/2
  • cli_random_animate/3
  • cli_set_empty_machine/0
  • cli_set_goal/1
  • cli_set_searchscope/1
  • cli_show_coverage/2
  • cli_show_coverage/4
  • cli_show_help/2
  • cli_show_variable_coverage/1
  • cli_start_animation/1
  • cli_start_initialisation/1
  • cli_start_logging/5
  • cli_start_mc_with_tlc/0
  • cli_start_model_check/2
  • cli_start_refinement_check/4
  • cli_start_selfcheck/0
  • cli_start_socketserver/1
  • cli_start_sym_mc_with_lts/1
  • cli_start_trace_check/1
  • cli_start_trace_state_check/1
  • cli_symbolic_model_check/1
  • cli_test_pred/2
  • cli_trans/4
  • cli_trans_aux/4
  • cli_vacuity_check/0
  • close_repl_input_stream/1
  • command_option/1
  • compare_kodkod_performance1/3
  • compile_time_flag/1
  • computeOperations_for_root_required/0
  • constraint_based_check/1
  • construct_and_execute_tlc_command/1
  • convert_dash_to_underscore/2
  • count_assertions/3
  • coverage/1
  • create_state_error_description/2
  • definite_error_occurred/0
  • display_match/3
  • display_match/4
  • do_det_checking/0
  • do_enabling_analysis_csv/2
  • do_feasibility_analysis/2
  • do_not_execute_automatically/1
  • do_one_gui_event/0
  • dot_command/2
  • dot_command_for_expr/4
  • dot_file_number/1
  • dot_file_prefix/1
  • edit_main_file/0
  • error_occurred/1
  • error_occurred/2
  • error_occurred/4
  • error_occurred_with_msg/2
  • eval/0
  • eval1/0
  • eval_command/2
  • eval_command_help/3
  • eval_help/0
  • eval_line/1
  • eval_probcli_repl_line/1
  • eval_string_or_file/4
  • evalchecklist/2
  • evalchecklist2/2
  • evalchecklist3/3
  • evaluate_expressions/1
  • evaluate_from_commandline/0
  • exec_eval_command/2
  • execute/3
  • expected_error/1
  • file_info/0
  • file_loaded/1
  • gen_enum_warning/1
  • generate_atom_list/3
  • generate_read_write_matrix/1
  • generate_time_stamp/2
  • get_comma_or_space_separated_options/2
  • get_dot_file/2
  • get_error_category_and_type/3
  • get_error_or_warning_span/4
  • get_error_sources/0
  • get_errors/0
  • get_info/3
  • get_next_nr/1
  • get_probcli_elapsed_walltime/2
  • get_quoted_atom/4
  • get_state_errors/1
  • get_state_space_errors/0
  • go_cli/0
  • go_cli/1
  • go_cli2/1
  • go_cli_with_junit_check/1
  • go_proxy/0
  • halt1_prob/1
  • halt_exception/0
  • halt_exception/1
  • halt_prob/1
  • handle_symbolic_model_check_result/1
  • help/0
  • if_option_set/2
  • if_option_set/3
  • if_option_set_loaded/3
  • if_options_set/2
  • ifm_option_set/2
  • ifm_option_set/3
  • ifm_option_set_loaded/3
  • important_info/1
  • incomplete_warning/2
  • init_req2/0
  • initialise/0
  • initialise_cli/0
  • initialise_required/0
  • irrelevant_xml_info/1
  • is_constant_binding/1
  • is_eventb_b/1
  • is_ws/1
  • just_assert_option/1
  • load_main_file/3
  • load_model/1
  • load_spec_file/2
  • load_spec_file/3
  • loaded_main_file/1
  • loaded_root_filename/1
  • logxml_write_vars/1
  • ltl_check_assertions/0
  • ltl_check_file/1
  • ltl_check_formulas/2
  • ltsmin_ltl_output/2
  • make_assertionwps/1
  • mc_ok_arg/2
  • mcm_test_case_generation/4
  • model_check/3
  • model_check/4
  • my_tell/1
  • no_command_issued/0
  • normalise_option_atom/2
  • normalise_pref_name/2
  • not_command_option/1
  • open_file_at_position/1
  • option_only_works_for_single_file/1
  • option_requires_all_properties/1
  • option_verbose/0
  • options_allow_start_without_file/0
  • parse_eval_command/3
  • perform/1
  • perform_random_init_after_setup_constants/0
  • perform_random_initialisation/0
  • perform_random_initialisation/1
  • perform_random_initialisation_if_necessary/1
  • perform_random_step/1
  • perform_random_step/4
  • perform_random_steps/2
  • perform_random_steps_aux/3
  • perform_symbolic_model_checking/2
  • portray_message/2
  • pracc/1
  • pred_eval_hook/5
  • pretty_print_all_types/1
  • pretty_print_internal_rep/1
  • pretty_print_internal_rep_to_B/1
  • print_accumulated_infos/1
  • print_bindings/1
  • print_cbc_stats/2
  • print_compile_time_flags/0
  • print_current_state/0
  • print_eval_command_help/1
  • print_eval_results/0
  • print_file_info/1
  • print_help/0
  • print_keynr/1
  • print_list/1
  • print_list/2
  • print_list2/1
  • print_max_walltime/0
  • print_mode_info/0
  • print_options/0
  • print_options/2
  • print_probcli_error_non_strict/2
  • print_prolog_flags/0
  • print_repl_prompt/0
  • print_repl_prompt/1
  • print_set/1
  • print_sets/0
  • print_short_version/0
  • print_state_silent/1
  • print_total_probcli_timer/0
  • print_uncovered/2
  • print_version/0
  • prnt/2
  • prob_profile/0
  • probcli_add_light_warning/2
  • probcli_startup/0
  • process_cbc_assertion_result/2
  • process_ltsmin_result/1
  • profiling_on/0
  • recognised_cli_option/4
  • recognised_option/2
  • recognised_option/3
  • recognised_option/4
  • relevant_flag/1
  • reload_mainfile/0
  • remove_constants/2
  • repl/0
  • repl_multi_read_line/1
  • repl_multi_read_line_aux/3
  • reset_cli/0
  • reset_dot_file_number/0
  • reset_expected_error_occurred/0
  • runtime_entry/1
  • save/0
  • save_state/1
  • seperator/1
  • serious_error/1
  • set_analyse_hook/1
  • set_argv/1
  • set_current_probcli_command/1
  • set_dot_file_prefix/1
  • set_dot_file_prefix_if_option_set/1
  • set_junit_mode/1
  • set_new_random_seed/0
  • set_optional_errors/0
  • set_pref/2
  • set_prefs/0
  • set_random_seed_to_deterministic_start_seed/0
  • set_repl_input_file/2
  • show_cache/0
  • show_initialisation_summary/1
  • show_last_expression_as_table/0
  • show_operation_coverage_summary/1
  • show_origin/1
  • show_source/1
  • silent/0
  • sort_assertions/2
  • split_by_seperator/2
  • split_by_seperator2/2
  • start_animation_without_computing/0
  • start_ltsmin_srv/2
  • start_probcli_timer/1
  • start_xml_feature/2
  • start_xml_feature/4
  • stop_probcli_debug_timer/2
  • stop_probcli_timer/2
  • stop_probcli_timer/3
  • stop_xml_feature/2
  • store_last_error_location_for_repl/0
  • strip_leading_ws/2
  • strip_ws/2
  • strip_ws2/2
  • test_kodkod_and_exit/2
  • timeout_call/2
  • tk_do_all_events/0
  • top_level_eval/0
  • top_level_eval1/0
  • translate_err_type/2
  • translate_exception/2
  • treat_existence_error/4
  • truncate_animate_action/2
  • unset_analyse_hook/0
  • unset_current_probcli_command/0
  • update_time_stamp/1
  • variable_coverage/0
  • verbose/0
  • very_verbose/0
  • we_did_something/0
  • we_need_only_static_assertions/1
  • write_deferred_set_used/1
  • write_dot_graph_to_new_file/2
  • write_important_xml_element_to_log/2
  • write_result_to_file/1
  • xml_log_machine_statistics/0
  • zmq_delayed_option/1
  • zmq_get_important_options/1
  • zmq_get_initialisation_term/1
  • zmq_important_option/1
  • zmq_set_important_options/1
  • zmq_set_option/1
  • zmq_start_master/2
  • zmq_start_worker/2
  • zmq_worker_load_model/1
  • Module Information

    Module Information


    Dynamic Predicates:           junit_mode/1           file_loaded/2           max_walltime/3           assertion_counter/1           dot_file_prefix/1           dot_file_number/1           probcli_time_stamp/1           loaded_main_file/2           eval_result/2           last_repl_error/2           current_repl_input_stream/2           trace_eval/0           expected_error_occurred/1           error_did_not_occur/1           current_probcli_command/1           accumulated_infos/3           option/1

    3959 Lines

    358 Predicates

    Imported Modules:           module_information          debugging_calls          eclipse_interface          prob_socketserver          debug          preferences          basic_unit_tests          error_manager          zmq/master/master          zmq/worker/worker          ltsmin/ltsmin          system          codesio          logger          specfile          kodkod_test          hit_profiler          counter/counter          predicate_evaluator          refinement_checker          version          eval_strings          table_tools

    0 Exports

    113 specified Imports

    Imports Exports

    Name:    startup_prob/0

    Module:    prob_startup


    Name:    string_concatenate/3

    Module:    tools


    Name:    arg_is_number/2

    Module:    tools


    Name:    print_error/1

    Module:    tools_printing


    Name:    start_animation/0

    Module:    prob2_interface


    Name:    is_initialised_state/1

    Module:    prob2_interface


    Name:    set_eclipse_preference/2

    Module:    prob2_interface


    Name:    update_preferences_from_spec/0

    Module:    prob2_interface


    Name:    load_cspm_spec_from_cspm_file/1

    Module:    prob2_interface


    Name:    compute_the_coverage/5

    Module:    coverage_statistics


    Name:    set_storage_directory/1

    Module:    value_persistance


    Name:    unset_storage_directory/0

    Module:    value_persistance


    Name:    check_default_trace_for_specfile/1

    Module:    b_trace_checking


    Name:    tcltk_check_state_sequence_from_file/1

    Module:    b_trace_checking


    Name:    tcltk_save_history_as_trace_file/2

    Module:    b_trace_checking


    Name:     file_exists/1

    Module:     file_systems


    Name:     make_directory/1

    Module:     file_systems


    Name:    run_typecheck_testcase/2

    Module:    test_typechecker


    Name:    disable_interaction_on_errors/0

    Module:    self_check


    Name:    perform_self_check/1

    Module:    self_check


    Name:    turn_off_run_time_type_checks/0

    Module:    self_check


    Name:    turn_on_run_time_type_checks/0

    Module:    self_check


    Name:    b_write_machine_representation_to_file/2

    Module:    bmachine


    Name:    full_b_machine/1

    Module:    bmachine


    Name:    b_write_eventb_machine_to_classicalb_to_file/1

    Module:    bmachine


    Name:    set_cspm_main_process/1

    Module:    xtl_interface


    Name:    is_dot_command/1

    Module:    meta_interface


    Name:    call_dot_command/3

    Module:    meta_interface


    Name:    is_dot_command_for_expr/1

    Module:    meta_interface


    Name:    call_dot_command_for_expr/4

    Module:    meta_interface


    Name:    command_description/3

    Module:    meta_interface


    Name:    test_predicate_analysis/0

    Module:    predicate_analysis


    Name:    write_history_to_file/2

    Module:    b_show_history


    Name:    write_values_to_file/1

    Module:    b_show_history


    Name:    write_all_values_to_dir/1

    Module:    b_show_history


    Name:    write_history_to_user_output/1

    Module:    b_show_history


    Name:    check_if_predicates_were_evaluated/1

    Module:    external_functions


    Name:    write_all_deadlocking_paths_to_xml/1

    Module:    sap


    Name:    test_generation_by_xml_description/1

    Module:    sap


    Name:    run_disprover_on_all_pos/1

    Module:    disprover_test_runner


    Name:    load_po_file/1

    Module:    disprover_test_runner


    Name:    print_disprover_stats/0

    Module:    disprover_test_runner


    Name:    set_disprover_timeout/1

    Module:    disprover_test_runner


    Name:    set_disprover_options/1

    Module:    disprover_test_runner


    Name:    reset_disprover_timeout/0

    Module:    disprover_test_runner


    Name:    process_latex_file/2

    Module:    latex_processor


    Name:    safe_time_out/3

    Module:    tools_meta


    Name:    set_junit_dir/1

    Module:    junit_tests


    Name:    print_junit/2

    Module:    junit_tests


    Name:    create_junit_result/6

    Module:    junit_tests


    Name:    store_virtual_event/1

    Module:    eventhandling


    Name:    show_cache_file_contents/0

    Module:    value_persistance


    Name:    show_cache_file_constants/0

    Module:    value_persistance


    Name:    print_op_cache/0

    Module:    b_operation_cache


    Name:    not_all_transitions_added/1

    Module:    state_space


    Name:    not_invariant_checked/1

    Module:    state_space


    Name:    current_expression/2

    Module:    state_space


    Name:    count_occurences/2

    Module:    tools_lists


    Name:    reset_side_effect_occurred/0

    Module:    external_functions


    Name:    side_effect_occurred/1

    Module:    external_functions


    Name:    get_assertions_from_machine/2

    Module:    bmachine


    Name:    current_state_corresponds_to_setup_constants_b_machine/0

    Module:    state_space


    Name:    system_call/4

    Module:    system_call


    Name:     csv_to_trace/3

    Module:     ltsmin/ltsmin_trace


    Name:    b_machine_name/1

    Module:    bmachine


    Name:    write_lines_to_file/2

    Module:    tools_files


    Name:    pretty_print_coverage_information_to_file/1

    Module:    coverage_statistics


    Name:     term_hash/2

    Module:     terms


    Name:    state_error/3

    Module:    state_space


    Name:    invariant_violated/1

    Module:    state_space


    Name:    time_out_for_invariant/1

    Module:    state_space


    Name:    time_out_for_assertions/1

    Module:    state_space


    Name:    time_out_for_node/3

    Module:    state_space


    Name:    check_java_version/2

    Module:    parsercall


    Name:    get_parser_version/1

    Module:    parsercall


    Name:    ensure_console_parser_launched/0

    Module:    parsercall


    Name:    get_parser_version/1

    Module:    parsercall


    Name:    get_java_command_path/1

    Module:    parsercall


    Name:    get_java_fullversion/1

    Module:    parsercall


    Name:    set_depth_breadth_first_mode/1

    Module:    state_space_exploration_modes


    Name:    model_checking_is_incomplete/6

    Module:    model_checker


    Name:    predicate_uses_unfixed_deferred_set/2

    Module:    solver_interface


    Name:    unfixed_typed_id_in_list/3

    Module:    solver_interface


    Name:    get_texpr_id/2

    Module:    bsyntaxtree


    Name:    safe_open_file/4

    Module:    tools_io


    Name:    infeasible_operation_cache/1

    Module:    enabling_analysis


    Name:    explore_and_generate_testcases/7

    Module:    sap


    Name:    cbc_gen_test_cases_from_string/5

    Module:    sap


    Name:    tcl_get_stored_test_cases/1

    Module:    sap


    Name:    ensure_console_parser_launched/0

    Module:    parsercall


    Name:    interruptable_call/1

    Module:    user_interrupts


    Name:    start_terminal_colour/2

    Module:    tools_printing


    Name:    reset_terminal_colour/1

    Module:    tools_printing


    Name:    print_red/1

    Module:    tools_printing


    Name:    print_green/1

    Module:    tools_printing


    Name:    safe_open_file/4

    Module:    tools_io


    Name:    format_with_colour/4

    Module:    tools_printing


    Name:    toggle_perfmessages/0

    Module:    performance_messages


    Name:    show_dot_file/1

    Module:    tools_commands


    Name:    show_ps_file/1

    Module:    tools_commands


    Name:    gen_dot_output/4

    Module:    tools_commands


    Name:    edit_file/2

    Module:    tools_commands


    Name:    extract_file_line_col/6

    Module:    error_manager


    Name:    get_machine_identifiers/2

    Module:    prob2_interface


    Name:    get_machine_identifier_names/7

    Module:    b_machine_hierarchy


    Name:    visited_expression/2

    Module:    state_space


    Name:    tcltk_cbc_enabling_analysis/1

    Module:    enabling_analysis


    Name:    print_enable_table/1

    Module:    enabling_analysis


    Name:    is_timeout_enabling_result/1

    Module:    enabling_analysis


    Name:    feasible_operation_with_timeout/3

    Module:    enabling_analysis


    Name:    tcltk_read_write_matrix/1

    Module:    b_read_write_info


    Name:    print_runtime_profile/0

    Module:    runtime_profiler


    Name:    print_source_profile/0

    Module:    source_profiler



    Predicates

    Predicates:

  • accumulate_infos/2
  • add_eval_result/1
  • add_model_checking_warnings/4
  • add_vacuous_invariant/1
  • animate_machine/0
  • animate_machine2/0
  • animation_mode_does_not_support_animation/1
  • append_assertion/1
  • assert_all_options/1
  • assert_option/1
  • atom_contains_codes/2
  • available_commands/1
  • browse/0
  • browse_all_machines/1
  • browse_machine/1
  • call_probcli_option/1
  • cbc_assertions/2
  • cbc_check/1
  • cbc_deadlock_check/1
  • cbc_redundant_invariants/1
  • cbc_refinement/0
  • cbc_sequence/3
  • cbc_test_case_generation/3
  • check_all_expected_errors_occurred/1
  • check_complete/0
  • check_complete_operation_coverage/0
  • check_expected/3
  • check_for_errors/2
  • check_java_version/0
  • check_loaded/1
  • check_model_result/2
  • check_parser_version/0
  • check_ref_result/1
  • check_required_infos/3
  • check_status/4
  • check_totals/4
  • clear_loaded_files/0
  • cli_add_additional_property/1
  • cli_animateOperationNr/3
  • cli_assertions_ok/2
  • cli_checkAssertion/4
  • cli_check_assertions/2
  • cli_check_assertions/3
  • cli_check_csp_assertion/2
  • cli_check_goal/0
  • cli_check_properties/0
  • cli_check_properties/1
  • cli_check_scc_for_ltl_formula/2
  • cli_check_statespace_hash/2
  • cli_computeOperations/1
  • cli_csp_get_assertions/0
  • cli_csp_in_situ_refinement_check/4
  • cli_csp_translate_to_file/1
  • cli_ctl_model_check/3
  • cli_eval_csp_expression/1
  • cli_execute/3
  • cli_execute_add_virtual_transition/3
  • cli_execute_aux/6
  • cli_execute_from/5
  • cli_execute_trans/4
  • cli_find_ltl_ap/1
  • cli_get_coverage_information/1
  • cli_get_min_max_coverage/1
  • cli_goal_found/1
  • cli_init_options/2
  • cli_init_options2/2
  • cli_invariant_ok/2
  • cli_load_files/2
  • cli_load_files2/3
  • cli_load_files3/4
  • cli_ltl_model_check/3
  • cli_mc/1
  • cli_print_all_values/1
  • cli_print_history/1
  • cli_print_junit_results/1
  • cli_print_machine_statistics/0
  • cli_print_statistics/0
  • cli_print_values/1
  • cli_process_loaded_file/2
  • cli_process_loaded_file_afer_start_animation/1
  • cli_random_animate/2
  • cli_random_animate/3
  • cli_set_empty_machine/0
  • cli_set_goal/1
  • cli_set_searchscope/1
  • cli_show_coverage/2
  • cli_show_coverage/4
  • cli_show_help/2
  • cli_show_variable_coverage/1
  • cli_start_animation/1
  • cli_start_initialisation/1
  • cli_start_logging/5
  • cli_start_mc_with_tlc/0
  • cli_start_model_check/2
  • cli_start_refinement_check/4
  • cli_start_selfcheck/0
  • cli_start_socketserver/1
  • cli_start_sym_mc_with_lts/1
  • cli_start_trace_check/1
  • cli_start_trace_state_check/1
  • cli_symbolic_model_check/1
  • cli_test_pred/2
  • cli_trans/4
  • cli_trans_aux/4
  • cli_vacuity_check/0
  • close_repl_input_stream/1
  • command_option/1
  • compare_kodkod_performance1/3
  • compile_time_flag/1
  • computeOperations_for_root_required/0
  • constraint_based_check/1
  • construct_and_execute_tlc_command/1
  • convert_dash_to_underscore/2
  • count_assertions/3
  • coverage/1
  • create_state_error_description/2
  • definite_error_occurred/0
  • display_match/3
  • display_match/4
  • do_det_checking/0
  • do_enabling_analysis_csv/2
  • do_feasibility_analysis/2
  • do_not_execute_automatically/1
  • do_one_gui_event/0
  • dot_command/2
  • dot_command_for_expr/4
  • dot_file_number/1
  • dot_file_prefix/1
  • edit_main_file/0
  • error_occurred/1
  • error_occurred/2
  • error_occurred/4
  • error_occurred_with_msg/2
  • eval/0
  • eval1/0
  • eval_command/2
  • eval_command_help/3
  • eval_help/0
  • eval_line/1
  • eval_probcli_repl_line/1
  • eval_string_or_file/4
  • evalchecklist/2
  • evalchecklist2/2
  • evalchecklist3/3
  • evaluate_expressions/1
  • evaluate_from_commandline/0
  • exec_eval_command/2
  • execute/3
  • expected_error/1
  • file_info/0
  • file_loaded/1
  • gen_enum_warning/1
  • generate_atom_list/3
  • generate_read_write_matrix/1
  • generate_time_stamp/2
  • get_comma_or_space_separated_options/2
  • get_dot_file/2
  • get_error_category_and_type/3
  • get_error_or_warning_span/4
  • get_error_sources/0
  • get_errors/0
  • get_info/3
  • get_next_nr/1
  • get_probcli_elapsed_walltime/2
  • get_quoted_atom/4
  • get_state_errors/1
  • get_state_space_errors/0
  • go_cli/0
  • go_cli/1
  • go_cli2/1
  • go_cli_with_junit_check/1
  • go_proxy/0
  • halt1_prob/1
  • halt_exception/0
  • halt_exception/1
  • halt_prob/1
  • handle_symbolic_model_check_result/1
  • help/0
  • if_option_set/2
  • if_option_set/3
  • if_option_set_loaded/3
  • if_options_set/2
  • ifm_option_set/2
  • ifm_option_set/3
  • ifm_option_set_loaded/3
  • important_info/1
  • incomplete_warning/2
  • init_req2/0
  • initialise/0
  • initialise_cli/0
  • initialise_required/0
  • irrelevant_xml_info/1
  • is_constant_binding/1
  • is_eventb_b/1
  • is_ws/1
  • just_assert_option/1
  • load_main_file/3
  • load_model/1
  • load_spec_file/2
  • load_spec_file/3
  • loaded_main_file/1
  • loaded_root_filename/1
  • logxml_write_vars/1
  • ltl_check_assertions/0
  • ltl_check_file/1
  • ltl_check_formulas/2
  • ltsmin_ltl_output/2
  • make_assertionwps/1
  • mc_ok_arg/2
  • mcm_test_case_generation/4
  • model_check/3
  • model_check/4
  • my_tell/1
  • no_command_issued/0
  • normalise_option_atom/2
  • normalise_pref_name/2
  • not_command_option/1
  • open_file_at_position/1
  • option_only_works_for_single_file/1
  • option_requires_all_properties/1
  • option_verbose/0
  • options_allow_start_without_file/0
  • parse_eval_command/3
  • perform/1
  • perform_random_init_after_setup_constants/0
  • perform_random_initialisation/0
  • perform_random_initialisation/1
  • perform_random_initialisation_if_necessary/1
  • perform_random_step/1
  • perform_random_step/4
  • perform_random_steps/2
  • perform_random_steps_aux/3
  • perform_symbolic_model_checking/2
  • portray_message/2
  • pracc/1
  • pred_eval_hook/5
  • pretty_print_all_types/1
  • pretty_print_internal_rep/1
  • pretty_print_internal_rep_to_B/1
  • print_accumulated_infos/1
  • print_bindings/1
  • print_cbc_stats/2
  • print_compile_time_flags/0
  • print_current_state/0
  • print_eval_command_help/1
  • print_eval_results/0
  • print_file_info/1
  • print_help/0
  • print_keynr/1
  • print_list/1
  • print_list/2
  • print_list2/1
  • print_max_walltime/0
  • print_mode_info/0
  • print_options/0
  • print_options/2
  • print_probcli_error_non_strict/2
  • print_prolog_flags/0
  • print_repl_prompt/0
  • print_repl_prompt/1
  • print_set/1
  • print_sets/0
  • print_short_version/0
  • print_state_silent/1
  • print_total_probcli_timer/0
  • print_uncovered/2
  • print_version/0
  • prnt/2
  • prob_profile/0
  • probcli_add_light_warning/2
  • probcli_startup/0
  • process_cbc_assertion_result/2
  • process_ltsmin_result/1
  • profiling_on/0
  • recognised_cli_option/4
  • recognised_option/2
  • recognised_option/3
  • recognised_option/4
  • relevant_flag/1
  • reload_mainfile/0
  • remove_constants/2
  • repl/0
  • repl_multi_read_line/1
  • repl_multi_read_line_aux/3
  • reset_cli/0
  • reset_dot_file_number/0
  • reset_expected_error_occurred/0
  • runtime_entry/1
  • save/0
  • save_state/1
  • seperator/1
  • serious_error/1
  • set_analyse_hook/1
  • set_argv/1
  • set_current_probcli_command/1
  • set_dot_file_prefix/1
  • set_dot_file_prefix_if_option_set/1
  • set_junit_mode/1
  • set_new_random_seed/0
  • set_optional_errors/0
  • set_pref/2
  • set_prefs/0
  • set_random_seed_to_deterministic_start_seed/0
  • set_repl_input_file/2
  • show_cache/0
  • show_initialisation_summary/1
  • show_last_expression_as_table/0
  • show_operation_coverage_summary/1
  • show_origin/1
  • show_source/1
  • silent/0
  • sort_assertions/2
  • split_by_seperator/2
  • split_by_seperator2/2
  • start_animation_without_computing/0
  • start_ltsmin_srv/2
  • start_probcli_timer/1
  • start_xml_feature/2
  • start_xml_feature/4
  • stop_probcli_debug_timer/2
  • stop_probcli_timer/2
  • stop_probcli_timer/3
  • stop_xml_feature/2
  • store_last_error_location_for_repl/0
  • strip_leading_ws/2
  • strip_ws/2
  • strip_ws2/2
  • test_kodkod_and_exit/2
  • timeout_call/2
  • tk_do_all_events/0
  • top_level_eval/0
  • top_level_eval1/0
  • translate_err_type/2
  • translate_exception/2
  • treat_existence_error/4
  • truncate_animate_action/2
  • unset_analyse_hook/0
  • unset_current_probcli_command/0
  • update_time_stamp/1
  • variable_coverage/0
  • verbose/0
  • very_verbose/0
  • we_did_something/0
  • we_need_only_static_assertions/1
  • write_deferred_set_used/1
  • write_dot_graph_to_new_file/2
  • write_important_xml_element_to_log/2
  • write_result_to_file/1
  • xml_log_machine_statistics/0
  • zmq_delayed_option/1
  • zmq_get_important_options/1
  • zmq_get_initialisation_term/1
  • zmq_important_option/1
  • zmq_set_important_options/1
  • zmq_set_option/1
  • zmq_start_master/2
  • zmq_start_worker/2
  • zmq_worker_load_model/1


  • accumulate_infos/2

    accumulate_infos/2



    add_eval_result/1

    add_eval_result/1



    add_model_checking_warnings/4

    add_model_checking_warnings/4



    add_vacuous_invariant/1

    add_vacuous_invariant/1



    animate_machine/0

    animate_machine/0



    animate_machine2/0

    animate_machine2/0



    animation_mode_does_not_support_animation/1

    animation_mode_does_not_support_animation/1



    append_assertion/1

    append_assertion/1



    assert_all_options/1

    assert_all_options/1



    assert_option/1

    assert_option/1



    atom_contains_codes/2

    atom_contains_codes/2



    available_commands/1

    available_commands/1



    browse/0

    browse/0



    browse_all_machines/1

    browse_all_machines/1



    browse_machine/1

    browse_machine/1



    call_probcli_option/1

    call_probcli_option/1

    Meta: call_probcli_option(0)



    cbc_assertions/2

    cbc_assertions/2



    cbc_check/1

    cbc_check/1



    cbc_deadlock_check/1

    cbc_deadlock_check/1



    cbc_redundant_invariants/1

    cbc_redundant_invariants/1



    cbc_refinement/0

    cbc_refinement/0



    cbc_sequence/3

    cbc_sequence/3



    cbc_test_case_generation/3

    cbc_test_case_generation/3



    check_all_expected_errors_occurred/1

    check_all_expected_errors_occurred/1



    check_complete/0

    check_complete/0



    check_complete_operation_coverage/0

    check_complete_operation_coverage/0



    check_expected/3

    check_expected/3



    check_for_errors/2

    check_for_errors/2



    check_java_version/0

    check_java_version/0



    check_loaded/1

    check_loaded/1



    check_model_result/2

    check_model_result/2



    check_parser_version/0

    check_parser_version/0



    check_ref_result/1

    check_ref_result/1



    check_required_infos/3

    check_required_infos/3



    check_status/4

    check_status/4



    check_totals/4

    check_totals/4



    clear_loaded_files/0

    clear_loaded_files/0



    cli_add_additional_property/1

    cli_add_additional_property/1



    cli_animateOperationNr/3

    cli_animateOperationNr/3



    cli_assertions_ok/2

    cli_assertions_ok/2



    cli_checkAssertion/4

    cli_checkAssertion/4



    cli_check_assertions/2

    cli_check_assertions/2



    cli_check_assertions/3

    cli_check_assertions/3



    cli_check_csp_assertion/2

    cli_check_csp_assertion/2



    cli_check_goal/0

    cli_check_goal/0



    cli_check_properties/0

    cli_check_properties/0



    cli_check_properties/1

    cli_check_properties/1



    cli_check_scc_for_ltl_formula/2

    cli_check_scc_for_ltl_formula/2



    cli_check_statespace_hash/2

    cli_check_statespace_hash/2



    cli_computeOperations/1

    cli_computeOperations/1



    cli_csp_get_assertions/0

    cli_csp_get_assertions/0



    cli_csp_in_situ_refinement_check/4

    cli_csp_in_situ_refinement_check/4



    cli_csp_translate_to_file/1

    cli_csp_translate_to_file/1



    cli_ctl_model_check/3

    cli_ctl_model_check/3



    cli_eval_csp_expression/1

    cli_eval_csp_expression/1



    cli_execute/3

    cli_execute/3



    cli_execute_add_virtual_transition/3

    cli_execute_add_virtual_transition/3



    cli_execute_aux/6

    cli_execute_aux/6



    cli_execute_from/5

    cli_execute_from/5



    cli_execute_trans/4

    cli_execute_trans/4



    cli_find_ltl_ap/1

    cli_find_ltl_ap/1



    cli_get_coverage_information/1

    cli_get_coverage_information/1



    cli_get_min_max_coverage/1

    cli_get_min_max_coverage/1



    cli_goal_found/1

    cli_goal_found/1



    cli_init_options/2

    cli_init_options/2



    cli_init_options2/2

    cli_init_options2/2

    Description:
    assert(option(log('/tmp/ProBLog.log'))), print('LOGGING'),nl, %% coment in to build a version of probcli that automatically logs



    cli_invariant_ok/2

    cli_invariant_ok/2



    cli_load_files/2

    cli_load_files/2



    cli_load_files2/3

    cli_load_files2/3



    cli_load_files3/4

    cli_load_files3/4



    cli_ltl_model_check/3

    cli_ltl_model_check/3



    cli_mc/1

    cli_mc/1



    cli_print_all_values/1

    cli_print_all_values/1



    cli_print_history/1

    cli_print_history/1



    cli_print_junit_results/1

    cli_print_junit_results/1



    cli_print_machine_statistics/0

    cli_print_machine_statistics/0



    cli_print_statistics/0

    cli_print_statistics/0



    cli_print_values/1

    cli_print_values/1



    cli_process_loaded_file/2

    cli_process_loaded_file/2



    cli_process_loaded_file_afer_start_animation/1

    cli_process_loaded_file_afer_start_animation/1



    cli_random_animate/2

    cli_random_animate/2



    cli_random_animate/3

    cli_random_animate/3



    cli_set_empty_machine/0

    cli_set_empty_machine/0



    cli_set_goal/1

    cli_set_goal/1



    cli_set_searchscope/1

    cli_set_searchscope/1



    cli_show_coverage/2

    cli_show_coverage/2



    cli_show_coverage/4

    cli_show_coverage/4



    cli_show_help/2

    cli_show_help/2



    cli_show_variable_coverage/1

    cli_show_variable_coverage/1



    cli_start_animation/1

    cli_start_animation/1



    cli_start_initialisation/1

    cli_start_initialisation/1



    cli_start_logging/5

    cli_start_logging/5



    cli_start_mc_with_tlc/0

    cli_start_mc_with_tlc/0



    cli_start_model_check/2

    cli_start_model_check/2



    cli_start_refinement_check/4

    cli_start_refinement_check/4



    cli_start_selfcheck/0

    cli_start_selfcheck/0



    cli_start_socketserver/1

    cli_start_socketserver/1



    cli_start_sym_mc_with_lts/1

    cli_start_sym_mc_with_lts/1



    cli_start_trace_check/1

    cli_start_trace_check/1



    cli_start_trace_state_check/1

    cli_start_trace_state_check/1



    cli_symbolic_model_check/1

    cli_symbolic_model_check/1



    cli_test_pred/2

    cli_test_pred/2



    cli_trans/4

    cli_trans/4



    cli_trans_aux/4

    cli_trans_aux/4



    cli_vacuity_check/0

    cli_vacuity_check/0



    close_repl_input_stream/1

    close_repl_input_stream/1



    command_option/1

    command_option/1



    compare_kodkod_performance1/3

    compare_kodkod_performance1/3



    compile_time_flag/1

    compile_time_flag/1



    computeOperations_for_root_required/0

    computeOperations_for_root_required/0



    constraint_based_check/1

    constraint_based_check/1



    construct_and_execute_tlc_command/1

    construct_and_execute_tlc_command/1



    convert_dash_to_underscore/2

    convert_dash_to_underscore/2



    count_assertions/3

    count_assertions/3



    coverage/1

    coverage/1



    create_state_error_description/2

    create_state_error_description/2



    definite_error_occurred/0

    definite_error_occurred/0



    display_match/3

    display_match/3



    display_match/4

    display_match/4



    do_det_checking/0

    do_det_checking/0



    do_enabling_analysis_csv/2

    do_enabling_analysis_csv/2



    do_feasibility_analysis/2

    do_feasibility_analysis/2



    do_not_execute_automatically/1

    do_not_execute_automatically/1



    do_one_gui_event/0

    do_one_gui_event/0

    Description:
    sp_4_1_3_nested_exception_patch.pl BEGIN
    Compile this to patch a bug in 4.1.3 affecting nested exception handlers.
    This source code is a no-op on other versions of sicstus than 4.1.3.
    sp_4_1_3_nested_exception_patch.pl END



    dot_command/2

    dot_command/2



    dot_command_for_expr/4

    dot_command_for_expr/4



    dot_file_number/1

    dot_file_number/1

    Dynamic: true



    dot_file_prefix/1

    dot_file_prefix/1

    Dynamic: true



    edit_main_file/0

    edit_main_file/0



    error_occurred/1

    error_occurred/1



    error_occurred/2

    error_occurred/2



    error_occurred/4

    error_occurred/4



    error_occurred_with_msg/2

    error_occurred_with_msg/2



    eval/0

    eval/0



    eval1/0

    eval1/0



    eval_command/2

    eval_command/2



    eval_command_help/3

    eval_command_help/3



    eval_help/0

    eval_help/0



    eval_line/1

    eval_line/1



    eval_probcli_repl_line/1

    eval_probcli_repl_line/1



    eval_string_or_file/4

    eval_string_or_file/4



    evalchecklist/2

    evalchecklist/2



    evalchecklist2/2

    evalchecklist2/2



    evalchecklist3/3

    evalchecklist3/3



    evaluate_expressions/1

    evaluate_expressions/1



    evaluate_from_commandline/0

    evaluate_from_commandline/0



    exec_eval_command/2

    exec_eval_command/2



    execute/3

    execute/3



    expected_error/1

    expected_error/1



    file_info/0

    file_info/0



    file_loaded/1

    file_loaded/1



    gen_enum_warning/1

    gen_enum_warning/1



    generate_atom_list/3

    generate_atom_list/3



    generate_read_write_matrix/1

    generate_read_write_matrix/1



    generate_time_stamp/2

    generate_time_stamp/2



    get_comma_or_space_separated_options/2

    get_comma_or_space_separated_options/2



    get_dot_file/2

    get_dot_file/2



    get_error_category_and_type/3

    get_error_category_and_type/3



    get_error_or_warning_span/4

    get_error_or_warning_span/4



    get_error_sources/0

    get_error_sources/0



    get_errors/0

    get_errors/0



    get_info/3

    get_info/3



    get_next_nr/1

    get_next_nr/1



    get_probcli_elapsed_walltime/2

    get_probcli_elapsed_walltime/2



    get_quoted_atom/4

    get_quoted_atom/4



    get_state_errors/1

    get_state_errors/1



    get_state_space_errors/0

    get_state_space_errors/0



    go_cli/0

    go_cli/0



    go_cli/1

    go_cli/1



    go_cli2/1

    go_cli2/1

    Description:
    cli_init_options(['-ll'|ArgV],RemArgV), %% comment in to have an automatically logging probcli
    cli_init_options(['-vv','-version'|ArgV],RemArgV), %% comment in to have an automatically verbose probcli



    go_cli_with_junit_check/1

    go_cli_with_junit_check/1



    go_proxy/0

    go_proxy/0



    halt1_prob/1

    halt1_prob/1



    halt_exception/0

    halt_exception/0



    halt_exception/1

    halt_exception/1



    halt_prob/1

    halt_prob/1



    handle_symbolic_model_check_result/1

    handle_symbolic_model_check_result/1



    help/0

    help/0



    if_option_set/2

    if_option_set/2

    Meta: if_option_set(-,0)



    if_option_set/3

    if_option_set/3

    Meta: if_option_set(-,0,0)



    if_option_set_loaded/3

    if_option_set_loaded/3

    Meta: if_option_set_loaded(-,-,0)



    if_options_set/2

    if_options_set/2

    Meta: if_options_set(-,0)



    ifm_option_set/2

    ifm_option_set/2

    Meta: ifm_option_set(-,0)



    ifm_option_set/3

    ifm_option_set/3



    ifm_option_set_loaded/3

    ifm_option_set_loaded/3

    Meta: ifm_option_set_loaded(-,-,0)



    important_info/1

    important_info/1



    incomplete_warning/2

    incomplete_warning/2



    init_req2/0

    init_req2/0



    initialise/0

    initialise/0



    initialise_cli/0

    initialise_cli/0



    initialise_required/0

    initialise_required/0



    irrelevant_xml_info/1

    irrelevant_xml_info/1



    is_constant_binding/1

    is_constant_binding/1



    is_eventb_b/1

    is_eventb_b/1



    is_ws/1

    is_ws/1



    just_assert_option/1

    just_assert_option/1



    load_main_file/3

    load_main_file/3



    load_model/1

    load_model/1



    load_spec_file/2

    load_spec_file/2



    load_spec_file/3

    load_spec_file/3



    loaded_main_file/1

    loaded_main_file/1



    loaded_root_filename/1

    loaded_root_filename/1



    logxml_write_vars/1

    logxml_write_vars/1



    ltl_check_assertions/0

    ltl_check_assertions/0



    ltl_check_file/1

    ltl_check_file/1



    ltl_check_formulas/2

    ltl_check_formulas/2



    ltsmin_ltl_output/2

    ltsmin_ltl_output/2



    make_assertionwps/1

    make_assertionwps/1



    mc_ok_arg/2

    mc_ok_arg/2



    mcm_test_case_generation/4

    mcm_test_case_generation/4



    model_check/3

    model_check/3



    model_check/4

    model_check/4



    my_tell/1

    my_tell/1



    no_command_issued/0

    no_command_issued/0



    normalise_option_atom/2

    normalise_option_atom/2



    normalise_pref_name/2

    normalise_pref_name/2



    not_command_option/1

    not_command_option/1



    open_file_at_position/1

    open_file_at_position/1



    option_only_works_for_single_file/1

    option_only_works_for_single_file/1



    option_requires_all_properties/1

    option_requires_all_properties/1



    option_verbose/0

    option_verbose/0



    options_allow_start_without_file/0

    options_allow_start_without_file/0



    parse_eval_command/3

    parse_eval_command/3



    perform/1

    perform/1



    perform_random_init_after_setup_constants/0

    perform_random_init_after_setup_constants/0



    perform_random_initialisation/0

    perform_random_initialisation/0



    perform_random_initialisation/1

    perform_random_initialisation/1



    perform_random_initialisation_if_necessary/1

    perform_random_initialisation_if_necessary/1



    perform_random_step/1

    perform_random_step/1



    perform_random_step/4

    perform_random_step/4



    perform_random_steps/2

    perform_random_steps/2



    perform_random_steps_aux/3

    perform_random_steps_aux/3



    perform_symbolic_model_checking/2

    perform_symbolic_model_checking/2



    portray_message/2

    portray_message/2



    pracc/1

    pracc/1



    pred_eval_hook/5

    pred_eval_hook/5



    pretty_print_all_types/1

    pretty_print_all_types/1



    pretty_print_internal_rep/1

    pretty_print_internal_rep/1



    pretty_print_internal_rep_to_B/1

    pretty_print_internal_rep_to_B/1



    print_accumulated_infos/1

    print_accumulated_infos/1



    print_bindings/1

    print_bindings/1



    print_cbc_stats/2

    print_cbc_stats/2



    print_compile_time_flags/0

    print_compile_time_flags/0



    print_current_state/0

    print_current_state/0



    print_eval_command_help/1

    print_eval_command_help/1



    print_eval_results/0

    print_eval_results/0



    print_file_info/1

    print_file_info/1



    print_help/0

    print_help/0

    Description:
    print(' -vv very verbose'),nl, % no effect when debugging calls disabled
    print(' -parsercp CP class path of the B Parser, this has to be a valid Java class path'),nl,
    print(' -cspm load CSP-M .csp file rather than B Machine .mch/.ref/.imp File'),nl,
    print(' -csp load CSP-M .pl file rather than B Machine File'),nl,



    print_keynr/1

    print_keynr/1



    print_list/1

    print_list/1



    print_list/2

    print_list/2



    print_list2/1

    print_list2/1



    print_max_walltime/0

    print_max_walltime/0



    print_mode_info/0

    print_mode_info/0



    print_options/0

    print_options/0



    print_options/2

    print_options/2



    print_probcli_error_non_strict/2

    print_probcli_error_non_strict/2



    print_prolog_flags/0

    print_prolog_flags/0



    print_repl_prompt/0

    print_repl_prompt/0



    print_repl_prompt/1

    print_repl_prompt/1



    print_set/1

    print_set/1



    print_sets/0

    print_sets/0



    print_short_version/0

    print_short_version/0



    print_state_silent/1

    print_state_silent/1



    print_total_probcli_timer/0

    print_total_probcli_timer/0



    print_uncovered/2

    print_uncovered/2



    print_version/0

    print_version/0



    prnt/2

    prnt/2



    prob_profile/0

    prob_profile/0



    probcli_add_light_warning/2

    probcli_add_light_warning/2



    probcli_startup/0

    probcli_startup/0



    process_cbc_assertion_result/2

    process_cbc_assertion_result/2



    process_ltsmin_result/1

    process_ltsmin_result/1



    profiling_on/0

    profiling_on/0



    recognised_cli_option/4

    recognised_cli_option/4



    recognised_option/2

    recognised_option/2



    recognised_option/3

    recognised_option/3



    recognised_option/4

    recognised_option/4



    relevant_flag/1

    relevant_flag/1



    reload_mainfile/0

    reload_mainfile/0



    remove_constants/2

    remove_constants/2



    repl/0

    repl/0



    repl_multi_read_line/1

    repl_multi_read_line/1



    repl_multi_read_line_aux/3

    repl_multi_read_line_aux/3



    reset_cli/0

    reset_cli/0



    reset_dot_file_number/0

    reset_dot_file_number/0



    reset_expected_error_occurred/0

    reset_expected_error_occurred/0



    runtime_entry/1

    runtime_entry/1



    save/0

    save/0



    save_state/1

    save_state/1



    seperator/1

    seperator/1



    serious_error/1

    serious_error/1



    set_analyse_hook/1

    set_analyse_hook/1



    set_argv/1

    set_argv/1



    set_current_probcli_command/1

    set_current_probcli_command/1



    set_dot_file_prefix/1

    set_dot_file_prefix/1



    set_dot_file_prefix_if_option_set/1

    set_dot_file_prefix_if_option_set/1



    set_junit_mode/1

    set_junit_mode/1



    set_new_random_seed/0

    set_new_random_seed/0



    set_optional_errors/0

    set_optional_errors/0



    set_pref/2

    set_pref/2



    set_prefs/0

    set_prefs/0



    set_random_seed_to_deterministic_start_seed/0

    set_random_seed_to_deterministic_start_seed/0



    set_repl_input_file/2

    set_repl_input_file/2



    show_cache/0

    show_cache/0



    show_initialisation_summary/1

    show_initialisation_summary/1



    show_last_expression_as_table/0

    show_last_expression_as_table/0



    show_operation_coverage_summary/1

    show_operation_coverage_summary/1



    show_origin/1

    show_origin/1



    show_source/1

    show_source/1



    silent/0

    silent/0



    sort_assertions/2

    sort_assertions/2



    split_by_seperator/2

    split_by_seperator/2



    split_by_seperator2/2

    split_by_seperator2/2



    start_animation_without_computing/0

    start_animation_without_computing/0



    start_ltsmin_srv/2

    start_ltsmin_srv/2



    start_probcli_timer/1

    start_probcli_timer/1



    start_xml_feature/2

    start_xml_feature/2



    start_xml_feature/4

    start_xml_feature/4



    stop_probcli_debug_timer/2

    stop_probcli_debug_timer/2



    stop_probcli_timer/2

    stop_probcli_timer/2



    stop_probcli_timer/3

    stop_probcli_timer/3



    stop_xml_feature/2

    stop_xml_feature/2



    store_last_error_location_for_repl/0

    store_last_error_location_for_repl/0



    strip_leading_ws/2

    strip_leading_ws/2



    strip_ws/2

    strip_ws/2



    strip_ws2/2

    strip_ws2/2



    test_kodkod_and_exit/2

    test_kodkod_and_exit/2



    timeout_call/2

    timeout_call/2

    Meta: timeout_call(0,-)



    tk_do_all_events/0

    tk_do_all_events/0



    top_level_eval/0

    top_level_eval/0



    top_level_eval1/0

    top_level_eval1/0



    translate_err_type/2

    translate_err_type/2



    translate_exception/2

    translate_exception/2



    treat_existence_error/4

    treat_existence_error/4



    truncate_animate_action/2

    truncate_animate_action/2



    unset_analyse_hook/0

    unset_analyse_hook/0



    unset_current_probcli_command/0

    unset_current_probcli_command/0



    update_time_stamp/1

    update_time_stamp/1



    variable_coverage/0

    variable_coverage/0



    verbose/0

    verbose/0



    very_verbose/0

    very_verbose/0



    we_did_something/0

    we_did_something/0



    we_need_only_static_assertions/1

    we_need_only_static_assertions/1



    write_deferred_set_used/1

    write_deferred_set_used/1



    write_dot_graph_to_new_file/2

    write_dot_graph_to_new_file/2



    write_important_xml_element_to_log/2

    write_important_xml_element_to_log/2



    write_result_to_file/1

    write_result_to_file/1



    xml_log_machine_statistics/0

    xml_log_machine_statistics/0



    zmq_delayed_option/1

    zmq_delayed_option/1



    zmq_get_important_options/1

    zmq_get_important_options/1



    zmq_get_initialisation_term/1

    zmq_get_initialisation_term/1



    zmq_important_option/1

    zmq_important_option/1



    zmq_set_important_options/1

    zmq_set_important_options/1



    zmq_set_option/1

    zmq_set_option/1



    zmq_start_master/2

    zmq_start_master/2



    zmq_start_worker/2

    zmq_start_worker/2



    zmq_worker_load_model/1

    zmq_worker_load_model/1



    Determinacy Checker

    Determinacy Checker:

    ! 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_debug_flag,true)
    ! Existence error in debug:global_debug_flag/0
    ! procedure debug:global_debug_flag/0 does not exist
    ! goal: debug:global_debug_flag
    ! Existence error in debug:use_timer/0
    ! procedure debug:use_timer/0 does not exist
    ! goal: debug:use_timer
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('counter/counter') does not exist
    ! goal: absolute_file_name(extension('counter/counter'),_34947,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/error_manager.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(specfile) does not exist
    ! goal: absolute_file_name(probsrc(specfile),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(translate) does not exist
    ! goal: absolute_file_name(probsrc(translate),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(tools) does not exist
    ! goal: absolute_file_name(probsrc(tools),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_enumerate) does not exist
    ! goal: absolute_file_name(probsrc(b_enumerate),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.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),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(bmachine) does not exist
    ! goal: absolute_file_name(probsrc(bmachine),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(debug) does not exist
    ! goal: absolute_file_name(probsrc(debug),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(preferences) does not exist
    ! goal: absolute_file_name(probsrc(preferences),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_interpreter) does not exist
    ! goal: absolute_file_name(probsrc(b_interpreter),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(predicate_debugger) does not exist
    ! goal: absolute_file_name(probsrc(predicate_debugger),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_trace_checking) does not exist
    ! goal: absolute_file_name(probsrc(b_trace_checking),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! 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 extension('random_permutations/random_permutations') does not exist
    ! goal: absolute_file_name(extension('random_permutations/random_permutations'),_122117,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/clpfd_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'),_128081,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/state_space.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_myheap,false)
    ! 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'),_171719,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/fd_utils_clpfd.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),_173477,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/typing_tools.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(no_wd_checking,true)
    ! 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),_196633,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/b_ast_cleanup.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(partially_evaluate,true)
    ! Existence error in debug:global_debug_flag/0
    ! procedure debug:global_debug_flag/0 does not exist
    ! goal: debug:global_debug_flag
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(partially_evaluate,true)
    ! Existence error in debug:use_timer/0
    ! procedure debug:use_timer/0 does not exist
    ! goal: debug:use_timer
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(partially_evaluate,true)
    ! Existence error in debug:global_debug_flag/0
    ! procedure debug:global_debug_flag/0 does not exist
    ! goal: debug:global_debug_flag
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(disable_chr,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_data_validation_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 debug:global_debug_flag/0
    ! procedure debug:global_debug_flag/0 does not exist
    ! goal: debug:global_debug_flag
    ! Existence error in debug:use_timer/0
    ! procedure debug:use_timer/0 does not exist
    ! goal: debug:use_timer
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(tools_strings) does not exist
    ! goal: absolute_file_name(probsrc(tools_strings),_201759,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kernel_strings.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'),_196633,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/external_functions.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),_192501,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/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 extension('random_permutations/random_permutations') does not exist
    ! goal: absolute_file_name(extension('random_permutations/random_permutations'),_169437,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kernel_objects.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(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(prob_data_validation_mode,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(disable_chr,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_data_validation_mode,true)
    ! 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(tools) does not exist
    ! goal: absolute_file_name(probsrc(tools),_146575,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kodkod/kodkod.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(bmachine) does not exist
    ! goal: absolute_file_name(probsrc(bmachine),_146575,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kodkod/kodkod.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(self_check) does not exist
    ! goal: absolute_file_name(probsrc(self_check),_146575,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kodkod/kodkod.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(bsyntaxtree) does not exist
    ! goal: absolute_file_name(probsrc(bsyntaxtree),_146575,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kodkod/kodkod.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(translate) does not exist
    ! goal: absolute_file_name(probsrc(translate),_146575,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kodkod/kodkod.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(predicate_analysis) does not exist
    ! goal: absolute_file_name(probsrc(predicate_analysis),_146575,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kodkod/kodkod.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(btypechecker) does not exist
    ! goal: absolute_file_name(probsrc(btypechecker),_146575,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kodkod/kodkod.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_global_sets) does not exist
    ! goal: absolute_file_name(probsrc(b_global_sets),_144627,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kodkod/kodkod.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'),_150143,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/succeed_max.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'),_148191,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/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'),_147715,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/value_persistance.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(prob_safe_mode,true)
    ! 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),_147485,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/b_read_write_info.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file smt_solvers_interface(smt_solvers_interface) does not exist
    ! goal: absolute_file_name(smt_solvers_interface(smt_solvers_interface),_138795,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/b_interpreter.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),_144729,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/promela/h_int.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probcspsrc(haskell_csp) does not exist
    ! goal: absolute_file_name(probcspsrc(haskell_csp),_138795,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/xtl_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probcspsrc(haskell_csp) does not exist
    ! goal: absolute_file_name(probcspsrc(haskell_csp),_128987,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/specfile.pl')])
    ! Existence error in tools:platform_is_64_bit/0
    ! procedure tools:platform_is_64_bit/0 does not exist
    ! goal: tools:platform_is_64_bit
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(eventhandling) does not exist
    ! goal: absolute_file_name(probsrc(eventhandling),_94145,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/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),_95383,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/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 prozsrc(z_tools) does not exist
    ! goal: absolute_file_name(prozsrc(z_tools),_91295,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/bmachine_eventb.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(gensym) does not exist
    ! goal: absolute_file_name(probsrc(gensym),_46957,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/translate.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(btypechecker) does not exist
    ! goal: absolute_file_name(probsrc(btypechecker),_27347,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/bsyntaxtree.pl')])
    ! Existence error in debug:global_debug_flag/0
    ! procedure debug:global_debug_flag/0 does not exist
    ! goal: debug:global_debug_flag
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_safe_mode,xtrue)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(bsyntaxtree) does not exist
    ! goal: absolute_file_name(probsrc(bsyntaxtree),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(state_space) does not exist
    ! goal: absolute_file_name(probsrc(state_space),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(state_space_exploration_modes) does not exist
    ! goal: absolute_file_name(probsrc(state_space_exploration_modes),_20741,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('plspec/plspec/plspec') does not exist
    ! goal: absolute_file_name(extension('plspec/plspec/plspec'),_19329,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probporsrc(static_analysis) does not exist
    ! goal: absolute_file_name(probporsrc(static_analysis),_32027,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/model_checker.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probcspsrc(haskell_csp) does not exist
    ! goal: absolute_file_name(probcspsrc(haskell_csp),_32027,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/bvisual2.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(specfile) does not exist
    ! goal: absolute_file_name(probsrc(specfile),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(translate) does not exist
    ! goal: absolute_file_name(probsrc(translate),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(tools) does not exist
    ! goal: absolute_file_name(probsrc(tools),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_enumerate) does not exist
    ! goal: absolute_file_name(probsrc(b_enumerate),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.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),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(bmachine) does not exist
    ! goal: absolute_file_name(probsrc(bmachine),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(debug) does not exist
    ! goal: absolute_file_name(probsrc(debug),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(preferences) does not exist
    ! goal: absolute_file_name(probsrc(preferences),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_interpreter) does not exist
    ! goal: absolute_file_name(probsrc(b_interpreter),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(predicate_debugger) does not exist
    ! goal: absolute_file_name(probsrc(predicate_debugger),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_trace_checking) does not exist
    ! goal: absolute_file_name(probsrc(b_trace_checking),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(bsyntaxtree) does not exist
    ! goal: absolute_file_name(probsrc(bsyntaxtree),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(state_space) does not exist
    ! goal: absolute_file_name(probsrc(state_space),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(state_space_exploration_modes) does not exist
    ! goal: absolute_file_name(probsrc(state_space_exploration_modes),_33439,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('plspec/plspec/plspec') does not exist
    ! goal: absolute_file_name(extension('plspec/plspec/plspec'),_32027,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/tcltk_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file smt_solvers_interface(smt_solvers_interface) does not exist
    ! goal: absolute_file_name(smt_solvers_interface(smt_solvers_interface),_38537,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/solver_interface.pl')])
    ! 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(bsyntaxtree) does not exist
    ! goal: absolute_file_name(probsrc(bsyntaxtree),_32173,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/b_state_model_check.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('user_signal/user_signal') does not exist
    ! goal: absolute_file_name(extension('user_signal/user_signal'),_19663,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/eclipse_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('probhash/probhash') does not exist
    ! goal: absolute_file_name(extension('probhash/probhash'),_40281,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/symmetry_marker.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('user_signal/user_signal') does not exist
    ! goal: absolute_file_name(extension('user_signal/user_signal'),_38901,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/evalstores.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_myheap,false)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probltlsrc(ltl) does not exist
    ! goal: absolute_file_name(probltlsrc(ltl),_20711,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/prob2_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('user_signal/user_signal') does not exist
    ! goal: absolute_file_name(extension('user_signal/user_signal'),_21079,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/prob_socketserver.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_profile,true)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probltlsrc(ltl) does not exist
    ! goal: absolute_file_name(probltlsrc(ltl),_273,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/prob_cli.pl')])