Dynamic Predicates: loaded/0

323 Lines

28 Predicates

Imported Modules: module_information

24 Exports

2 specified Imports

Imports	Exports
Name: safe_load_foreign_resource/2 Module: pathes_lib Name: add_error_and_fail/2 Module: error_manager	Name: init/0 Name: reset/0 Name: push/2 Name: push_bt/2 Name: delete_elm/1 Name: delete_elm_bt/1 Name: is_empty/0 Name: get_max_value/1 Name: get_max_priority/1 Name: get_priority_of/2 Name: get_priority_of_silent_fail/2 Name: get_and_remove_max_value/1 Name: get_and_remove_max_value_bt/1 Name: update/2 Name: update_bt/2 Name: inc_priority_of/2 Name: inc_priority_of_bt/2 Name: dec_priority_of/2 Name: dec_priority_of_bt/2 Name: mult_priority_of/2 Name: mult_priority_of_bt/2 Name: mult_priority_of_all/1 Name: set_maintain_update_order/1 Name: fib_test/0

Imports

Exports

Name: safe_load_foreign_resource/2

Module: pathes_lib

Name: add_error_and_fail/2

Module: error_manager

Name: init/0

Name: reset/0

Name: push/2

Name: push_bt/2

Name: delete_elm/1

Name: delete_elm_bt/1

Name: is_empty/0

Name: get_max_value/1

Name: get_max_priority/1

Name: get_priority_of/2

Name: get_priority_of_silent_fail/2

Name: get_and_remove_max_value/1

Name: get_and_remove_max_value_bt/1

Name: update/2

Name: update_bt/2

Name: inc_priority_of/2

Name: inc_priority_of_bt/2

Name: dec_priority_of/2

Name: dec_priority_of_bt/2

Name: mult_priority_of/2

Name: mult_priority_of_bt/2

Name: mult_priority_of_all/1

Name: set_maintain_update_order/1

Name: fib_test/0

get_and_remove_max_value/1

get_and_remove_max_value_bt/1

get_max_priority/1

get_max_value/1

get_priority_of/2

get_priority_of_silent_fail/2

get_update_count_of/2

mult_priority_of_bt/2

push_bt/2

set_maintain_update_order/1

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(pathes_lib) does not exist
! goal: absolute_file_name(probsrc(pathes_lib),_261,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/extensions/fibonacci_heap/fibonacci_heap.pl')])

Name: ==/2
Name: get_and_remove_max_value/1	Module: fibonacci_heap
Name: fail
Name: delete_elm_bt/1	Module: fibonacci_heap
Name: get_max_value/1	Module: fibonacci_heap
Name: push/2	Module: foo_error
Name: get_max_priority/1	Module: fibonacci_heap
Name: update_bt/2	Module: fibonacci_heap
Name: elm_exists/1	Module: fibonacci_heap
Name: not/1
Name: push_bt/2	Module: fibonacci_heap
Name: init/0	Module: fibonacci_heap

Name: inc_priority_of_bt/2	Module: fibonacci_heap
Name: dec_priority_of_bt/2	Module: fibonacci_heap
Name: simple_fib_test/0	Module: fibonacci_heap

Name: fail
Name: inc_priority_of/2	Module: fibonacci_heap
Name: dec_priority_of/2	Module: fibonacci_heap

Name: push_bt/2	Module: fibonacci_heap
Name: simple_fib_test/0	Module: fibonacci_heap
Name: delete_elm_bt/1	Module: fibonacci_heap

Name: fail
Name: push_with_fixed_update_count/3	Module: foo_error
Name: true
Name: delete_elm/1	Module: fibonacci_heap
Name: get_update_count_of/2	Module: fibonacci_heap
Name: get_priority_of/2	Module: fibonacci_heap

Name: delete_from_heuristic/1	Module: cdclt_sat_solver
Name: bt_fib_test/0	Module: fibonacci_heap
Name: get_and_remove_max_value_bt/1	Module: fibonacci_heap
Name: worsen_scores_for_vars_in_clause/1	Module: cdclt_sat_solver

Name: get_sat_var_with_max_heuristic/2	Module: cdclt_sat_solver
Name: bt_fib_test/0	Module: fibonacci_heap
Name: simple_fib_test/0	Module: fibonacci_heap

Name: update_bt/2	Module: fibonacci_heap
Name: bump_glue_variable_scores/2	Module: cdclt_sat_solver
Name: mult_priority_of_bt/2	Module: fibonacci_heap
Name: delete_elm_bt/1	Module: fibonacci_heap
Name: simple_fib_test/0	Module: fibonacci_heap

Name: update_heuristic_scores/3	Module: cdclt_sat_solver
Name: worsen_scores_for_vars_in_clause/1	Module: cdclt_sat_solver

Name: reset	Module: foo_error
Name: load/0	Module: fibonacci_heap

Name: simple_fib_test/0	Module: fibonacci_heap
Name: init_dynamic_solver_state/1	Module: cdclt_sat_solver
Name: bt_fib_test/0	Module: fibonacci_heap

Name: elim_vars/2	Module: cdclt_sat_solver
Name: simple_fib_test/0	Module: fibonacci_heap

Name: safe_load_foreign_resource/2	Module: pathes_lib
Name: asserta/1
Name: true
Name: loaded	dynamic predicate
Name: ->/3

Name: set_maintain_update_order_/1	Module: foo_error
Name: ==/2
Name: ->/3

Name: bump_glue_variable_score/4	Module: cdclt_sat_solver
Name: bt_fib_test/0	Module: fibonacci_heap

prob_prolog/extensions/fibonacci_heap/fibonacci_heap.pl

Modules

Predicates of fibonacci_heap

Module Information