diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-11-09 16:36:33 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-10 00:36:33 +0000 |
| commit | 68d6329d38af159afa7dc9542ef8e04e4d5a3773 (patch) | |
| tree | 1f6e35d1d58e63f2b8b436dedccf152414439a58 /examples/api/python/sets.py | |
| parent | eea329d3e061e1e0e98585f8b68c8db851b46513 (diff) | |
sets: Rename set.intersection to set.inter. (#7622)
This further renames kind SET_INTERSECTION to SET_INTER.
Diffstat (limited to 'examples/api/python/sets.py')
| -rw-r--r-- | examples/api/python/sets.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/examples/api/python/sets.py b/examples/api/python/sets.py index bf487c617..31f20dfeb 100644 --- a/examples/api/python/sets.py +++ b/examples/api/python/sets.py @@ -40,10 +40,10 @@ if __name__ == "__main__": C = slv.mkConst(set_, "C") unionAB = slv.mkTerm(kinds.SetUnion, A, B) - lhs = slv.mkTerm(kinds.SetIntersection, unionAB, C) + lhs = slv.mkTerm(kinds.SetInter, unionAB, C) - intersectionAC = slv.mkTerm(kinds.SetIntersection, A, C) - intersectionBC = slv.mkTerm(kinds.SetIntersection, B, C) + intersectionAC = slv.mkTerm(kinds.SetInter, A, C) + intersectionBC = slv.mkTerm(kinds.SetInter, B, C) rhs = slv.mkTerm(kinds.SetUnion, intersectionAC, intersectionBC) theorem = slv.mkTerm(kinds.Equal, lhs, rhs) @@ -72,7 +72,7 @@ if __name__ == "__main__": singleton_three = slv.mkTerm(kinds.SetSingleton, three) one_two = slv.mkTerm(kinds.SetUnion, singleton_one, singleton_two) two_three = slv.mkTerm(kinds.SetUnion, singleton_two, singleton_three) - intersection = slv.mkTerm(kinds.SetIntersection, one_two, two_three) + intersection = slv.mkTerm(kinds.SetInter, one_two, two_three) x = slv.mkConst(integer, "x") |