190 Lines

25 Predicates

Imported Modules: lists tcltk

19 Exports

3 specified Imports

Imports	Exports
Name: translate_bvalue/2 Module: translate Name: translate_bexpression/2 Module: translate Name: add_texpr_infos/3 Module: bsyntaxtree	Name: verify_synthesis_start/0 Name: adjust_empty_set_type/2 Name: synthesis_real_assert_new_example/1 Name: synthesis_temp_assert_new_example/2 Name: update_example_validation/2 Name: synthesis_set_examples/1 Name: synthesis_get_invariant_examples/5 Name: save_current_synthesis_state/10 Name: prepare_distinguishing_transition_for_tcl/2 Name: retract_synthesis_state/0 Name: synthesis_failed/1 Name: synthesis_unnecessary/1 Name: synthesis_done/2 Name: prepare_tcl_input_for_parser/2 Name: synthesis_delete_example/1 Name: synthesis_get_examples/4 Name: synthesis_machine_vars_to_tcl/1 Name: assert_machine_var_types/0 Name: update_tcl_synthesis_type/1

Imports

Exports

Name: translate_bvalue/2

Module: translate

Name: translate_bexpression/2

Module: translate

Name: add_texpr_infos/3

Module: bsyntaxtree

Name: verify_synthesis_start/0

Name: adjust_empty_set_type/2

Name: synthesis_real_assert_new_example/1

Name: synthesis_temp_assert_new_example/2

Name: update_example_validation/2

Name: synthesis_set_examples/1

Name: synthesis_get_invariant_examples/5

Name: save_current_synthesis_state/10

Name: prepare_distinguishing_transition_for_tcl/2

Name: retract_synthesis_state/0

Name: synthesis_failed/1

Name: synthesis_unnecessary/1

Name: synthesis_done/2

Name: prepare_tcl_input_for_parser/2

Name: synthesis_delete_example/1

Name: synthesis_get_examples/4

Name: synthesis_machine_vars_to_tcl/1

Name: assert_machine_var_types/0

Name: update_tcl_synthesis_type/1

adjust_empty_set_type/2

adjust_empty_set_type/3

adjust_empty_set_type_aux/3

assert_machine_var_types/0

prepare_distinguishing_transition_for_tcl/2

prepare_tcl_input_for_parser/2

retract_synthesis_state/0

save_current_synthesis_state/10

synthesis_delete_example/1

synthesis_delete_example_aux/7

synthesis_done/2

synthesis_failed/1

synthesis_get_examples/4

synthesis_get_examples_aux/7

synthesis_get_invariant_examples/5

synthesis_machine_vars_to_tcl/1

synthesis_real_assert_new_example/1

synthesis_set_examples/1

synthesis_temp_assert_new_example/2

synthesis_temp_assert_new_example_aux/4

synthesis_unnecessary/1

update_example_validation/2

update_example_validation_aux/4

update_tcl_synthesis_type/1

verify_synthesis_start/0

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(translate) does not exist
! goal: absolute_file_name(probsrc(translate),_157,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/src/synthesis/global_state.pl')])

Name: adjust_empty_set_type/3	Module: global_state
Name: b_get_machine_variables/1	Module: bmachine

Name: RECURSIVE_CALL/3	Module: global_state
Name: adjust_empty_set_type_aux/3	Module: global_state

Name: synthesis_var_types/1	Module: foo_error
Name: assert/1
Name: findall/3
Name: b_get_machine_variables/1	Module: bmachine

Name: dist_transition/2	Module: foo_error
Name: assert/1
Name: maplist/3	Module: foo_error
Name: findall/3

Name: ajoin/2	Module: tools
Name: atom_codes/2
Name: append/2	Module: foo_error
Name: !
Name: atom/1

global_state

../../prolog/src/synthesis/global_state.pl

Modules

Predicates of global_state

Module Information