Fixed TSet proc names to conform with set

This commit is contained in:
Felix Krause 2014-06-26 20:48:13 +02:00
commit ac3f872fa3
2 changed files with 14 additions and 14 deletions

View file

@ -8,8 +8,8 @@ let
block union:
let
s1_s2 = union(s1, s2)
s1_s3 = s1 or s3
s2_s3 = s2 or s3
s1_s3 = s1 + s3
s2_s3 = s2 + s3
assert s1_s2.len == 7
assert s1_s3.len == 8
@ -25,14 +25,14 @@ block union:
assert i in s1_s3
assert i in s2_s3
assert((s1 or s1) == s1)
assert((s2 or s1) == s1_s2)
assert((s1 + s1) == s1)
assert((s2 + s1) == s1_s2)
block intersection:
let
s1_s2 = intersection(s1, s2)
s1_s3 = intersection(s1, s3)
s2_s3 = s2 and s3
s2_s3 = s2 * s3
assert s1_s2.len == 3
assert s1_s3.len == 0
@ -48,14 +48,14 @@ block intersection:
assert i in s2
assert i in s3
assert((s2 and s2) == s2)
assert((s3 and s2) == s2_s3)
assert((s2 * s2) == s2)
assert((s3 * s2) == s2_s3)
block symmetricDifference:
let
s1_s2 = symmetricDifference(s1, s2)
s1_s3 = s1 xor s3
s2_s3 = s2 xor s3
s1_s3 = s1 -+- s3
s2_s3 = s2 -+- s3
assert s1_s2.len == 4
assert s1_s3.len == 8
@ -71,8 +71,8 @@ block symmetricDifference:
assert i in s1_s3 xor i in s1
assert i in s2_s3 xor i in s2
assert((s3 xor s3) == initSet[int]())
assert((s3 xor s1) == s1_s3)
assert((s3 -+- s3) == initSet[int]())
assert((s3 -+- s1) == s1_s3)
block disjoint:
assert(not disjoint(s1, s2))