next up previous contents
Next: HPF_NUMBER_MAPPED(ARRAYPROCESSORS_DIM, NUMBER_MAPPED) Up: Specifications of Extended Library Previous: HPF_MAP_ARRAY(ARRAYTEMPLATE_DIM, MAP_ARRAY)

HPF_NUMBER_MAPPED(ARRAY, PROCESSORS_DIM,
NUMBER_MAPPED)