state_viewer_images

prob_prolog/src/state_viewer_images.pl

Modules

  • ProB_Preferences_maxx.pl
  • TestPrefs.pl
  • absint
  • alloy2b
  • ample_sets
  • any.pl
  • assert_profiler
  • ast_cleanup_for_smt
  • ast_inspector
  • ast_optimizer_for_smt
  • ast_to_difference_logic
  • atelierb_provers_interface
  • atom.pl
  • avl_tools
  • avl_tree.pl
  • avl_ugraphs
  • avlp
  • b_abstract_interpreter
  • b_abstract_interpreter_helpers
  • b_abstract_mappings
  • b_arithmetic_expressions.pl
  • b_ast_cleanup
  • b_ast_cleanup_rewrite_rules
  • b_cogen
  • b_compiler
  • b_enumerate
  • b_enumeration_order_analysis
  • b_expression_sharing
  • b_global_sets
  • b_interpreter
  • b_interpreter.pl
  • b_interpreter_components
  • b_interpreter_eventb
  • b_machine_hierarchy
  • b_machine_identifier_normalization
  • b_normal_form
  • b_operation_cache
  • b_operation_guards
  • b_read_write_info
  • b_show_history
  • b_simplifier
  • b_slicing
  • b_state_model_check
  • b_synthesis
  • b_to_cnf
  • b_trace_checking
  • basic_unit_tests
  • before_after_predicates
  • benchmark.pl
  • benchmark_analyser.pl
  • between.pl
  • bliss_interface
  • block_checker.pl
  • bmachine
  • bmachine_construction
  • bmachine_eventb
  • bmachine_static_checks
  • bmachine_structure
  • bmc
  • bool_pred
  • bool_pred_test.pl
  • boolean.pl
  • bsets_clp.pl
  • bsyntaxtree
  • bsyntaxtree_quantifiers
  • btypechecker
  • bvisual
  • bvisual_any_maxsolver
  • cbc_ba
  • cbc_path_solver
  • cbc_refinement_checks
  • ce_replay
  • choice_point_profiler
  • chr_set_membership
  • closures
  • clpfd_interface
  • clpfd_lists
  • clpfd_off_interface
  • clpfd_tables
  • codespeed_versions
  • compile_time_flags
  • 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
  • debug
  • debugging_calls
  • debugging_calls_te.pl
  • delay
  • dependence
  • difference_logic_solver
  • disprover
  • disprover_test_runner
  • disprover_test_runner_cli.pl
  • domain
  • domain_test.pl
  • dot_graph_generator
  • dot_graphs_static_analysis
  • dpllt_benchmarks
  • dpllt_pred_to_sat
  • dpllt_preprocessing
  • dpllt_sat_solver
  • dpllt_settings
  • dpllt_solver
  • dpllt_solver_benchmarks
  • eclipse_interface
  • enable_graph
  • enabling_analysis
  • enabling_predicates
  • error_manager
  • eval_interface
  • eval_strings
  • evalstores
  • eventhandling
  • experiment.pl
  • external_function_declarations
  • external_functions
  • external_functions.pl
  • external_functions_reals
  • external_functions_svg
  • fastload
  • fastwhen
  • fastwhen_te.pl
  • fd_utils_clpfd
  • fdr_csp_generator
  • find_whens.pl
  • fixed_value.pl
  • float.pl
  • flow
  • fuzzer_runner.pl
  • fuzzfile
  • fuzzing
  • gensym
  • graph_iso_nauty
  • graphiso
  • graphiso_test
  • ground_truth
  • 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_parser
  • junit_tests
  • kernel_cardinality
  • kernel_cardinality_attr
  • kernel_dif
  • kernel_equality
  • kernel_freetypes
  • kernel_frozen_info
  • kernel_lists
  • kernel_mappings
  • kernel_mappings.pl
  • kernel_non_empty_attr
  • kernel_objects
  • kernel_objects.pl
  • kernel_ordering
  • kernel_propagation
  • kernel_reals
  • kernel_records
  • kernel_strings
  • kernel_sym_break_order
  • kernel_tools
  • kernel_waitflags
  • kernel_z
  • kinduction
  • kodkod
  • kodkod.pl
  • kodkod2
  • kodkod_annotator
  • 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
  • memoization
  • memoization
  • meta_interface
  • mic_generation
  • 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
  • operation_data_generator
  • optimizing_solver
  • ordsetsp
  • parsercall
  • parsercall.pl
  • partition_detection
  • pathes
  • pathes_extensions_db
  • performance_messages
  • pge_algo
  • plspec
  • plspec_core
  • plspec_logger
  • 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_data_generator
  • predicate_debugger
  • predicate_evaluator
  • predicate_handling
  • pref_definitions
  • preferences
  • preprofiler
  • preserve_behaviour_test.pl
  • prettyprinter
  • 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
  • prob_cov.pl
  • prob_cov_runner.pl
  • prob_profiling_cli.pl
  • prob_rule_compiler
  • prob_socketserver
  • prob_startup
  • prob_state_predicates
  • prob_tcltk.pl
  • prob_type.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_tools
  • proz
  • ptest.pl
  • random_permutations
  • rational.pl
  • record_detection
  • reduce_graph_state_space
  • refinement_checker
  • regexp
  • rewrite_rules_db
  • runtime_profiler
  • safety_mc
  • sap
  • sat_symmetry_breaking
  • satsolver
  • schemaexpansion
  • schemavars
  • self_check
  • self_check_off.pl
  • seq_rewriter
  • smt_common_predicates
  • smt_solver_benchmarks
  • smt_solvers_interface
  • smt_symmetry_breaking
  • 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_as_dot_graph
  • state_custom_dot_graph
  • state_graph_canon
  • 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_enabling_analysis
  • static_ordering
  • store
  • store.pl
  • subexpressions
  • subtree_compare
  • subtree_compare_unit_test
  • succeed_max
  • symmetry_marker
  • symmetry_reduction
  • synthesis_tests
  • synthesis_util
  • system_call
  • table_tools
  • tcltk_interface
  • tcltk_interface.pl
  • tcltk_tree_inspector
  • test
  • test.pl
  • test2
  • test_nodestore.pl
  • test_regexp.pl
  • test_regexp_unicode.pl
  • test_runner
  • test_runner_cov.pl
  • test_typechecker
  • testaddon
  • testcases
  • testdining
  • testltlc
  • tests.pl
  • testsignal.pl
  • timeout_check.pl
  • timer
  • tools
  • tools_commands
  • tools_fastread
  • tools_files
  • tools_io
  • tools_lists
  • tools_matching
  • tools_meta
  • tools_printing
  • tools_strings
  • tools_timeout
  • translate
  • translate_keywords
  • tree.pl
  • typechecker
  • typing_tools
  • unbound_spec_test.pl
  • unique_quantified_identifiers
  • 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
  • validator
  • validator_test
  • value_persistance
  • variable.pl
  • version
  • visb_visualiser
  • visualize_graph
  • weakest_preconditions
  • well_def_analyser
  • well_def_hyps
  • well_def_prover
  • well_def_tools
  • whash_send
  • worker
  • xml2b
  • xml_prob
  • xtl
  • xtl_interface
  • xtl_program
  • z3interface
  • z_tools
  • z_typechecker
  • zenvironment
  • zlib
  • zmq
  • zparameters
  • ztransformations
  • Predicates of state_viewer_images

  • add_image/7
  • animation_function_possibly_active/1
  • can_react_to_item_drag/6
  • can_react_to_item_right_click/7
  • check_anim_function/1
  • clear_animation_images/0
  • compute_prefix/3
  • convert_2nr_into_tk_label/4
  • convert_animation_function/4
  • convert_aux/4
  • convert_nr_into_tk_label/3
  • convert_tk_path_to_coordinates/3
  • display_animation_function_result/4
  • end_tag/2
  • eval_definition_fun/3
  • eval_definition_funs/3
  • eval_parameter/4
  • evaluate_animation_function/3
  • execute_rest/2
  • flatten_img_list/2
  • gen_spaces/2
  • gendotdot/2
  • get_HEAD_revision_info/2
  • get_animation_expression_label_and_value/3
  • get_animation_image_and_label/4
  • get_animation_image_grid/6
  • get_animation_image_in_mode/3
  • get_animation_image_numbers/1
  • get_animation_images/1
  • get_animation_images/2
  • get_animation_string/2
  • get_b_template/4
  • get_b_template_aux/4
  • get_b_template_for/4
  • get_b_template_for_if/4
  • get_file_revision_info/2
  • get_frame_items/2
  • get_int/2
  • get_item_drag_template_and_image/7
  • get_min_max_col/3
  • get_min_max_col2/5
  • get_min_max_row/3
  • get_min_max_row2/5
  • get_pair/3
  • get_react_to_item_right_click_options/4
  • get_right_click_template/5
  • get_suffix/2
  • get_template/2
  • get_template_rest/2
  • html_footer/1
  • html_header/2
  • html_image/4
  • html_info/3
  • html_print/5
  • html_print_action/5
  • html_print_animation_expression/2
  • html_print_animation_image_grid/3
  • html_print_history/1
  • html_print_history/2
  • html_print_history2/7
  • html_print_state/3
  • is_text_type/1
  • l_translate/5
  • longest_text/3
  • match_template/2
  • max_prefix/5
  • override_anim_fun/3
  • pad_text_frame_items/2
  • pad_text_frame_items_to/3
  • react_to_item_drag/5
  • react_to_item_right_click/6
  • run_git_command/3
  • setup_frames/3
  • start_tag/2
  • tcltk_can_react_to_item_drag/3
  • tcltk_can_react_to_item_right_click/2
  • tcltk_get_image_list/6
  • tcltk_react_to_item_drag/2
  • tcltk_react_to_item_right_click/2
  • translate_element/5
  • translate_to_ints/2
  • translate_to_ints/3
  • translate_value_for_tk_text/2
  • Module Information

    Module Information


    Dynamic Predicates:           images/3

    765 Lines

    83 Predicates

    Imported Modules:           module_information          error_manager          debug          avl          lists

    11 Exports

    56 specified Imports

    Imports Exports

    Name:    b_get_machine_animation_function/2

    Module:    bmachine


    Name:    b_get_definition_string_from_machine/2

    Module:    bmachine


    Name:    get_animation_image/2

    Module:    bmachine


    Name:    current_expression/2

    Module:    state_space


    Name:    xtl_animation_function_result/2

    Module:    xtl_interface


    Name:    xtl_animation_image/2

    Module:    xtl_interface


    Name:    animation_mode/1

    Module:    specfile


    Name:    b_or_z_mode/0

    Module:    specfile


    Name:    state_corresponds_to_fully_setup_b_machine/2

    Module:    specfile


    Name:    split_last/4

    Module:    tools


    Name:    split_chars/3

    Module:    tools


    Name:    current_state_id/1

    Module:    state_space


    Name:    transition/4

    Module:    state_space


    Name:    xtl_animation_image_right_click_transition/3

    Module:    xtl_interface


    Name:    translate_event_with_src_and_target_id/4

    Module:    translate


    Name:    b_get_definition/5

    Module:    bmachine


    Name:    type_with_errors/4

    Module:    bmachine


    Name:     maplist/3

    Module:     lists


    Name:    temporary_set_preference/3

    Module:    preferences


    Name:    reset_temporary_preference/2

    Module:    preferences


    Name:    state_corresponds_to_set_up_constants/2

    Module:    specfile


    Name:    get_texpr_id/2

    Module:    bsyntaxtree


    Name:    def_get_texpr_id/2

    Module:    bsyntaxtree


    Name:    b_test_boolean_expression_wf/3

    Module:    b_interpreter


    Name:    b_compute_expression_nowf/4

    Module:    b_interpreter


    Name:    xtl_animation_image_click_transition/6

    Module:    xtl_interface


    Name:    try_expand_custom_set_with_catch/3

    Module:    custom_explicit_sets


    Name:    is_set_value/2

    Module:    custom_explicit_sets


    Name:    b_get_true_expression_definition/1

    Module:    bmachine


    Name:     append/2

    Module:     lists


    Name:    visited_expression/2

    Module:    state_space


    Name:     ord_member/2

    Module:     ordsets


    Name:     write_to_codes/2

    Module:     codesio


    Name:    b_get_machine_animation_expression/1

    Module:    bmachine


    Name:    translate_bvalue/2

    Module:    translate


    Name:    translate_bexpression/2

    Module:    translate


    Name:    transition/4

    Module:    state_space


    Name:    visited_expression/2

    Module:    state_space


    Name:    current_expression/2

    Module:    state_space


    Name:    current_state_id/1

    Module:    state_space


    Name:    get_action_term_trace/1

    Module:    state_space


    Name:    get_state_id_trace/1

    Module:    state_space


    Name:    ajoin_with_sep/3

    Module:    tools_strings


    Name:    split_atom/3

    Module:    tools


    Name:    is_absolute_path/1

    Module:    tools


    Name:    translate_event/2

    Module:    translate


    Name:    get_operation_name/2

    Module:    specfile


    Name:     html_debug_operation_for_stateid/4

    Module:     bvisual2


    Name:    version_str/1

    Module:    version


    Name:    revision/1

    Module:    version


    Name:    lastchangeddate/1

    Module:    version


    Name:     datime/1

    Module:     system


    Name:    currently_opened_file/1

    Module:    specfile


    Name:    get_command_path/2

    Module:    system_call


    Name:    system_call_env/6

    Module:    system_call


    Name:    get_parent_directory/2

    Module:    tools


    Name:    tcltk_get_image_list/6


    Name:    tcltk_can_react_to_item_right_click/2


    Name:    tcltk_react_to_item_right_click/2


    Name:    tcltk_can_react_to_item_drag/3


    Name:    tcltk_react_to_item_drag/2


    Name:    get_animation_images/1


    Name:    get_animation_image_grid/6


    Name:    get_react_to_item_right_click_options/4


    Name:    react_to_item_right_click/6


    Name:    html_print_history/1


    Name:    html_print_history/2



    Predicates

    Predicates:

  • add_image/7
  • animation_function_possibly_active/1
  • can_react_to_item_drag/6
  • can_react_to_item_right_click/7
  • check_anim_function/1
  • clear_animation_images/0
  • compute_prefix/3
  • convert_2nr_into_tk_label/4
  • convert_animation_function/4
  • convert_aux/4
  • convert_nr_into_tk_label/3
  • convert_tk_path_to_coordinates/3
  • display_animation_function_result/4
  • end_tag/2
  • eval_definition_fun/3
  • eval_definition_funs/3
  • eval_parameter/4
  • evaluate_animation_function/3
  • execute_rest/2
  • flatten_img_list/2
  • gen_spaces/2
  • gendotdot/2
  • get_HEAD_revision_info/2
  • get_animation_expression_label_and_value/3
  • get_animation_image_and_label/4
  • get_animation_image_grid/6
  • get_animation_image_in_mode/3
  • get_animation_image_numbers/1
  • get_animation_images/1
  • get_animation_images/2
  • get_animation_string/2
  • get_b_template/4
  • get_b_template_aux/4
  • get_b_template_for/4
  • get_b_template_for_if/4
  • get_file_revision_info/2
  • get_frame_items/2
  • get_int/2
  • get_item_drag_template_and_image/7
  • get_min_max_col/3
  • get_min_max_col2/5
  • get_min_max_row/3
  • get_min_max_row2/5
  • get_pair/3
  • get_react_to_item_right_click_options/4
  • get_right_click_template/5
  • get_suffix/2
  • get_template/2
  • get_template_rest/2
  • html_footer/1
  • html_header/2
  • html_image/4
  • html_info/3
  • html_print/5
  • html_print_action/5
  • html_print_animation_expression/2
  • html_print_animation_image_grid/3
  • html_print_history/1
  • html_print_history/2
  • html_print_history2/7
  • html_print_state/3
  • is_text_type/1
  • l_translate/5
  • longest_text/3
  • match_template/2
  • max_prefix/5
  • override_anim_fun/3
  • pad_text_frame_items/2
  • pad_text_frame_items_to/3
  • react_to_item_drag/5
  • react_to_item_right_click/6
  • run_git_command/3
  • setup_frames/3
  • start_tag/2
  • tcltk_can_react_to_item_drag/3
  • tcltk_can_react_to_item_right_click/2
  • tcltk_get_image_list/6
  • tcltk_react_to_item_drag/2
  • tcltk_react_to_item_right_click/2
  • translate_element/5
  • translate_to_ints/2
  • translate_to_ints/3
  • translate_value_for_tk_text/2


  • add_image/7

    add_image/7



    animation_function_possibly_active/1

    animation_function_possibly_active/1



    can_react_to_item_drag/6

    can_react_to_item_drag/6



    can_react_to_item_right_click/7

    can_react_to_item_right_click/7



    check_anim_function/1

    check_anim_function/1



    clear_animation_images/0

    clear_animation_images/0



    compute_prefix/3

    compute_prefix/3



    convert_2nr_into_tk_label/4

    convert_2nr_into_tk_label/4



    convert_animation_function/4

    convert_animation_function/4



    convert_aux/4

    convert_aux/4



    convert_nr_into_tk_label/3

    convert_nr_into_tk_label/3



    convert_tk_path_to_coordinates/3

    convert_tk_path_to_coordinates/3



    display_animation_function_result/4

    display_animation_function_result/4



    end_tag/2

    end_tag/2



    eval_definition_fun/3

    eval_definition_fun/3

    Description:
    nl, print('FunctionResult'(FunctionResCl)),nl,



    eval_definition_funs/3

    eval_definition_funs/3



    eval_parameter/4

    eval_parameter/4



    evaluate_animation_function/3

    evaluate_animation_function/3



    execute_rest/2

    execute_rest/2



    flatten_img_list/2

    flatten_img_list/2



    gen_spaces/2

    gen_spaces/2



    gendotdot/2

    gendotdot/2



    get_HEAD_revision_info/2

    get_HEAD_revision_info/2



    get_animation_expression_label_and_value/3

    get_animation_expression_label_and_value/3



    get_animation_image_and_label/4

    get_animation_image_and_label/4



    get_animation_image_grid/6

    get_animation_image_grid/6



    get_animation_image_in_mode/3

    get_animation_image_in_mode/3



    get_animation_image_numbers/1

    get_animation_image_numbers/1



    get_animation_images/1

    get_animation_images/1



    get_animation_images/2

    get_animation_images/2



    get_animation_string/2

    get_animation_string/2



    get_b_template/4

    get_b_template/4



    get_b_template_aux/4

    get_b_template_aux/4



    get_b_template_for/4

    get_b_template_for/4



    get_b_template_for_if/4

    get_b_template_for_if/4



    get_file_revision_info/2

    get_file_revision_info/2



    get_frame_items/2

    get_frame_items/2



    get_int/2

    get_int/2



    get_item_drag_template_and_image/7

    get_item_drag_template_and_image/7



    get_min_max_col/3

    get_min_max_col/3



    get_min_max_col2/5

    get_min_max_col2/5



    get_min_max_row/3

    get_min_max_row/3



    get_min_max_row2/5

    get_min_max_row2/5



    get_pair/3

    get_pair/3



    get_react_to_item_right_click_options/4

    get_react_to_item_right_click_options/4



    get_right_click_template/5

    get_right_click_template/5



    get_suffix/2

    get_suffix/2



    get_template/2

    get_template/2



    get_template_rest/2

    get_template_rest/2



    html_footer/1

    html_footer/1



    html_header/2

    html_header/2



    html_image/4

    html_image/4



    html_info/3

    html_info/3



    html_print/5

    html_print/5



    html_print_action/5

    html_print_action/5



    html_print_animation_expression/2

    html_print_animation_expression/2



    html_print_animation_image_grid/3

    html_print_animation_image_grid/3



    html_print_history/1

    html_print_history/1



    html_print_history/2

    html_print_history/2



    html_print_history2/7

    html_print_history2/7



    html_print_state/3

    html_print_state/3



    is_text_type/1

    is_text_type/1



    l_translate/5

    l_translate/5



    longest_text/3

    longest_text/3



    match_template/2

    match_template/2



    max_prefix/5

    max_prefix/5



    override_anim_fun/3

    override_anim_fun/3



    pad_text_frame_items/2

    pad_text_frame_items/2



    pad_text_frame_items_to/3

    pad_text_frame_items_to/3



    react_to_item_drag/5

    react_to_item_drag/5



    react_to_item_right_click/6

    react_to_item_right_click/6



    run_git_command/3

    run_git_command/3



    setup_frames/3

    setup_frames/3



    start_tag/2

    start_tag/2



    tcltk_can_react_to_item_drag/3

    tcltk_can_react_to_item_drag/3



    tcltk_can_react_to_item_right_click/2

    tcltk_can_react_to_item_right_click/2



    tcltk_get_image_list/6

    tcltk_get_image_list/6



    tcltk_react_to_item_drag/2

    tcltk_react_to_item_drag/2



    tcltk_react_to_item_right_click/2

    tcltk_react_to_item_right_click/2



    translate_element/5

    translate_element/5



    translate_to_ints/2

    translate_to_ints/2



    translate_to_ints/3

    translate_to_ints/3



    translate_value_for_tk_text/2

    translate_value_for_tk_text/2



    Determinacy Checker

    Determinacy Checker:

    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(plspec_patch_libraries,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(plspec_patch_libraries,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(no_terminal_colors,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_release,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_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 user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_core_only,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_core_only,true)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('counter/counter') does not exist
    ! goal: absolute_file_name(extension('counter/counter'),_38363,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file covsrc(coverage_tools_annotations) does not exist
    ! goal: absolute_file_name(covsrc(coverage_tools_annotations),_44639,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.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 probsrc(clpfd_interface) does not exist
    ! goal: absolute_file_name(probsrc(clpfd_interface),_184785,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/typing_tools.pl')])
    ! 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(enable_time_out_for_constraints,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(enable_time_out_for_constraints,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(enable_time_out_for_constraints,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(enable_time_out_for_constraints,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'),_180369,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/clpfd_interface.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(cogen,true)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(preferences) does not exist
    ! goal: absolute_file_name(probsrc(preferences),_200719,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_z.pl')])
    ! 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(prob_profile,true)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('counter/counter') does not exist
    ! goal: absolute_file_name(extension('counter/counter'),_184355,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/memoization.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file prob_rewrite_rules(b_ast_cleanup_rewrite_rules) does not exist
    ! goal: absolute_file_name(prob_rewrite_rules(b_ast_cleanup_rewrite_rules),_184355,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_ast_cleanup.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extrasrc(external_functions_reals) does not exist
    ! goal: absolute_file_name(extrasrc(external_functions_reals),_184355,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/external_functions.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(custom_explicit_sets) does not exist
    ! goal: absolute_file_name(probsrc(custom_explicit_sets),_180081,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_compiler.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_safe_mode,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_safe_mode,true)
    ! Existence error in 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 argument 1 of absolute_file_name/3
    ! file chrsrc(chr_integer_inequality) does not exist
    ! goal: absolute_file_name(chrsrc(chr_integer_inequality),_180369,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_equality.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(no_wd_checking,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_data_validation_mode,xxxtrue)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_data_validation_mode,true)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(tools_lists) does not exist
    ! goal: absolute_file_name(probsrc(tools_lists),_151515,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_tools.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,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_profile,true)
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(no_wd_checking,true)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file kodkodsrc(kodkod) does not exist
    ! goal: absolute_file_name(kodkodsrc(kodkod),_127913,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_interpreter.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('counter/counter') does not exist
    ! goal: absolute_file_name(extension('counter/counter'),_128059,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/succeed_max.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'),_132333,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/state_space.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('probhash/probhash') does not exist
    ! goal: absolute_file_name(extension('probhash/probhash'),_131335,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_machine_hierarchy.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('probhash/probhash') does not exist
    ! goal: absolute_file_name(extension('probhash/probhash'),_128059,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/value_persistance.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probcspsrc(haskell_csp) does not exist
    ! goal: absolute_file_name(probcspsrc(haskell_csp),_127913,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/xtl_interface.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probcspsrc(haskell_csp) does not exist
    ! goal: absolute_file_name(probcspsrc(haskell_csp),_117679,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/specfile.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(gensym) does not exist
    ! goal: absolute_file_name(probsrc(gensym),_101477,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/translate.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_safe_mode,true)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(btypechecker) does not exist
    ! goal: absolute_file_name(probsrc(btypechecker),_79027,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bsyntaxtree.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file extension('random_permutations/random_permutations') does not exist
    ! goal: absolute_file_name(extension('random_permutations/random_permutations'),_81175,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/fd_utils_clpfd.pl')])
    ! Existence error in 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'),_44927,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_objects.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(b_state_model_check) does not exist
    ! goal: absolute_file_name(probsrc(b_state_model_check),_41931,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/b_read_write_info.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(specfile) does not exist
    ! goal: absolute_file_name(probsrc(specfile),_35527,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/btypechecker.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(eventhandling) does not exist
    ! goal: absolute_file_name(probsrc(eventhandling),_35527,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/pragmas.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(module_information) does not exist
    ! goal: absolute_file_name(probsrc(module_information),_36907,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(error_manager) does not exist
    ! goal: absolute_file_name(probsrc(error_manager),_35527,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_static_checks.pl')])
    ! Existence error in user:environ/2
    ! procedure user:environ/2 does not exist
    ! goal: user:environ(prob_safe_mode,true)
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(eventhandling) does not exist
    ! goal: absolute_file_name(probsrc(eventhandling),_32247,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/parsercall.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probsrc(bsyntaxtree) does not exist
    ! goal: absolute_file_name(probsrc(bsyntaxtree),_32535,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine_eventb.pl')])
    ! Existence error in argument 1 of absolute_file_name/3
    ! file kodkodsrc(kodkod) does not exist
    ! goal: absolute_file_name(kodkodsrc(kodkod),_6677,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bmachine.pl')])
    * Non-determinate: state_viewer_images:tcltk_get_image_list/6 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .
    * Non-determinate: state_viewer_images:display_animation_function_result/4 (clause 1)
    * Calls nondet predicate state_viewer_images:debug_println/2 .
    * Non-determinate: state_viewer_images:tcltk_can_react_to_item_right_click/2 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .
    * Non-determinate: state_viewer_images:get_react_to_item_right_click_options/4 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .
    * Non-determinate: state_viewer_images:react_to_item_right_click/6 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .
    * Non-determinate: state_viewer_images:tcltk_can_react_to_item_drag/3 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .
    * Non-determinate: state_viewer_images:tcltk_react_to_item_drag/2 (clause 1)
    * Calls nondet predicate state_viewer_images:debug_println/2 .
    * Non-determinate: state_viewer_images:gen_spaces/2 (clause 1)
    * Indexing cannot distinguish this from clause 2.
    ! warning: predicate state_viewer_images:images/3 is dynamic.
    ! Some nondeterminism may have been missed.
    ! Add (or move) the directive
    ! :- dynamic state_viewer_images:images/3 .
    ! near the top of this file.
    * Non-determinate: state_viewer_images:get_animation_images/1 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .
    * Non-determinate: state_viewer_images:get_animation_image_numbers/1 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .
    * Non-determinate: state_viewer_images:get_animation_image_grid/6 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .
    * Non-determinate: state_viewer_images:html_print_animation_image_grid/3 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .
    * Non-determinate: state_viewer_images:html_print_animation_expression/2 (clause 1)
    * Indexing cannot distinguish this from clause 2.
    * Non-determinate: state_viewer_images:compute_prefix/3 (clause 1)
    * Calls nondet predicate state_viewer_images:debug_println/2 .
    * Non-determinate: state_viewer_images:html_print_history2/7 (clause 1)
    * Indexing cannot distinguish this from clause 2.
    * Non-determinate: state_viewer_images:html_print_history2/7 (clause 2)
    * Indexing cannot distinguish this from clause 3.
    ! Existence error in argument 1 of absolute_file_name/3
    ! file probcspsrc(haskell_csp) does not exist
    ! goal: absolute_file_name(probcspsrc(haskell_csp),_237909,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/bvisual2.pl')])
    * Non-determinate: state_viewer_images:html_info/3 (clause 1)
    * Calls nondet predicate state_viewer_images:animation_mode/1 .