如何从集合中获取特定元素 - PlusCal
How to get a specific element from the set - PlusCal
给定集合，例如 {1, 2, 4, 10, 6} 我怎样才能将元素 4 赋给变量 var。
我想要的是从集合中获取元素“4”到变量 var：var = 4
并从集合中删除元素 4：set = {1, 2, 10, 6}
根据评论，听起来您想要这样：
with x \in set do
var := x;
set := set \ {x};
end with;
给定集合，例如 {1, 2, 4, 10, 6} 我怎样才能将元素 4 赋给变量 var。 我想要的是从集合中获取元素“4”到变量 var：var = 4 并从集合中删除元素 4：set = {1, 2, 10, 6}
根据评论，听起来您想要这样：
with x \in set do
var := x;
set := set \ {x};
end with;