99 Lines

9 Predicates

Imported Modules: error_manager

2 Exports

12 specified Imports

Imports	Exports
Name: visited_expression/2 Module: state_space Name: try_set_trace_by_transition_ids/1 Module: state_space Name: transition/4 Module: state_space Name: compute_all_transitions_if_necessary/2 Module: tcltk_interface Name: tcltk_save_history_as_trace_file/3 Module: b_trace_checking Name: ajoin/2 Module: tools_strings Name: b_or_z_mode/0 Module: specfile Name: currently_opened_file/1 Module: specfile Name: temporal_parser/3 Module: ltl_tools Name: get_preference/2 Module: preferences Name: safe_time_out/3 Module: tools_meta Name: module_info/2 Module: module_information	Name: generate_all_traces_until/4 Name: generate_traces/0

Imports

Exports

Name: visited_expression/2

Module: state_space

Name: try_set_trace_by_transition_ids/1

Module: state_space

Name: transition/4

Module: state_space

Name: compute_all_transitions_if_necessary/2

Module: tcltk_interface

Name: tcltk_save_history_as_trace_file/3

Module: b_trace_checking

Name: ajoin/2

Module: tools_strings

Name: b_or_z_mode/0

Module: specfile

Name: currently_opened_file/1

Module: specfile

Name: temporal_parser/3

Module: ltl_tools

Name: get_preference/2

Module: preferences

Name: safe_time_out/3

Module: tools_meta

Name: module_info/2

Module: module_information

Name: generate_all_traces_until/4

Name: generate_traces/0

Predicates

Predicates:

bb_inc/1

generate_all_traces_until/4

generate_all_traces_until/4

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),_3441,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/ltl/trace_generator.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),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/ltl/trace_generator.pl')])

Name: =/2
Name: bb_put/2
Name: is/2
Name: bb_get/2

Name: =/2
Name: add_error/3	Module: foo_error
Name: bb_get/2
Name: generate_traces/4	Module: trace_generator
Name: temporal_parser/3	Module: ltl_tools
Name: ->/3

Name: RECURSIVE_CALL/4	Module: trace_generator
Name: transition/4	Module: state_space
Name: nl
Name: print/1
Name: not/1
Name: !
Name: check_atomic_property_formula/2	Module: foo_error
Name: compute_all_transitions_if_necessary/2	Module: tcltk_interface

Name: generate_all_traces_until/4	Module: trace_generator
Name: generate_traces/1	Module: trace_generator

Name: generate_all_traces_until/4	Module: trace_generator
Name: generate_traces/1	Module: trace_generator

trace_generator

prob_prolog/src/ltl/trace_generator.pl

Modules

Predicates of trace_generator

Module Information

99 Lines

9 Predicates

Imported Modules: error_manager

2 Exports

12 specified Imports

Predicates:

bb_inc/1

generate_all_traces_until/4

generate_trace/4

generate_traces/0

generate_traces/1

generate_traces/4

generate_traces2/4

save_trace/5

save_visb_html_his/1

Determinacy Checker:

Name: true
Name: =/2
Name: add_message/3	Module: foo_error
Name: ->/3
Name: safe_time_out/3	Module: tools_meta
Name: get_preference/2	Module: preferences
Name: load_default_visb_file_if_necessary	Module: foo_error

Name: fail
Name: =/2
Name: add_message/3	Module: foo_error
Name: !
Name: >=/2
Name: ->/3
Name: save_trace/5	Module: trace_generator
Name: bb_inc/1	Module: trace_generator
Name: generate_trace/4	Module: trace_generator
Name: bb_put/2
Name: get_preference/2	Module: preferences

Name: save_visb_html_his/1	Module: trace_generator
Name: ajoin/2	Module: tools_strings
Name: tcltk_save_history_as_trace_file/3	Module: b_trace_checking
Name: format/2
Name: =/2
Name: ->/3
Name: try_set_trace_by_transition_ids/1	Module: state_space

Name: generate_visb_html_for_history_with_vars/1	Module: foo_error
Name: format/2
Name: !
Name: get_default_visb_file/2	Module: foo_error