事例：演算 <:

VDM++ での演算 <: に準拠した事例（VDM_Map.domTo）を紹介します。

    m = VDM_Map({"A":1,"B":2})

    s = VDM_Set(["A","C"])

    print ">>> %s <: %s"%(s,m)
    X = m.domTo(s)

    print X; assert X == VDM_Map({"A":1})

写像 m の定義域を集合 s の要素に限定した写像を得るには、メソッド domTo を利用します。このコードを実行すると、

>>> {'A', 'C'} <: {'A' |-> 1, 'B' |-> 2}

{'A' |-> 1}

定義域を限定した写像は {'A' |-> 1} になります。