From 664a33ddf607e09d80c131db14833ebefadf4193 Mon Sep 17 00:00:00 2001
From: "Hsieh, Chiao" <chsieh16@illinois.edu>
Date: Sun, 21 Aug 2022 09:56:57 -0500
Subject: [PATCH] Fix typo in function name
---
dtree_teacher_gem_stanley.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/dtree_teacher_gem_stanley.py b/dtree_teacher_gem_stanley.py
index bc5b383..212f123 100644
--- a/dtree_teacher_gem_stanley.py
+++ b/dtree_teacher_gem_stanley.py
@@ -77,7 +77,7 @@ class DTreeGEMStanleyGurobiTeacher(GEMStanleyGurobiTeacher):
gp_cons = self._gp_model.addConstr(cons)
self._prev_candidate_constr.append(gp_cons)
- def _candidate_to_conjucts(self, candidate: z3.BoolRef):
+ def _candidate_to_conjuncts(self, candidate: z3.BoolRef):
init_path = [candidate]
stack = [init_path]
while stack:
@@ -117,7 +117,7 @@ class DTreeGEMStanleyGurobiTeacher(GEMStanleyGurobiTeacher):
def check(self, candidate: z3.BoolRef) -> z3.CheckSatResult:
self._cexs.clear()
- conjunct_iter = self._candidate_to_conjucts(candidate)
+ conjunct_iter = self._candidate_to_conjuncts(candidate)
print("Checking candidate", flush=True)
for conjunct in conjunct_iter:
# print(".", end='', flush=True)
--
GitLab