state_viewer_images.pl

Module Information

Module Information

Dynamic Predicates:           images/3

270 Lines

29 Predicates

Imported Modules:           avl

0 Exports

9 specified Imports

Imports

Exports

Name:    b_machine_name/1 Module:    bmachine 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:    state_corresponds_to_fully_setup_b_machine/2 Module:    specfile Name:    print_bexpr/1 Module:    translate Name:    xtl_animation_function_result/2 Module:    xtl_interface Name:    xtl_animation_image/2 Module:    xtl_interface Name:    try_expand_custom_set/2 Module:    custom_explicit_sets

Predicates

Predicates:

add_image/7

check_anim_function/1

clear_animation_images/0

convert_2nr_into_tk_label/4

convert_nr_into_tk_label/3

display_animation_function_result/2

eval_definition_fun/3

eval_definition_funs/3

flatten_img_list/2

gen_spaces/2

get_animation_image_and_label/4

get_animation_image_in_mode/3

get_animation_images/2

get_animation_string/2

get_frame_items/2

get_int/2

get_min_max_row/3

get_min_max_row2/5

is_text_type/1

l_translate/5

longest_text/3

override_anim_fun/3

pad_text_frame_items/2

pad_text_frame_items_to/3

setup_frames/3

tcltk_get_image_list/2

translate_element/5

translate_to_ints/2

translate_to_ints/3

add_image/7

add_image/7

check_anim_function/1

check_anim_function/1

clear_animation_images/0

clear_animation_images/0

convert_2nr_into_tk_label/4

convert_2nr_into_tk_label/4

convert_nr_into_tk_label/3

convert_nr_into_tk_label/3

display_animation_function_result/2

display_animation_function_result/2

eval_definition_fun/3

eval_definition_fun/3

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

eval_definition_funs/3

eval_definition_funs/3

flatten_img_list/2

flatten_img_list/2

gen_spaces/2

gen_spaces/2

get_animation_image_and_label/4

get_animation_image_and_label/4

get_animation_image_in_mode/3

get_animation_image_in_mode/3

get_animation_images/2

get_animation_images/2

get_animation_string/2

get_animation_string/2

get_frame_items/2

get_frame_items/2

get_int/2

get_int/2

get_min_max_row/3

get_min_max_row/3

get_min_max_row2/5

get_min_max_row2/5

is_text_type/1

is_text_type/1

l_translate/5

l_translate/5

longest_text/3

longest_text/3

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

setup_frames/3

setup_frames/3

tcltk_get_image_list/2

tcltk_get_image_list/2

translate_element/5

translate_element/5

translate_to_ints/2

translate_to_ints/2

translate_to_ints/3

translate_to_ints/3

Determinacy Checker

Determinacy Checker:

! 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(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'),_53459,[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('random_permutations/random_permutations') does not exist
! goal: absolute_file_name(extension('random_permutations/random_permutations'),_132639,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/fd_utils_clpfd.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 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 debug:global_debug_flag/0
! procedure debug:global_debug_flag/0 does not exist
! goal: debug:global_debug_flag
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_211325,[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'),_212795,[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'),_212319,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/value_persistance.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),_214881,[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),_209373,[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),_199991,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/specfile.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_201651,[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),_201651,[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),_201651,[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),_201651,[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),_201651,[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),_201651,[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),_201651,[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),_199703,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/kodkod/kodkod.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 prob_rewrite_rules(b_ast_cleanup_rewrite_rules) does not exist
! goal: absolute_file_name(prob_rewrite_rules(b_ast_cleanup_rewrite_rules),_202561,[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(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),_202561,[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 probsrc(tools_strings) does not exist
! goal: absolute_file_name(probsrc(tools_strings),_207687,[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'),_202561,[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 smt_solvers_interface(smt_solvers_interface) does not exist
! goal: absolute_file_name(smt_solvers_interface(smt_solvers_interface),_193587,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/b_interpreter.pl')])
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(partially_evaluate,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(no_wd_checking,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 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 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'),_130357,[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 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(gensym) does not exist
! goal: absolute_file_name(probsrc(gensym),_59761,[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 extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_59139,[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 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),_27759,[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),_28997,[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)
* Non-determinate: user:tcltk_get_image_list/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: user:gen_spaces/2 (clause 1)
* Indexing cannot distinguish this from clause 2.
! warning: predicate user:images/3 is dynamic.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- dynamic user:images/3 .
! near the top of this file.
* Non-determinate: user:get_animation_string/2 (clause 1)
* Calls nondet predicate user:b_get_definition_string_from_machine/2 .