external_functions_softfloat.pl

Module Information

Module Information

41 Lines

5 Predicates

0 Exports

10 Imports

Imports

Exports

Name:    construct_real/2 Module:    kernel_reals Name:    real_addition_wf/4 Module:    kernel_reals Name:    real_subtraction_wf/4 Module:    kernel_reals Name:    real_multiplication_wf/4 Module:    kernel_reals Name:    real_division_wf/4 Module:    kernel_reals Name:    real_power_of_wf/5 Module:    kernel_reals Name:    real_round_wf/3 Module:    kernel_reals Name:    real_unop_wf/4 Module:    kernel_reals Name:    real_binop_wf/5 Module:    kernel_reals Name:    real_comp_wf/5 Module:    kernel_reals

Predicates

Predicates:

CAD/3

SFADD16/5

STRING_TO_REAL/3

expects_waitflag/1

external_fun_type/3

CAD/3

CAD/3

SFADD16/5

SFADD16/5

STRING_TO_REAL/3

STRING_TO_REAL/3

Block: STRING_TO_REAL(-,?,?)

expects_waitflag/1

expects_waitflag/1

external_fun_type/3

external_fun_type/3

Determinacy Checker

Determinacy Checker:

! 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 user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(plspec_patch_libraries,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(plspec_patch_libraries,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(no_terminal_colors,true)
! 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_debug_flag,true)
! Existence error in debug:global_debug_flag/0
! procedure debug:global_debug_flag/0 does not exist
! goal: debug:global_debug_flag
! Existence error in debug:use_timer/0
! procedure debug:use_timer/0 does not exist
! goal: debug:use_timer
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(prob_core_only,true)
! Existence error in user:environ/2
! procedure user:environ/2 does not exist
! goal: user:environ(disable_chr,true)
! Existence error in argument 1 of absolute_file_name/3
! file extension('counter/counter') does not exist
! goal: absolute_file_name(extension('counter/counter'),_9427,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/error_manager.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file covsrc(coverage_tools_annotations) does not exist
! goal: absolute_file_name(covsrc(coverage_tools_annotations),_9549,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/kernel_waitflags.pl')])
! warning: predicate user:external_fun_type/3 is discontiguous.
! Some nondeterminism may have been missed.
! Add (or move) the directive
! :- discontiguous user:external_fun_type/3 .
! near the top of this file.