Dynamic Predicates: tcltk_replay_sequence/1

148 Lines

12 Predicates

Imported Modules: lists tools self_check state_space module_information units

10 Exports

0 specified Imports

Imports	Exports
	Name: contains_top/1 Name: check_state_add_error/2 Name: insert_spacer_and_join/2 Name: is_unit_list/1 Name: append_to_tcltk_replay_sequence/1 Name: reset_tcltk_replay_sequence/0 Name: replay_tcltk_sequence/0 Name: state_was_updated/2 Name: extract_value_list/2 Name: convert_to_atom/2

Imports

Exports

Name: contains_top/1

Name: check_state_add_error/2

Name: insert_spacer_and_join/2

Name: is_unit_list/1

Name: append_to_tcltk_replay_sequence/1

Name: reset_tcltk_replay_sequence/0

Name: replay_tcltk_sequence/0

Name: state_was_updated/2

Name: extract_value_list/2

Name: convert_to_atom/2

Predicates

Predicates:

append_to_tcltk_replay_sequence/1

check_state_add_error/2

contains_top/1

convert_to_atom/2

extract_value_list/2

insert_spacer_and_join/2

is_unit_list/1

replay_tcltk_sequence/0

replay_tcltk_sequence/1

reset_tcltk_replay_sequence/0

state_was_updated/2

to_tcltk/1

append_to_tcltk_replay_sequence/1

check_state_add_error/2

contains_top/1

convert_to_atom/2

extract_value_list/2

insert_spacer_and_join/2

is_unit_list/1

replay_tcltk_sequence/0

replay_tcltk_sequence/1

reset_tcltk_replay_sequence/0

state_was_updated/2

to_tcltk/1

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_4939,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units_tools.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),_5339,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units_tools.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),_5739,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units_tools.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),_6139,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units_tools.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(tools) does not exist
! goal: absolute_file_name(probsrc(tools),_8863,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(specfile) does not exist
! goal: absolute_file_name(probsrc(specfile),_8863,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units.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),_8863,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bmachine) does not exist
! goal: absolute_file_name(probsrc(bmachine),_8863,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(preferences) does not exist
! goal: absolute_file_name(probsrc(preferences),_8863,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bmachine) does not exist
! goal: absolute_file_name(probsrc(bmachine),_8863,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(bmachine_structure) does not exist
! goal: absolute_file_name(probsrc(bmachine_structure),_8863,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(pragmas) does not exist
! goal: absolute_file_name(probsrc(pragmas),_8863,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(probsrc(coverage_tools_annotations),_7767,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units.pl')])
* Non-determinate: units_tools:append_to_tcltk_replay_sequence/1 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: units_tools:replay_tcltk_sequence/0 (clause 1)
* Calls nondet predicate retract/1.
* Non-determinate: units_tools:contains_top/1 (clause 2)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: units_tools:contains_top/1 (clause 3)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: units_tools:contains_top/1 (clause 4)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: units_tools:check_state_add_error/2 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: units_tools:state_was_updated/2 (clause 2)
* Indexing cannot distinguish this from clause 3.

Name: assertz/1
Name: tcltk_replay_sequence/1	dynamic predicate
Name: retract/1

Name: RECURSIVE_CALL/2	Module: units_tools
Name: store_state_error/3	Module: foo_error
Name: units_error_context/1	Module: units
Name: ajoin/2	Module: foo_error
Name: !
Name: member/2
Name: static_result/2	Module: units
Name: ground/1
Name: not/1
Name: contains_top/1	Module: units_tools

Name: RECURSIVE_CALL/1	Module: units_tools
Name: =/2
Name: =../2
Name: !
Name: fail
Name: var/1

Name: atom_codes/2
Name: =/2
Name: !
Name: atom/1

Name: ajoin_with_sep/3	Module: foo_error
Name: =/2
Name: atomic/1
Name: ->/3

units_tools

prob_prolog/unused_code/plugins/units/units_tools.pl

Modules

Predicates of units_tools

Module Information

Dynamic Predicates: tcltk_replay_sequence/1

148 Lines

12 Predicates

Imported Modules: lists tools self_check state_space module_information units

10 Exports

0 specified Imports

Predicates:

append_to_tcltk_replay_sequence/1

check_state_add_error/2

contains_top/1

convert_to_atom/2

extract_value_list/2

insert_spacer_and_join/2

is_unit_list/1

replay_tcltk_sequence/0

replay_tcltk_sequence/1

reset_tcltk_replay_sequence/0

state_was_updated/2

to_tcltk/1

Determinacy Checker:

Name: replay_tcltk_sequence/1	Module: units_tools
Name: reverse/2	Module: foo_error
Name: tcltk_replay_sequence/1	dynamic predicate
Name: retract/1
Name: to_tcltk/1	Module: units_tools

Name: RECURSIVE_CALL/1	Module: units_tools
Name: tcltk_perform_action/2	Module: units_tools.pl
Name: compute_all_transitions/2	Module: units_tools.pl
Name: visited_expression/2	Module: foo_error
Name: current_state_id/1	Module: foo_error

Name: \==/2
Name: RECURSIVE_CALL/2	Module: units_tools
Name: !
Name: contains_top/1	Module: units_tools
Name: ==/2
Name: ground/1
Name: not/1