198 Lines

19 Predicates

Imported Modules: module_information

15 Exports

2 specified Imports

Imports	Exports
Name: time_out/3 Module: timeout Name: write_term_to_codes/3 Module: codesio	Name: safe_time_out/3 Name: safe_time_out_or_virtual_time_out/3 Name: no_time_out_value/1 Name: call_residue/2 Name: safe_on_exception/3 Name: safe_on_exception_silent/3 Name: reraise_important_exception/1 Name: det_call_cleanup/2 Name: frozen_member/2 Name: catch_matching/3 Name: safe_numbervars/3 Name: translate_term_into_atom/2 Name: translate_term_into_atom_with_max_depth/2 Name: translate_term_into_atom_with_max_depth/3 Name: setof4/4

Imports

Exports

Name: time_out/3

Module: timeout

Name: write_term_to_codes/3

Module: codesio

Name: safe_time_out/3

Name: safe_time_out_or_virtual_time_out/3

Name: no_time_out_value/1

Name: call_residue/2

Name: safe_on_exception/3

Name: safe_on_exception_silent/3

Name: reraise_important_exception/1

Name: det_call_cleanup/2

Name: frozen_member/2

Name: catch_matching/3

Name: safe_numbervars/3

Name: translate_term_into_atom/2

Name: translate_term_into_atom_with_max_depth/2

Name: translate_term_into_atom_with_max_depth/3

Name: setof4/4

call_residue/2

Meta: call_residue(0,*)

catch_matching/3

Meta: catch_matching(0,*,0)

det_call_cleanup/2

Meta: det_call_cleanup(0,0)

flatten_conj/3

frozen_mem_aux/2

frozen_member/2

get_merged_solution/3

merge_sols/4

no_time_out_value/1

reraise_important_exception/1

safe_numbervars/3

safe_on_exception/3

Meta: safe_on_exception(*,0,0)

safe_on_exception_silent/3

Meta: safe_on_exception_silent(*,0,0)

safe_time_out/3

Meta: safe_time_out(0,*,*)

safe_time_out_or_virtual_time_out/3

Meta: safe_time_out_or_virtual_time_out(0,*,*)

setof4/4

Meta: setof4(*,*,0,*)

translate_term_into_atom/2

translate_term_into_atom_with_max_depth/2

translate_term_into_atom_with_max_depth/3

Determinacy Checker

Determinacy Checker:

* Non-determinate: tools_meta:safe_time_out/3 (clause 2)
* Calls nondet predicate tools_meta:time_out/3 .
* Non-determinate: tools_meta:frozen_mem_aux/2 (clause 1)
* This clause contains a disjunction not forced to be deterministic.
* Non-determinate: tools_meta:get_merged_solution/3 (clause 1)
* This clause contains a disjunction not forced to be deterministic.

Name: flatten_conj/3	Module: tools_meta
Name: frozen/2
Name: call_residue_vars/2

Name: probcli_clpfd_overflow_call1/1	Module: eval_strings
Name: specfile_trans/6	Module: specfile
Name: solve_components/3	Module: solver_interface
Name: cb_finalize_path_with_timeout/8	Module: sap
Name: not_with_enum_warning2/4	Module: delay
Name: call_residue_check/1	Module: predicate_evaluator
Name: eval_codes/6	Module: eval_strings
Name: partial_trans/4	Module: specfile
Name: must_succeed_multiple_without_residue/1	Module: self_check
Name: residue_check_call/1	Module: self_check
Name: solve_typed_pred_using_smt_solver/4	Module: eval_strings
Name: test_bool_exists/5	Module: eval_strings
Name: probcli_clpfd_overflow_mnf_call1/1	Module: eval_strings

Name: =/2
Name: RECURSIVE_CALL/3	Module: tools_meta
Name: !

Name: frozen_mem_aux/2	Module: tools_meta
Name: frozen/2
Name: var/1

Name: RECURSIVE_CALL/3	Module: tools_meta
Name: =/2
Name: merge_sols/4	Module: tools_meta

tools_meta

prob_prolog/src/tools_meta.pl

Modules

Predicates of tools_meta

Module Information