diff sat_frontends/tools/misc.py @ 3715:b9718216a1c0 0.9

merge bookmark 0.9
author Goffi <goffi@goffi.org>
date Wed, 01 Dec 2021 16:13:31 +0100
parents 80815f2f12cf
children 524856bd7b19
line wrap: on
line diff
--- a/sat_frontends/tools/misc.py	Tue Nov 30 23:31:09 2021 +0100
+++ b/sat_frontends/tools/misc.py	Wed Dec 01 16:13:31 2021 +0100
@@ -76,6 +76,9 @@
         self._used_flags.add(flag)
         return flag in self.flags
 
+    def __getitem__(self, flag):
+        return getattr(self, flag)
+
     def __len__(self):
         return len(self.flags)