事例：演算 union/inter

Jython VDM++

VDM++ での演算 union/inter に準拠した事例を紹介します。

    s1 = VDM_Set(range(1,3))

    s2 = VDM_Set(range(2,4))

    print "s1: %s"%s1

    print "s2: %s"%s2

    print  ">>> s1 union s2"

    print       s1.union(s2)

集合 s1 および s2 の和集合を得るには、メソッド union を利用します。このコードを実行すると、

s1: {1, 2}

s2: {2, 3}

>>> s1 union s2

{1, 2, 3}

和集合は {1, 2, 3} になります。

    s1 = VDM_Set(range(1,3))

    s2 = VDM_Set(range(2,4))

    print "s1: %s"%s1

    print "s2: %s"%s2

    print  ">>> s1 inter s2"

    print       s1.inter(s2)

集合 s1 および s2 の積集合を得るには、メソッド inter を利用します。このコードを実行すると、

s1: {1, 2}

s2: {2, 3}

>>> s1 inter s2

{2}

積集合は {3} になります。