# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1240419782 -3600
# Node ID 4ead039747590e53fee4e13c3ba166c3cf078718
# Parent  594a07e753a0d4becb693215e8509642b6f5d6b7
util.set: Add set:empty() to discover if the set is the empty set

diff -r 594a07e753a0 -r 4ead03974759 util/set.lua
--- a/util/set.lua	Wed Apr 22 18:00:45 2009 +0100
+++ b/util/set.lua	Wed Apr 22 18:03:02 2009 +0100
@@ -91,6 +91,10 @@
 		end
 	end
 	
+	function set:empty()
+		return not next(items);
+	end
+	
 	if list then
 		set:add_list(list);
 	end