Dynamic Predicates: stored_memo_expansion/3 registered_value/3 registered_memo_pred/2 hash_count/2 hash_time/2

326 Lines

29 Predicates

Imported Modules: error_manager debug

15 Exports

23 specified Imports

Imports	Exports
Name: module_info/2 Module: module_information Name: register_event_listener/3 Module: eventhandling Name: term_hash/3 Module: terms Name: get_texpr_description/2 Module: bsyntaxtree Name: remove_variables/3 Module: tools Name: ground_value_check/2 Module: kernel_tools Name: value_variables/2 Module: kernel_tools Name: get_texpr_info/2 Module: bsyntaxtree Name: extract_info/2 Module: bsyntaxtree Name: extract_pos_infos/2 Module: bsyntaxtree Name: get_texpr_id/2 Module: bsyntaxtree Name: add_wd_error_span/4 Module: kernel_waitflags Name: ground_value/1 Module: kernel_tools Name: equal_object_wf/3 Module: kernel_objects Name: init_wait_flags/1 Module: kernel_waitflags Name: ground_wait_flags/1 Module: kernel_waitflags Name: check_element_of_function_closure/6 Module: custom_explicit_sets Name: counter_init/0 Module: counter/counter Name: reset_counter/1 Module: counter/counter Name: new_counter/1 Module: counter/counter Name: inc_counter/2 Module: counter/counter Name: get_counter/2 Module: counter/counter Name: retract_with_statistics/2 Module: tools	Name: store_memo_expansion/3 Name: get_stored_memo_expansion/3 Name: compute_memo_hash/2 Name: store_memo_computation_time/2 Name: texpr_is_marked_for_memoization/1 Name: register_memoization_function/6 Name: get_registered_function/2 Name: is_memoization_closure/4 Name: get_memoization_closure_value/4 Name: store_memo_result/6 Name: get_stored_memo_result/5 Name: apply_to_memoize/8 Name: print_memo_profile/0 Name: reset_memo_table/0 Name: reset_memo_with_statistics/0

Imports

Exports

Name: module_info/2

Module: module_information

Name: register_event_listener/3

Module: eventhandling

Name: term_hash/3

Module: terms

Name: get_texpr_description/2

Module: bsyntaxtree

Name: remove_variables/3

Module: tools

Name: ground_value_check/2

Module: kernel_tools

Name: value_variables/2

Module: kernel_tools

Name: get_texpr_info/2

Module: bsyntaxtree

Name: extract_info/2

Module: bsyntaxtree

Name: extract_pos_infos/2

Module: bsyntaxtree

Name: get_texpr_id/2

Module: bsyntaxtree

Name: add_wd_error_span/4

Module: kernel_waitflags

Name: ground_value/1

Module: kernel_tools

Name: equal_object_wf/3

Module: kernel_objects

Name: init_wait_flags/1

Module: kernel_waitflags

Name: ground_wait_flags/1

Module: kernel_waitflags

Name: check_element_of_function_closure/6

Module: custom_explicit_sets

Name: counter_init/0

Module: counter/counter

Name: reset_counter/1

Module: counter/counter

Name: new_counter/1

Module: counter/counter

Name: inc_counter/2

Module: counter/counter

Name: get_counter/2

Module: counter/counter

Name: retract_with_statistics/2

Module: tools

Name: store_memo_expansion/3

Name: get_stored_memo_expansion/3

Name: compute_memo_hash/2

Name: store_memo_computation_time/2

Name: texpr_is_marked_for_memoization/1

Name: register_memoization_function/6

Name: get_registered_function/2

Name: is_memoization_closure/4

Name: get_memoization_closure_value/4

Name: store_memo_result/6

Name: get_stored_memo_result/5

Name: apply_to_memoize/8

Name: print_memo_profile/0

Name: reset_memo_table/0

Name: reset_memo_with_statistics/0

apply_to_memoize/8

block_apply_closure_memo_groundx/9

Block: block_apply_closure_memo_groundx(-,?,?,?,?,?,?,?,?) block_apply_closure_memo_groundx(?,-,?,?,?,?,?,?,?)

check_element_of_function_closure_nowf/6

compute_funcall_memo_hash/3

compute_memo_hash/2

construct_memoization_closure/4

expand_memoize_stored_function_reference/2

gen_memo_pred/2

get_infos/2

get_memoization_closure_value/4

get_registered_function/2

get_stored_memo_expansion/3

get_stored_memo_result/5

inc/1

init_memo_table/0

is_memoization_closure/4

is_memoize_stored_function_reference/2

print_memo_entry/1

print_memo_profile/0

print_memo_table/0

register_memoization_function/6

register_memoization_function_aux/4

Block: register_memoization_function_aux(-,?,?,?)

reset_memo_table/0

reset_memo_with_statistics/0

store_memo_computation_time/2

store_memo_expansion/3

store_memo_result/7

stored_memo_result/4

texpr_is_marked_for_memoization/1

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file error_manager does not exist
! goal: absolute_file_name(error_manager,_5217,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/memoization.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file debug does not exist
! goal: absolute_file_name(debug,_5513,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/memoization.pl')])
! 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/memoization.pl')])

Name: add_wd_error_span/4	Module: kernel_waitflags
Name: equal_object_wf/3	Module: kernel_objects
Name: nl
Name: print_bvalue/1	Module: translate
Name: registered_value/3	dynamic predicate
Name: print/1
Name: add_error/4	Module: foo_error
Name: store_memo_result/7	Module: memoization
Name: ground_value/1	Module: kernel_tools
Name: ->/3
Name: check_element_of_function_closure_nowf/6	Module: memoization
Name: if/3
Name: get_stored_memo_result/5	Module: memoization
Name: registered_memo_pred/2	dynamic predicate
Name: compute_funcall_memo_hash/3	Module: memoization

Name: element_of_memoization_closure/6	Module: memoization
Name: apply_to_memoize/8	Module: memoization
Name: not_element_of_memoization_closure/6	Module: memoization

Name: compute_memo_hash/2	Module: memoization
Name: =/2
Name: !

Name: store_function_result/4	Module: memoization
Name: block_apply_closure_memo_groundx/10	Module: memoization
Name: block_apply_closure_memo_groundx/9	Module: memoization

Name: closure1_for_explicit_set/2	Module: custom_explicit_sets
Name: expand_normal_closure_memo/7	Module: custom_explicit_sets
Name: compute_funcall_memo_hash/3	Module: memoization

Name: registered_value/3	dynamic predicate
Name: number/1
Name: is_memoize_stored_function_reference/2	Module: memoization

Name: append/3
Name: extract_pos_infos/2	Module: bsyntaxtree
Name: get_texpr_info/2	Module: bsyntaxtree
Name: !
Name: extract_info/2	Module: bsyntaxtree

Name: inc_counter/2	Module: counter/counter
Name: stored_memo_expansion/3	dynamic predicate

Name: assertz/1
Name: =/2
Name: is/2
Name: hash_count/2	dynamic predicate
Name: retract/1
Name: ->/3

Name: is_special_closure/4	Module: custom_explicit_sets
Name: dont_normalise_this_explicit_set/1	Module: store
Name: get_memoization_closure_value/4	Module: memoization
Name: is_lambda_value_domain_memoization_closure/5	Module: memoization
Name: expand_normal_closure_memo/7	Module: custom_explicit_sets
Name: ran_symbolic/2	Module: custom_explicit_sets
Name: is_memoization_closure_val/2	Module: b_cogen

Name: is_memoization_closure/4	Module: memoization
Name: expand_memoize_stored_function_reference/2	Module: memoization

Name: true
Name: print_memo_table/0	Module: memoization
Name: nl
Name: print/1
Name: registered_value/3	dynamic predicate
Name: stored_memo_expansion/3	dynamic predicate
Name: ->/3

Name: format/2
Name: get_counter/2	Module: counter/counter
Name: fail
Name: dif/2
Name: stored_memo_result/4	Module: memoization
Name: nl
Name: print_bvalue/1	Module: translate
Name: print/1
Name: print_memo_entry/1	Module: memoization
Name: registered_value/3	dynamic predicate
Name: true
Name: hash_time/2	dynamic predicate
Name: ->/3
Name: hash_count/2	dynamic predicate
Name: stored_memo_expansion/3	dynamic predicate

Name: register_memoization_function_aux/4	Module: memoization
Name: construct_memoization_closure/4	Module: memoization
Name: ground_value_check/2	Module: kernel_tools
Name: =/2
Name: remove_variables/3	Module: tools
Name: ->/3
Name: value_variables/2	Module: kernel_tools

Name: :-/2
Name: retract/1
Name: assertz/1
Name: =../2
Name: nl
Name: print/1
Name: gen_memo_pred/2	Module: memoization
Name: add_internal_error/2	Module: foo_error
Name: true
Name: ground/1
Name: ->/3
Name: inc_counter/2	Module: counter/counter

Name: true
Name: fail
Name: retractall/1
Name: =../2
Name: registered_memo_pred/2	dynamic predicate
Name: retract/1
Name: debug_println/2	Module: foo_error
Name: stored_memo_expansion/3	dynamic predicate
Name: ->/3
Name: reset_counter/1	Module: counter/counter

Name: init_memo_table/0	Module: memoization
Name: reset_memo_with_statistics/0	Module: memoization

prob_prolog/unused_code/memoization.pl

Modules

Predicates of memoization

Module Information

Dynamic Predicates: stored_memo_expansion/3 registered_value/3 registered_memo_pred/2 hash_count/2 hash_time/2

326 Lines

29 Predicates

Imported Modules: error_manager debug

15 Exports

23 specified Imports

Predicates:

Determinacy Checker: