From 282f50bbf8e40e6fee12e0ff62ad863e4738efd3 Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@cifrid.net>
Date: Wed, 13 Sep 2023 20:21:05 +0100
Subject: [PATCH] Fixed automaton scaling

---
 examples/bdd/generators/gen_drs.py | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/examples/bdd/generators/gen_drs.py b/examples/bdd/generators/gen_drs.py
index a10f197..67450d7 100755
--- a/examples/bdd/generators/gen_drs.py
+++ b/examples/bdd/generators/gen_drs.py
@@ -94,14 +94,14 @@ class Automaton:
 
 
 class DRSGenerator:
-    def __init__(self, x, y, z, aut, n):
+    def __init__(self, x, y, z, aut):
         assert y >= z
         assert x >= 2 and y >= 2 and z >= 2
         self.x = x
         self.y = y
         self.z = z
         self.aut_id = aut
-        self.n = n
+        self.n = self.y
         self.reactions = {}
 
         self.automaton = Automaton()
@@ -274,8 +274,8 @@ class DRSGenerator:
 
 
 def main():
-    if len(sys.argv) < 1 + 5:
-        print(f"Usage: {sys.argv[0]} <x> <y> <z> <Aut> <n>")
+    if len(sys.argv) < 1 + 4:
+        print(f"Usage: {sys.argv[0]} <x> <y> <z> <Aut>")
         print("\twhere x,y,z >= 2 and y >= z")
         print("\tAut: a, b")
         sys.exit(1)
@@ -285,7 +285,6 @@ def main():
         y=int(sys.argv[2]),
         z=int(sys.argv[3]),
         aut=sys.argv[4],
-        n=int(sys.argv[5]),
     )