161 Lines

23 Predicates

Imported Modules: module_information

16 Exports

7 specified Imports

Imports	Exports
Name: avl_fetch/2 Module: avl Name: avl_fetch/3 Module: avl Name: avl_to_list/2 Module: avl Name: avl_store/4 Module: avl Name: empty_avl/1 Module: avl Name: nth1/3 Module: lists Name: select/3 Module: lists	Name: count_occurences/2 Name: ord_member_nonvar_chk/2 Name: ord_select_nonvar_chk/3 Name: ord_update_nonvar/4 Name: delete_first/3 Name: length_greater/2 Name: length_less/2 Name: member_nonvar_list/2 Name: exclude_count/4 Name: include_maplist/3 Name: optimized_nth1/3 Name: remove_dups_keep_order/2 Name: is_list_simple/1 Name: get_member_option/3 Name: convlist_max/4 Name: common_prefix_atom/2

Imports

Exports

Name: avl_fetch/2

Module: avl

Name: avl_fetch/3

Module: avl

Name: avl_to_list/2

Module: avl

Name: avl_store/4

Module: avl

Name: empty_avl/1

Module: avl

Name: nth1/3

Module: lists

Name: select/3

Module: lists

Name: count_occurences/2

Name: ord_member_nonvar_chk/2

Name: ord_select_nonvar_chk/3

Name: ord_update_nonvar/4

Name: delete_first/3

Name: length_greater/2

Name: length_less/2

Name: member_nonvar_list/2

Name: exclude_count/4

Name: include_maplist/3

Name: optimized_nth1/3

Name: remove_dups_keep_order/2

Name: is_list_simple/1

Name: get_member_option/3

Name: convlist_max/4

Name: common_prefix_atom/2

Predicates

Predicates:

ord_member_nonvar_chk/2

ord_select_nonvar_chk/3

ord_update_nonvar/4

rem_dups/3

remove_dups_keep_order/2

binding/3

binding('='(Opt,Val),Opt,Val).

binding('/'(Opt,Val),Opt,Val).

Called:

Name: get_member_option/3

Module: tools_lists

com_all/3

com_all([],H,H).

com_all([H|T],PrevPrefix,Res) :- atom_codes(H,Hs), common_prefix(Hs,PrevPrefix,NewPrefix),
com_all(T,NewPrefix,Res).

Calls:

Name: RECURSIVE_CALL/3	Module: tools_lists
Name: common_prefix/3	Module: tools_lists
Name: atom_codes/2

Called:

Name: common_prefix_atom/2

Module: tools_lists

common_prefix/3

common_prefix([H|T1],[H|T2],[H|Res]) :- !, common_prefix(T1,T2,Res).

common_prefix(_,_,[]).

Calls:

Name: RECURSIVE_CALL/3	Module: tools_lists
Name: !

Called:

Name: com_all/3

Module: tools_lists

common_prefix_atom/2

common_prefix_atom([H],Res) :- !, Res=[H]. % single completion

common_prefix_atom([H|T],Res) :- atom_codes(H,Hs), com_all(T,Hs,ResC), atom_codes(Res,ResC).

Calls:

Name: atom_codes/2
Name: com_all/3	Module: tools_lists
Name: =/2
Name: !

Called:

Name: get_possible_completion/3

Module: prob2_interface

conv_aux/4

Meta: conv_aux(-,2,-,-)

conv_aux([],_,_,[]).

conv_aux([H|T],Pred,Max,Res) :-
    (call(Pred,H,HX)
    -> Res=[HX|TX],
    (Max>1 -> M1 is Max-1, conv_aux(T,Pred,M1,TX)
    ; TX=[])
    ; conv_aux(T,Pred,Max,Res)).

Calls:

Name: RECURSIVE_CALL/4	Module: tools_lists
Name: =/2
Name: is/2
Name: >/2
Name: ->/3
Name: call/3

Called:

Name: convlist_max/4

Module: tools_lists

convlist_max/4

Meta: convlist_max(2,-,-,-)

convlist_max(Pred,Max,List,Res) :-
(Max>0 -> conv_aux(List,Pred,Max,Res) ; Res=[]).

Calls:

Name: =/2
Name: conv_aux/4	Module: tools_lists
Name: >/2
Name: ->/3

Called:

Name: identifier_sub_ast_aux/5

Module: bsyntaxtree

count_occ_aux/3

count_occ_aux([Term|T],A,Res) :- (avl_fetch(Term,A,Count) -> C is Count+1 ; C = 1),
avl_store(Term,A,C,A2),
count_occ_aux(T,A2,Res).

count_occ_aux([],A,L) :- avl_to_list(A,L).

Calls:

Name: avl_to_list/2	Module: avl
Name: RECURSIVE_CALL/3	Module: tools_lists
Name: avl_store/4	Module: avl
Name: =/2
Name: is/2
Name: avl_fetch/3	Module: avl
Name: ->/3

Called:

Name: count_occurences/2

Module: tools_lists

count_occurences/2

count_occurences(L,R) :- empty_avl(E), count_occ_aux(L,E,R).

Calls:

Name: count_occ_aux/3	Module: tools_lists
Name: empty_avl/1	Module: avl

Called:

Name: display_error_statistics/0	Module: error_manager
Name: run_disprover_on_all_pos/1	Module: disprover_test_runner
Name: cli_execute2/3	Module: prob_cli
Name: tcltk_operations_covered_info/3	Module: tcltk_interface
Name: analyse_invariants_for_machine/5	Module: well_def_analyser
Name: get_invariant_with_proof_status_calc/2	Module: bmachine

delete_first/3

delete_first(List,X,NewList) :- select(X,List,Del),!,NewList=Del.

delete_first(L,_,L).

Calls:

Name: =/2
Name: !
Name: select/3	Module: lists

Called:

Name: set_up_undefined_localstate_with_predefined/4	Module: store
Name: b_compile1_infos/11	Module: b_compiler

exclude_count/4

Meta: exclude_count(1,-,-,-)

exclude_count(Pred,List,ResList,Excluded) :-
exclude_count_aux(List,Pred,ResList,0,Excluded).

Calls:

Name: exclude_count_aux/5

Module: tools_lists

Called:

Name: b_set_up_concrete_constants/2

Module: b_interpreter

exclude_count_aux/5

Meta: exclude_count_aux(-,1,-,-,-)

exclude_count_aux([],_,[],Acc,Acc).

exclude_count_aux([H|T],Pred,Res,Acc,Excluded) :-
    (call(Pred,H)
    -> Res = RT, Acc1 is Acc+1
    ; Res = [H|RT], Acc1 = Acc
    ), exclude_count_aux(T,Pred,RT,Acc1,Excluded).

Calls:

Name: RECURSIVE_CALL/5	Module: tools_lists
Name: =/2
Name: is/2
Name: call/2
Name: ->/3

Called:

Name: exclude_count/4

Module: tools_lists

get_member_option/3

get_member_option(Opt,List,Value) :- member(Equality,List), binding(Equality,Opt,Value).

Calls:

Name: binding/3	Module: tools_lists
Name: member/2

Called:

Name: print_transition_list_json/3

Module: b_trace_checking

include_maplist/3

Meta: include_maplist(2,-,-)

include_maplist(_,[],[]).

include_maplist(Pred,[H|T],[MH|MT]) :-
call(Pred,H,MH),!,
include_maplist(Pred,T,MT).

include_maplist(Pred,[_|T],Res) :- include_maplist(Pred,T,Res).

Calls:

Name: RECURSIVE_CALL/3	Module: tools_lists
Name: !
Name: call/3

Called:

Name: eval_over_history/5	Module: external_functions
Name: get_visb_DEFINITION_svg_object/7	Module: visb_visualiser
Name: add_visb_hovers_from_definition/5	Module: visb_visualiser

is_list_simple/1

is_list_simple([]).

is_list_simple([_|_]).

Called:

Name: extract_sec_texprs/3	Module: bmachine_structure
Name: translate_inits/3	Module: translate
Name: change_sec_texprs/5	Module: bmachine_structure

length_greater/2

length_greater(_,X) :- X<0,!.

length_greater([_|T],X) :- X1 is X-1, length_greater(T,X1).

Calls:

Name: RECURSIVE_CALL/2	Module: tools_lists
Name: is/2
Name: !
Name: </2

Called:

Name: is_extension_function_aux/2

Module: b_compiler

length_less/2

length_less([],Nr) :- Nr>0.

length_less([_|T],X) :- X>1, X1 is X-1, length_less(T,X1).

Calls:

Name: RECURSIVE_CALL/2	Module: tools_lists
Name: is/2
Name: >/2

Called:

Name: compute_cardinality/3	Module: coverage_statistics
Name: cleanup_pre/7	Module: b_ast_cleanup

member_nonvar_list/2

member_nonvar_list(X,List) :- nonvar(List), List=[H|T],
(X=H ; member_nonvar_list(X,T)).

Calls:

Name: RECURSIVE_CALL/2	Module: tools_lists
Name: =/2
Name: nonvar/1

Called:

Name: instantiated_enough/1

Module: kernel_tools

optimized_nth1/3

optimized_nth1(Nr,[Single|T],Res) :- T==[], !, Nr=1,Res=Single. % avoid a pending choice point on the stack

optimized_nth1(Nr,Whens,Res) :- nth1(Nr,Whens,Res).

Calls:

Name: nth1/3	Module: lists
Name: =/2
Name: !
Name: ==/2

Called:

Name: b_execute_statement2/8

Module: b_interpreter

ord_member_nonvar_chk/2

ord_member_nonvar_chk(X, [H|T]) :-
(X=H -> true
; X @>H -> ord_member_nonvar_chk(X,T)).

Calls:

Name: RECURSIVE_CALL/2	Module: tools_lists
Name: @>/2
Name: ->/2
Name: true
Name: =/2
Name: ->/3

Called:

Name: add_call_stack_to_span/3	Module: kernel_waitflags
Name: create_po/6	Module: well_def_analyser
Name: portray_call_stack/1	Module: kernel_waitflags
Name: create_top_level_wd_po/7	Module: well_def_analyser
Name: get_hyp_var_type/3	Module: well_def_hyps
Name: copy_wait_flag_call_stack_info/3	Module: kernel_waitflags
Name: remap_primed_ids/4	Module: b_read_write_info
Name: get_call_stack/2	Module: kernel_waitflags
Name: element_is_duplicate/2	Module: bmachine_construction
Name: inline_state/4	Module: b_global_sets
Name: contains_abstract_variables2/3	Module: bmachine_construction

ord_select_nonvar_chk/3

ord_select_nonvar_chk(X, [H|T], Res) :-
(X=H -> Res=T
; X @>H -> Res=[H|TR], ord_select_nonvar_chk(X,T,TR)).

Calls:

Name: RECURSIVE_CALL/3	Module: tools_lists
Name: =/2
Name: @>/2
Name: ->/2
Name: ->/3

ord_update_nonvar/4

ord_update_nonvar(_, [], Y, Res) :- !, Res = [Y].

ord_update_nonvar(X, [H|T], Y, Res) :-
    (X=H -> Res=[Y|T]
    ; X @>H -> Res=[H|TR], ord_update_nonvar(X,T, Y, TR)
    ; Res = [Y,H|T]).

Calls:

Name: =/2
Name: RECURSIVE_CALL/4	Module: tools_lists
Name: @>/2
Name: ->/3
Name: !

Called:

Name: push_wait_flag_call_stack_info/3

Module: kernel_waitflags

rem_dups/3

rem_dups([],_,[]).

rem_dups([H|T],AVL,Res) :-
    (avl_fetch(H,AVL) -> rem_dups(T,AVL,Res)
    ; Res=[H|TRes],
    avl_store(H,AVL,true,AVL1),
    rem_dups(T,AVL1,TRes)).

Calls:

Name: RECURSIVE_CALL/3	Module: tools_lists
Name: avl_store/4	Module: avl
Name: =/2
Name: avl_fetch/2	Module: avl
Name: ->/3

Called:

Name: remove_dups_keep_order/2

Module: tools_lists

remove_dups_keep_order/2

remove_dups_keep_order([],[]).

remove_dups_keep_order([H|T],[H|Res]) :- empty_avl(E), avl_store(H,E,true,A1),
rem_dups(T,A1,Res).

Calls:

Name: rem_dups/3	Module: tools_lists
Name: avl_store/4	Module: avl
Name: empty_avl/1	Module: avl

Called:

Name: concat_section_contents/3

Module: bmachine_construction

Determinacy Checker

Determinacy Checker:

* Non-determinate: tools_lists:member_nonvar_list/2 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: tools_lists:include_maplist/3 (clause 1)
* Indexing cannot distinguish this from clause 2.

tools_lists

prob_prolog/src/tools_lists.pl

Modules

Predicates of tools_lists

Module Information

161 Lines

23 Predicates

Imported Modules: module_information

16 Exports

7 specified Imports

Predicates:

binding/3

com_all/3

common_prefix/3

common_prefix_atom/2

conv_aux/4

convlist_max/4

count_occ_aux/3

count_occurences/2

delete_first/3

exclude_count/4

exclude_count_aux/5

get_member_option/3

include_maplist/3

is_list_simple/1

length_greater/2

length_less/2

member_nonvar_list/2

optimized_nth1/3

ord_member_nonvar_chk/2

ord_select_nonvar_chk/3

ord_update_nonvar/4

rem_dups/3

remove_dups_keep_order/2

Determinacy Checker: