425 Lines

85 Predicates

Imported Modules: softfloat/softfloat

84 Exports

19 specified Imports

Imports	Exports
Name: construct_real/2 Module: kernel_reals Name: is_largest_positive_float/1 Module: kernel_reals Name: is_smallest_positive_float/1 Module: kernel_reals Name: is_next_larger_float/2 Module: kernel_reals Name: is_next_smaller_float/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/5 Module: kernel_reals Name: real_power_of_wf/5 Module: kernel_reals Name: real_unary_minus_wf/3 Module: kernel_reals Name: convert_int_to_real/2 Module: kernel_reals Name: real_round_wf/3 Module: kernel_reals Name: real_unop_wf/4 Module: kernel_reals Name: real_unop_wf/5 Module: kernel_reals Name: real_binop_wf/6 Module: kernel_reals Name: real_comp_wf/5 Module: kernel_reals Name: real_maximum_of_set/4 Module: kernel_reals Name: real_minimum_of_set/4 Module: kernel_reals	Name: STRING_TO_REAL/3 Name: RADD/4 Name: RSUB/4 Name: RMUL/4 Name: RDIV/5 Name: RINV/4 Name: RPI/1 Name: RZERO/1 Name: RONE/1 Name: REULER/1 Name: REPSILON/1 Name: RMAXFLOAT/1 Name: RSIN/3 Name: RCOS/3 Name: RTAN/3 Name: RCOT/3 Name: RSINH/3 Name: RCOSH/3 Name: RTANH/3 Name: RCOTH/3 Name: RASIN/3 Name: RACOS/3 Name: RATAN/3 Name: RACOT/3 Name: RASINH/3 Name: RACOSH/3 Name: RATANH/3 Name: RACOTH/3 Name: RATAN2/5 Name: RADIANS/4 Name: DEGREE/4 Name: RUMINUS/3 Name: REXP/3 Name: RLOGe/4 Name: RSQRT/4 Name: RABS/3 Name: ROUND/3 Name: RSIGN/3 Name: RINTEGER/3 Name: RFRACTION/3 Name: RMAX/5 Name: RMIN/5 Name: RPOW/5 Name: RLOG/5 Name: RDECIMAL/5 Name: RLT/4 Name: REQ/4 Name: RNEQ/4 Name: RLEQ/4 Name: RGT/4 Name: RGEQ/4 Name: RMAXIMUM/4 Name: RMINIMUM/4 Name: RNEXT/2 Name: RPREV/2 Name: SFADD16/3 Name: SFSUB16/3 Name: SFMUL16/3 Name: SFDIV16/3 Name: SFSQRT16/2 Name: SFMULADD16/4 Name: SFADD32/3 Name: SFSUB32/3 Name: SFMUL32/3 Name: SFDIV32/3 Name: SFSQRT32/2 Name: SFMULADD32/4 Name: SFADD64/3 Name: SFSUB64/3 Name: SFMUL64/3 Name: SFDIV64/3 Name: SFSQRT64/2 Name: SFMULADD64/4 Name: SFADD80/3 Name: SFSUB80/3 Name: SFMUL80/3 Name: SFDIV80/3 Name: SFSQRT80/2 Name: SFADD128/3 Name: SFSUB128/3 Name: SFMUL128/3 Name: SFDIV128/3 Name: SFSQRT128/2 Name: SFMULADD128/4

Imports

Exports

Name: construct_real/2

Module: kernel_reals

Name: is_largest_positive_float/1

Module: kernel_reals

Name: is_smallest_positive_float/1

Module: kernel_reals

Name: is_next_larger_float/2

Module: kernel_reals

Name: is_next_smaller_float/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/5

Module: kernel_reals

Name: real_power_of_wf/5

Module: kernel_reals

Name: real_unary_minus_wf/3

Module: kernel_reals

Name: convert_int_to_real/2

Module: kernel_reals

Name: real_round_wf/3

Module: kernel_reals

Name: real_unop_wf/4

Module: kernel_reals

Name: real_unop_wf/5

Module: kernel_reals

Name: real_binop_wf/6

Module: kernel_reals

Name: real_comp_wf/5

Module: kernel_reals

Name: real_maximum_of_set/4

Module: kernel_reals

Name: real_minimum_of_set/4

Module: kernel_reals

Name: STRING_TO_REAL/3

Name: RADD/4

Name: RSUB/4

Name: RMUL/4

Name: RDIV/5

Name: RINV/4

Name: RPI/1

Name: RZERO/1

Name: RONE/1

Name: REULER/1

Name: REPSILON/1

Name: RMAXFLOAT/1

Name: RSIN/3

Name: RCOS/3

Name: RTAN/3

Name: RCOT/3

Name: RSINH/3

Name: RCOSH/3

Name: RTANH/3

Name: RCOTH/3

Name: RASIN/3

Name: RACOS/3

Name: RATAN/3

Name: RACOT/3

Name: RASINH/3

Name: RACOSH/3

Name: RATANH/3

Name: RACOTH/3

Name: RATAN2/5

Name: RADIANS/4

Name: DEGREE/4

Name: RUMINUS/3

Name: REXP/3

Name: RLOGe/4

Name: RSQRT/4

Name: RABS/3

Name: ROUND/3

Name: RSIGN/3

Name: RINTEGER/3

Name: RFRACTION/3

Name: RMAX/5

Name: RMIN/5

Name: RPOW/5

Name: RLOG/5

Name: RDECIMAL/5

Name: RLT/4

Name: REQ/4

Name: RNEQ/4

Name: RLEQ/4

Name: RGT/4

Name: RGEQ/4

Name: RMAXIMUM/4

Name: RMINIMUM/4

Name: RNEXT/2

Name: RPREV/2

Name: SFADD16/3

Name: SFSUB16/3

Name: SFMUL16/3

Name: SFDIV16/3

Name: SFSQRT16/2

Name: SFMULADD16/4

Name: SFADD32/3

Name: SFSUB32/3

Name: SFMUL32/3

Name: SFDIV32/3

Name: SFSQRT32/2

Name: SFMULADD32/4

Name: SFADD64/3

Name: SFSUB64/3

Name: SFMUL64/3

Name: SFDIV64/3

Name: SFSQRT64/2

Name: SFMULADD64/4

Name: SFADD80/3

Name: SFSUB80/3

Name: SFMUL80/3

Name: SFDIV80/3

Name: SFSQRT80/2

Name: SFADD128/3

Name: SFSUB128/3

Name: SFMUL128/3

Name: SFDIV128/3

Name: SFSQRT128/2

Name: SFMULADD128/4

Predicates

Predicates:

block_construct_real/2

DEGREE/4

Block: DEGREE(-,?,?,?)

Block: RABS(-,?,?)

Block: RACOS(-,?,?)

Block: RACOSH(-,?,?)

Block: RACOT(-,?,?)

Block: RACOTH(-,?,?)

Block: RADIANS(-,?,?,?)

Block: RASIN(-,?,?)

Block: RASINH(-,?,?)

Block: RATAN(-,?,?)

Block: RATANH(-,?,?)

Block: RCOS(-,?,?)

Block: RCOSH(-,?,?)

Block: RCOT(-,?,?)

Block: RCOTH(-,?,?)

Block: REXP(-,?,?)

Block: RFRACTION(-,?,?)

RGEQ/4

RGT/4

RINTEGER/3

Block: RINTEGER(-,?,?)

Block: RLOGe(-,?,?,?)

Block: ROUND(-,?,?)

Block: RSIGN(-,?,?)

Block: RSIN(-,?,?)

Block: RSINH(-,?,?)

Block: RSQRT(-,?,?,?)

Block: RTAN(-,?,?)

Block: RTANH(-,?,?)

Block: RUMINUS(-,?,?)

Block: STRING_TO_REAL(-,?,?)

block_construct_real/2

Block: block_construct_real(-,?)

Determinacy Checker

Determinacy Checker:

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

Name: RMUL/4	Module: external_functions_reals
Name: RDIV/5	Module: external_functions_reals
Name: RPI/1	Module: external_functions_reals
Name: =/2

Name: RMUL/4	Module: external_functions_reals
Name: RPI/1	Module: external_functions_reals
Name: RDIV/5	Module: external_functions_reals
Name: =/2

Name: add128/6	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: add16/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: add32/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: add64/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: add80/6	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: div128/6	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: div16/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: div32/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: div64/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: div80/6	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: mul128/6	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: mul16/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: mul32/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: mul64/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: mul80/6	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: muladd128/8	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: muladd16/4	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: muladd32/4	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: muladd64/4	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: sqrt128/4	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: sqrt16/2	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: sqrt32/2	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: sqrt64/2	Module: foo_error
Name: init_softfloat	Module: foo_error

prob_prolog/src/extra/external_functions_reals.pl

Modules

Predicates of external_functions_reals

Module Information

425 Lines

85 Predicates

Imported Modules: softfloat/softfloat

84 Exports

19 specified Imports

Predicates:

Determinacy Checker:

Name: sqrt80/4	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: sub128/6	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: sub16/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: sub32/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: sub64/3	Module: foo_error
Name: init_softfloat	Module: foo_error

Name: sub80/6	Module: foo_error
Name: init_softfloat	Module: foo_error