From 516bd62789213100dd5f279b52c86ec01b8524bb Mon Sep 17 00:00:00 2001 From: Lisa Rozhkova Date: Sun, 20 Nov 2022 18:52:12 +0300 Subject: [PATCH] Code refactoring: camelCase -> snake_case --- binaryRelation.py | 22 +++++++++++----------- mainWindow.py | 4 +--- 2 files changed, 12 insertions(+), 14 deletions(-) diff --git a/binaryRelation.py b/binaryRelation.py index 160f32e..98cf505 100644 --- a/binaryRelation.py +++ b/binaryRelation.py @@ -84,20 +84,20 @@ def is_order(self) -> bool: return self.is_transitive() and not self.is_symmetrical() and (self.is_reflexive() or self.is_irreflexive()) # Сделать отношение рефлексивным - def makeReflexive(self): + def make_reflexive(self): if not self.is_reflexive(): for k in self.A: if (k, k) not in self.R: self.R.append((k, k)) - def makeIrreflexive(self): + def make_irreflexive(self): if not self.is_irreflexive(): for k in self.A: if (k, k) in self.R: self.R.remove((k, k)) # Сделать отношение антисимметричным - def makeAntisymmetric(self): + def make_antisymmetric(self): if not self.is_antisymm(): for (x, y) in self.R: for (a, b) in self.R: @@ -105,7 +105,7 @@ def makeAntisymmetric(self): self.R.remove((y, x)) # Удаляем пару, которая нарушает антисимметричность # Сделать отношение несимметричным - def makeNotSymmetrical(self): + def make_not_symmetrical(self): while self.is_symmetrical(): for (x, y) in self.R: if (x != y) and ((y, x) in self.R): @@ -115,7 +115,7 @@ def makeNotSymmetrical(self): self.R.remove((x, y)) # Сделать отношение транзитивным - def makeTransitive(self): + def make_transitive(self): if not self.is_transitive(): for (a, b) in self.R: for (c, d) in self.R: @@ -123,19 +123,19 @@ def makeTransitive(self): self.R.append((a, d)) # Сделать отношением порядка - def makeOrder(self): + def make_order(self): while not self.is_order(): counter = 0 while not self.is_order() and counter < 5: if random.choice([True, False]): - self.makeNotSymmetrical() + self.make_not_symmetrical() else: - self.makeIrreflexive() - self.makeTransitive() + self.make_irreflexive() + self.make_transitive() counter += 1 if counter >= 5: - self.makeReflexive() - self.makeTransitive() + self.make_reflexive() + self.make_transitive() # Классы бинарных отношений def class_of_relation(self) -> str: diff --git a/mainWindow.py b/mainWindow.py index ec3cbd0..e3e7500 100644 --- a/mainWindow.py +++ b/mainWindow.py @@ -105,8 +105,6 @@ def output(self): self.lbl_bin_class.setText("Строгий порядок") if bin_class == "strict preorder": self.lbl_bin_class.setText("Строгий предпорядок") - if bin_class == "order": - self.lbl_bin_class.setText("Не входит ни в один класс - отношение порядка") self.resize_event() @@ -169,7 +167,7 @@ def create_random_binary_relation(self) -> BinaryRelation: def input_random_order(self): bin_rel = self.create_random_binary_relation() - bin_rel.makeOrder() + bin_rel.make_order() self.edt_setA.setText(str(bin_rel.A)[1:-1]) self.edt_setR.setText(str(bin_rel.R)[1:-1])