VDM++ での演算 dom/rng に準拠するように（モジュール VDM_Map で）関数 dom/rng を実現します。def dom(m): """ dom m ; map A to B -> set of A ; ; Domain ; yields the domain (the set of keys) of m. """ return VDM_Set(m.dict.keys())関数 dom は、…

VDM++ での演算 rng に準拠した事例を紹介します。 m = VDM_Map({"A":1,"B":2,"C":3}) print ">>> rng %s"%(m) X = rng(m) print X; assert X == VDM_Set(range(1,4))写像 m の値域を得るには、関数 rng を利用します。このコードを実行すると、>>> rng {'A'…

VDM++ での演算 dom に準拠した事例を紹介します。 m = VDM_Map({"A":1,"B":2,"C":3}) print ">>> dom %s"%(m) X = dom(m) print X; assert X == VDM_Set("ABC")写像 m の定義域を得るには、関数 dom を利用します。このコードを実行すると、>>> dom {'A' |-…

VDM++ での map 型には、写像の定義域と値域を定義できます。VDM++ では、次のように表現します。 dom {'A' |-> 1, 'B' |-> 2, 'C' |-> 3} = {A, B, C}写像 {'A' |-> 1, 'B' |-> 2, 'C' |-> 3} の定義域は {A, B, C} になります。 rng {'A' |-> 1, 'B' |-> 2…

Shall_we_Agile = Java.use(better, Python) # Swing by VDM++《記事一覧》 Map に対する演算 《著》伊藤うさぎ《監修》小泉ひよ子とタマゴ倶楽部初出♪2004/01/29改訂♪2008/09/05