state_space_explorer

Imports	Exports
Name: print_message/1 Module: tools Name: print_mb/1 Module: tools Name: statistics_memory_used/1 Module: tools Name: clear_context_state/0 Module: state_space Name: visited_expression/2 Module: state_space Name: state_error/3 Module: state_space Name: set_context_state/1 Module: state_space Name: update_context_state/1 Module: state_space Name: get_open_node_to_check/2 Module: state_space_exploration_modes Name: depth_breadth_first_mode/1 Module: state_space_exploration_modes Name: animation_mode/1 Module: specfile Name: get_preference/2 Module: preferences Name: compute_transitions_opt/3 Module: model_checker Name: perform_static_analyses/3 Module: model_checker Name: module_info/2 Module: module_information Name: get_model_check_stats/6 Module: model_checker Name: formatsilent/2 Module: debug	Name: explore_state_space/5 Name: compute_transitions_opt/3 Name: get_b_optimisation_options/2

Imports

Exports

Name: print_message/1

Module: tools

Name: print_mb/1

Module: tools

Name: statistics_memory_used/1

Module: tools

Name: clear_context_state/0

Module: state_space

Name: visited_expression/2

Module: state_space

Name: state_error/3

Module: state_space

Name: set_context_state/1

Module: state_space

Name: update_context_state/1

Module: state_space

Name: get_open_node_to_check/2

Module: state_space_exploration_modes

Name: depth_breadth_first_mode/1

Module: state_space_exploration_modes

Name: animation_mode/1

Module: specfile

Name: get_preference/2

Module: preferences

Name: compute_transitions_opt/3

Module: model_checker

Name: perform_static_analyses/3

Module: model_checker

Name: module_info/2

Module: module_information

Name: get_model_check_stats/6

Module: model_checker

Name: formatsilent/2

Module: debug

Name: explore_state_space/5

Name: compute_transitions_opt/3

Name: get_b_optimisation_options/2

Predicates

Predicates:

explore_one_state/8

explore_one_state_stats/8

explore_state_space/5

get_b_optimisation_options/2

print_stats_and_update_refstatus/4

state_exploration_found_error/2

explore_one_state/8

print_stats_and_update_refstatus/4

state_exploration_found_error/2

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(error_manager) does not exist
! goal: absolute_file_name(probsrc(error_manager),_3583,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/ltl/state_space_explorer.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/ltl/state_space_explorer.pl')])

Name: explore_one_state/8	Module: state_space_explorer
Name: =/2
Name: >/2
Name: number/1
Name: ->/3
Name: print_stats_and_update_refstatus/4	Module: state_space_explorer
Name: statistics/2
Name: !
Name: =:=/2
Name: </2

Name: =/2
Name: get_preference/2	Module: preferences
Name: !
Name: ==/2

Name: =/2
Name: real_error_occurred	Module: foo_error
Name: state_error/3	Module: state_space

Name: print_message/1	Module: tools
Name: explore_one_state_stats/8	Module: state_space_explorer
Name: is/2
Name: =/2
Name: clear_context_state/0	Module: state_space
Name: print_found_error/2	Module: model_checker
Name: state_exploration_found_error/2	Module: state_space_explorer
Name: ->/3
Name: compute_transitions_opt/3	Module: model_checker
Name: update_context_state/1	Module: state_space
Name: !
Name: visited_expression/2	Module: state_space
Name: get_open_node_to_check/2	Module: state_space_exploration_modes

Name: call_cleanup/2
Name: set_context_state/1	Module: state_space
Name: =/2
Name: get_model_check_stats/6	Module: model_checker
Name: statistics/2
Name: depth_breadth_first_mode/1	Module: state_space_exploration_modes
Name: perform_static_analyses/3	Module: model_checker
Name: get_b_optimisation_options/2	Module: state_space_explorer
Name: animation_mode/1	Module: specfile