【五術堪輿學苑】

標題: 【離散類型的屬性】 [打印本頁]

作者: 豐碩    時間: 2012-10-29 15:09
標題: 【離散類型的屬性】

離散類型的屬性

 

英語翻譯:attributeofdiscretetype

 

【辭書名稱】資訊與通信術語辭典

 

Ada程式語言中,對每個離散類型T,以四個不同的函數定義其屬性。

 

例如T'POS(X)表示參數X必須為類型T的值,函數的結果是X的位置號。

 

T'VAL(N)表示參數N必須為整數,函數的結果是類型T的值,T的位置號是N。

 

 

轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary




歡迎光臨 【五術堪輿學苑】 (http://gw.wsky.ink/) Powered by Discuz! X3.1