Skip to content

Commit 1b8fdbe

Browse files
committed
A bit more consistent code
1 parent 9f41c04 commit 1b8fdbe

File tree

1 file changed

+4
-6
lines changed

1 file changed

+4
-6
lines changed

context_operator.py

Lines changed: 4 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -81,18 +81,18 @@ def cross_ctxs_right(self, facts, pot_new_zero_level_ctx):
8181
for lsemi_ctx in self.left.crossed_semi_ctxs:
8282
for rsemi_ctx_id, ctx_id in lsemi_ctx.rsemi_ctx_id_to_ctx_id.iteritems():
8383

84-
if self.new_ctx_id != ctx_id:
84+
if ctx_id != self.new_ctx_id:
8585
ctx = self.ctxs[ctx_id]
8686
rsemi_ctx = self.right.semi_ctxs[rsemi_ctx_id]
8787

88-
if lsemi_ctx.init_nfacts == len(lsemi_ctx.facts):
88+
if len(lsemi_ctx.facts) == lsemi_ctx.init_nfacts:
8989
num_selected_ctx += 1
9090
ctx.c0 += rsemi_ctx.init_nfacts
9191

9292
if rsemi_ctx.facts:
9393
ctx.c1 += len(rsemi_ctx.facts)
9494

95-
if rsemi_ctx.init_nfacts == len(rsemi_ctx.facts):
95+
if len(rsemi_ctx.facts) == rsemi_ctx.init_nfacts:
9696
ctx.num_activations += 1
9797
active_ctxs.append(ActiveCtx(ctx_id, ctx.num_activations))
9898

@@ -142,15 +142,13 @@ def _add_ctxs_by_facts(self, new_ctxs, zerolevel):
142142
ctx_id = self.left.semi_ctxs[lsemi_ctx_id].rsemi_ctx_id_to_ctx_id.setdefault(rsemi_ctx_id, next_free_ctx_id_number)
143143

144144
if ctx_id == next_free_ctx_id_number:
145-
num_added_ctxs += 1
146145
ctx = Ctx(0, 0, 0, right_facts, zerolevel)
147-
148146
self.ctxs.append(ctx)
147+
num_added_ctxs += 1
149148
if zerolevel:
150149
self.new_ctx_id = ctx_id
151150
else:
152151
ctx = self.ctxs[ctx_id]
153-
154152
if zerolevel:
155153
ctx.zerolevel = True
156154

0 commit comments

Comments
 (0)