Dynamic Predicates: loaded/0 o1/1 o2/1

134 Lines

13 Predicates

17 Exports

1 Imports

Imports	Exports
Name: safe_load_foreign_resource/2 Module: pathes_lib	Name: myheap_init/0 Name: myheap_reset/0 Name: myheap_add_node/2 Name: myheap_add_node_at_front/1 Name: myheap_add_node_at_end/1 Name: myheap_add_node_random/1 Name: myheap_size/1 Name: myheap_empty/1 Name: myheap_isempty/0 Name: myheap_top_id/1 Name: myheap_top_weight/1 Name: myheap_pop/1 Name: myheap_max_weight/1 Name: myheap_pop_max/1 Name: myheap_portray/0 Name: test/0 Name: bench/0

Imports

Exports

Name: safe_load_foreign_resource/2

Module: pathes_lib

Name: myheap_init/0

Name: myheap_reset/0

Name: myheap_add_node/2

Name: myheap_add_node_at_front/1

Name: myheap_add_node_at_end/1

Name: myheap_add_node_random/1

Name: myheap_size/1

Name: myheap_empty/1

Name: myheap_isempty/0

Name: myheap_top_id/1

Name: myheap_top_weight/1

Name: myheap_pop/1

Name: myheap_max_weight/1

Name: myheap_pop_max/1

Name: myheap_portray/0

Name: test/0

Name: bench/0

Predicates

Predicates:

Determinacy Checker:

! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_release,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_avl_custom,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_core_only,true)
! 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/myheap/myheap.pl')])

Name: print_time/1	Module: myheap
Name: RECURSIVE_CALL/1	Module: myheap
Name: is/2
Name: myheap_add_node_at_front/1	Module: foo_error
Name: !
Name: >/2

Name: print_time/1	Module: myheap
Name: RECURSIVE_CALL/1	Module: myheap
Name: is/2
Name: assertz/1
Name: asserta/1
Name: !
Name: >/2

Name: pop_nodes/0	Module: myheap
Name: assert_nodes/1	Module: myheap
Name: pop/0	Module: myheap
Name: add_nodes/1	Module: myheap
Name: statistics/2
Name: myheap_init/0	Module: myheap

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

Name: myheap_initialize	Module: foo_error
Name: loadfr/0	Module: myheap

myheap

prob_prolog/extensions/myheap/myheap.pl

Modules

Predicates of myheap

Module Information

Dynamic Predicates: loaded/0 o1/1 o2/1

134 Lines

13 Predicates

17 Exports

1 Imports

Predicates:

add_nodes/1

assert_nodes/1

bench/0

bench/1

foreign/2

foreign_resource/2

loadfr/0

myheap_init/0

myheap_isempty/0

pop/0

pop_nodes/0

print_time/1

test/0

Determinacy Checker:

Name: print_time/1	Module: myheap
Name: RECURSIVE_CALL/0	Module: myheap
Name: !
Name: \=/2
Name: myheap_pop/1	Module: foo_error

Name: nl
Name: print/1
Name: myheap_top_weight/1	Module: foo_error
Name: flush_output/1
Name: myheap_empty/1	Module: foo_error
Name: myheap_portray	Module: foo_error
Name: myheap_pop/1	Module: foo_error
Name: myheap_size/1	Module: foo_error
Name: myheap_pop_max/1	Module: foo_error
Name: myheap_max_weight/1	Module: foo_error
Name: myheap_add_node_random/1	Module: foo_error
Name: myheap_add_node_at_front/1	Module: foo_error
Name: myheap_add_node/2	Module: foo_error
Name: myheap_init/0	Module: myheap
Name: assertz/1