From 4e6662716a6695ee5a27eb8a94843483230c5082 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Paulev=C3=A9?= <loic.pauleve@ens-cachan.org>
Date: Tue, 26 Jan 2021 12:13:08 +0100
Subject: [PATCH] minibn: add sequential update mode

---
 colomoto/minibn.py | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/colomoto/minibn.py b/colomoto/minibn.py
index 866e3da..9801158 100644
--- a/colomoto/minibn.py
+++ b/colomoto/minibn.py
@@ -703,3 +703,8 @@ def __call__(self, x):
             for i in I:
                 y[i] = z[i]
         yield y
+
+
+class SequentialUpdateModeDynamics(BlockSequentialUpdateModeDynamics):
+    def __init__(self, sequence, model):
+        super().__init__([(i,) for i in sequence], model)