units_conversions

Module Information

Module Information

31 Lines

2 Predicates

Imported Modules:           clpfd          module_information

2 Exports

0 specified Imports

Imports	Exports
	Name:    conversion_factor/3 Name:    conversion_add/3

Predicates

Predicates:

conversion_add/3

conversion_factor/3

conversion_add/3

conversion_add/3

conversion_factor/3

conversion_factor/3

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_3803,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/unused_code/plugins/units/units_conversions.pl')])
* Non-determinate: units_conversions:conversion_factor/3 (clause 1)
* Indexing cannot distinguish this from clause 2.
* Non-determinate: units_conversions:conversion_factor/3 (clause 2)
* Indexing cannot distinguish this from clause 3.
* Non-determinate: units_conversions:conversion_factor/3 (clause 3)
* Indexing cannot distinguish this from clause 4.
* Non-determinate: units_conversions:conversion_factor/3 (clause 4)
* Indexing cannot distinguish this from clause 5.