Dynamic Predicates: stored_evalstores/3 evalstore_hashes/2 next_evalstore_id/1 stored_type_environment/2 type_environment_hashes/2 next_type_environment_id/1

337 Lines

37 Predicates

Imported Modules: lists

5 Exports

34 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: samsort/3 Module: samsort Name: safe_time_out_or_virtual_time_out/3 Module: tools_meta Name: visited_expression/2 Module: state_space Name: state_corresponds_to_set_up_constants/2 Module: specfile Name: state_corresponds_to_initialised_b_machine/1 Module: specfile Name: create_texpr/4 Module: bsyntaxtree Name: get_texpr_type/2 Module: bsyntaxtree Name: is_b_global_constant/3 Module: b_global_sets Name: b_global_set/1 Module: b_global_sets Name: full_b_machine/1 Module: bmachine Name: b_get_machine_constants/1 Module: bmachine Name: b_get_machine_variables/1 Module: bmachine Name: type_open_formula/8 Module: bmachine_construction Name: env_empty/1 Module: btypechecker Name: add_identifiers_to_environment/3 Module: btypechecker Name: env_lookup_type/3 Module: btypechecker Name: env_identifiers/2 Module: btypechecker Name: empty_state/1 Module: store Name: normalise_store/2 Module: store Name: merge_updates/3 Module: store Name: init_wait_flags/1 Module: kernel_waitflags Name: ground_wait_flags/1 Module: kernel_waitflags Name: set_up_typed_localstate/6 Module: b_interpreter Name: b_test_boolean_expression/4 Module: b_interpreter Name: b_compute_expression/5 Module: b_interpreter Name: b_tighter_enumerate_values/2 Module: b_enumerate Name: get_all_errors_and_clear/1 Module: error_manager Name: reset_errors/0 Module: error_manager Name: protect_from_user_interrupt_det/1 Module: user_signal/user_signal Name: hash_term/2 Module: probhash/probhash Name: write_to_codes/2 Module: codesio Name: atom_codes_with_limit/3 Module: tools_strings Name: register_event_listener/3 Module: eventhandling	Name: evalstore_reset/0 Name: evalstore_create_type_env_by_state/2 Name: evalstore_create_store_by_state/2 Name: evalstore_eval_formula/4 Name: evalstore_bindings/2

Imports

Exports

Name: module_info/2

Module: module_information

Name: samsort/3

Module: samsort

Name: safe_time_out_or_virtual_time_out/3

Module: tools_meta

Name: visited_expression/2

Module: state_space

Name: state_corresponds_to_set_up_constants/2

Module: specfile

Name: state_corresponds_to_initialised_b_machine/1

Module: specfile

Name: create_texpr/4

Module: bsyntaxtree

Name: get_texpr_type/2

Module: bsyntaxtree

Name: is_b_global_constant/3

Module: b_global_sets

Name: b_global_set/1

Module: b_global_sets

Name: full_b_machine/1

Module: bmachine

Name: b_get_machine_constants/1

Module: bmachine

Name: b_get_machine_variables/1

Module: bmachine

Name: type_open_formula/8

Module: bmachine_construction

Name: env_empty/1

Module: btypechecker

Name: add_identifiers_to_environment/3

Module: btypechecker

Name: env_lookup_type/3

Module: btypechecker

Name: env_identifiers/2

Module: btypechecker

Name: empty_state/1

Module: store

Name: normalise_store/2

Module: store

Name: merge_updates/3

Module: store

Name: init_wait_flags/1

Module: kernel_waitflags

Name: ground_wait_flags/1

Module: kernel_waitflags

Name: set_up_typed_localstate/6

Module: b_interpreter

Name: b_test_boolean_expression/4

Module: b_interpreter

Name: b_compute_expression/5

Module: b_interpreter

Name: b_tighter_enumerate_values/2

Module: b_enumerate

Name: get_all_errors_and_clear/1

Module: error_manager

Name: reset_errors/0

Module: error_manager

Name: protect_from_user_interrupt_det/1

Module: user_signal/user_signal

Name: hash_term/2

Module: probhash/probhash

Name: write_to_codes/2

Module: codesio

Name: atom_codes_with_limit/3

Module: tools_strings

Name: register_event_listener/3

Module: eventhandling

Name: evalstore_reset/0

Name: evalstore_create_type_env_by_state/2

Name: evalstore_create_store_by_state/2

Name: evalstore_eval_formula/4

Name: evalstore_bindings/2

Description:
TODO: Please document what this does.

#### called by:
ProB 2.0: EvalstoreEvalCommand

TODO: Please document what this does.

#### called by:
ProB 2.0: EvalstoreCreateByStateCommand

constant_identifiers/2

create_new_node/3

create_normalised_type_environment/2

error_occurred/2

es_copy_from_statespace/2

es_eval/4

Mode: es_eval(+_297105,+_297113,+_297121,-_297129)

es_eval_translate/2

eval_in_evalstore/5

evalstore_bindings/2

evalstore_create_store_by_state/2

evalstore_create_type_env_by_state/2

evalstore_eval_formula/4

evalstore_eval_formula2/4

evalstore_eval_formula3/4

evalstore_reset/0

evalstore_typecheck/3

evalstore_typecheck_update_typeenv/4

evaluate_formula/6

expand_node/2

expand_node2/2

extract_type_environment/2

extract_type_environment2/2

get_state/4

global_identifiers-->/2

store_type_environment/2

time_out_eval/8

update_store/3

variable_identifiers/2

Determinacy Checker

Determinacy Checker:

! Syntax error
! operator expected after expression
! in line 4
! from
! <>
! prob2_interface '.' pl : :- use_module ( evalstores , [ evalstore_bindings / 2 , evalstore_create_store_by_state / 2 , evalstore_eval_formula / 4 ] ) .
! Existence error in argument 1 of absolute_file_name/3
! file module_information does not exist
! goal: absolute_file_name(module_information,_257,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/evalstores.pl')])

Name: assertz/1	Module: foo_error
Name: is/2	Module: foo_error
Name: next_evalstore_id/1	dynamic predicate
Name: retract/1

Name: assertz/1	Module: foo_error
Name: is/2	Module: foo_error
Name: next_type_environment_id/1	dynamic predicate
Name: retract/1

Name: assert_new_node/4	Module: evalstores
Name: =/2	Module: foo_error
Name: evalstore_hashes/2	dynamic predicate
Name: ->/3
Name: hash_node/3	Module: evalstores
Name: expand_node/2	Module: evalstores

Name: evalstore_eval_formula3/4	Module: evalstores
Name: evalstore_create_store_by_state/2	Module: evalstores

Name: =/2	Module: foo_error
Name: es_eval_translate/2	Module: evalstores
Name: get_texpr_ids/2	Module: foo_error
Name: ->/3
Name: !	Module: foo_error
Name: evalstore_eval_formula/4	Module: evalstores

Name: append/3	Module: foo_error
Name: b_get_machine_constants/1	Module: bmachine

Name: =/2	Module: foo_error
Name: update_store/3	Module: evalstores
Name: ->/2
Name: error_occurred/2	Module: evalstores
Name: ->/3
Name: \==/2	Module: foo_error
Name: time_out_eval/8	Module: evalstores
Name: b_tighter_enumerate_values/2	Module: b_enumerate
Name: init_wait_flags/1	Module: kernel_waitflags
Name: set_up_typed_localstate/6	Module: b_interpreter
Name: empty_state/1	Module: store
Name: get_texpr_type/2	Module: bsyntaxtree
Name: expand_node/2	Module: evalstores
Name: reset_errors/0	Module: error_manager

Name: expand_node/2	Module: evalstores
Name: stored_evalstores/3	dynamic predicate

Name: create_new_node/3	Module: evalstores
Name: evalstore_create_type_env_by_state/2	Module: evalstores

Name: store_type_environment/2	Module: evalstores
Name: extract_type_environment/2	Module: evalstores
Name: visited_expression/2	Module: state_space
Name: =/2	Module: foo_error
Name: ->/3

Name: evalstore_eval_formula2/4	Module: evalstores
Name: evalstore_typecheck/3	Module: evalstores
Name: stored_evalstores/3	dynamic predicate

Name: evalstore_eval_formula3/4	Module: evalstores
Name: eval_in_evalstore/5	Module: evalstores

Name: =/2	Module: foo_error
Name: evalstore_typecheck_update_typeenv/4	Module: evalstores
Name: ->/3
Name: type_open_formula/8	Module: bmachine_construction
Name: full_b_machine/1	Module: bmachine
Name: stored_type_environment/2	dynamic predicate

Name: samsort/3	Module: samsort
Name: expand_node2/2	Module: evalstores

Name: merge_updates/3	Module: store
Name: RECURSIVE_CALL/2	Module: evalstores
Name: state_corresponds_to_set_up_constants/2	Module: specfile
Name: visited_expression/2	Module: state_space
Name: =/2	Module: foo_error
Name: ->/3
Name: empty_state/1	Module: store

Name: create_normalised_type_environment/2	Module: evalstores
Name: extract_type_environment2/2	Module: evalstores

Name: constant_identifiers/2	Module: evalstores
Name: global_identifiers/2	Module: foo_error
Name: variable_identifiers/2	Module: evalstores
Name: !	Module: foo_error
Name: state_corresponds_to_initialised_b_machine/1	Module: specfile

Name: hash_term/2	Module: probhash/probhash
Name: maplist/3	Module: foo_error
Name: env_identifiers/2	Module: btypechecker

Name: assertz/1	Module: foo_error
Name: retractall/1	Module: foo_error

Name: assert_type_env/3	Module: evalstores
Name: =/2	Module: foo_error
Name: type_environment_hashes/2	dynamic predicate
Name: ->/3
Name: hash_type_env/2	Module: evalstores

prob_prolog/unused_code/evalstores.pl

Modules

Predicates of evalstores

Module Information

Dynamic Predicates: stored_evalstores/3 evalstore_hashes/2 next_evalstore_id/1 stored_type_environment/2 type_environment_hashes/2 next_type_environment_id/1

337 Lines

37 Predicates

Imported Modules: lists

5 Exports

34 specified Imports

Predicates:

Mode: es_eval(+_297105,+_297113,+_297121,-_297129)

Determinacy Checker: