probvm_mappings

Module Information

Module Information

19 Lines

2 Predicates

Imported Modules:           kernel_mappings          module_information

1 Exports

0 specified Imports

Imports	Exports
	Name:    probvm_binary_in_boolean_type/3

Predicates

Predicates:

map_boolean_type_name/2

probvm_binary_in_boolean_type/3

map_boolean_type_name/2

map_boolean_type_name/2

probvm_binary_in_boolean_type/3

probvm_binary_in_boolean_type/3

Determinacy Checker

Determinacy Checker:

! Existence error in argument 1 of absolute_file_name/3
! file probsrc(kernel_mappings) does not exist
! goal: absolute_file_name(probsrc(kernel_mappings),_3323,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/plugins/probvm/probvm_mappings.pl')])
! Existence error in argument 1 of absolute_file_name/3
! file probsrc(module_information) does not exist
! goal: absolute_file_name(probsrc(module_information),_3685,[access(exist),file_type(source),relative_to('/home/hudson/build/workspace/ProB PL-Documentation/prolog/plugins/probvm/probvm_mappings.pl')])