csp_basic

Module Information

Module Information

38 Lines

5 Predicates

Imported Modules:           module_information          self_check

5 Exports

0 specified Imports

Imports	Exports
	Name:    safe_less_than/2 Name:    safe_less_than_equal/2 Name:    safe_less_than/3 Name:    safe_less_than_equal/3 Name:    enumerate_csp_int/3

Predicates

Predicates:

enumerate_csp_int/3

safe_less_than/2

safe_less_than/3

safe_less_than_equal/2

safe_less_than_equal/3

enumerate_csp_int/3

enumerate_csp_int/3

safe_less_than/2

safe_less_than/2

Block: safe_less_than(-,?) safe_less_than(?,-)

safe_less_than/3

safe_less_than/3

Block: safe_less_than(-,?,?) safe_less_than(?,-,?)

safe_less_than_equal/2

safe_less_than_equal/2

Block: safe_less_than_equal(-,?) safe_less_than_equal(?,-)

safe_less_than_equal/3

safe_less_than_equal/3

Block: safe_less_than_equal(-,?,?) safe_less_than_equal(?,-,?)

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),_3867,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/cia/csp_basic.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(self_check) does not exist
! goal: absolute_file_name(probsrc(self_check),_4981,[access(exist),file_type(source),relative_to('/builds/stups/prob/prolog_doc_gen/prolog-Doc/prob_prolog/src/cia/csp_basic.pl')])
* Non-determinate: csp_basic:enumerate_csp_int/3 (clause 1)
* This clause contains a disjunction not forced to be deterministic.