如何从集合中获取特定元素 - PlusCal

问题描述

给定集合，例如 {1,2,4,10,6} 如何将元素 4 获取到变量 var。 我想要的是从集合中获取元素“4”到变量 var：var = 4 并从集合中移除元素 4：set = {1,6}

解决方法

根据评论，您似乎想要这样：

with x \in set do
   var := x;
   set := set \ {x};
end with;