Skip to content

Commit

Permalink
s/exs/exprs/
Browse files Browse the repository at this point in the history
  • Loading branch information
cjdrake committed Jun 18, 2015
1 parent f0c9038 commit 1a3d973
Show file tree
Hide file tree
Showing 6 changed files with 12 additions and 11 deletions.
2 changes: 1 addition & 1 deletion extension/boolexpr/binary.c
Original file line number Diff line number Diff line change
Expand Up @@ -74,7 +74,7 @@ _eq_binify(struct BoolExpr *op)

CHECK_NULL_N(temp, BX_And(length, xs), length, xs);

_bx_free_exs(length, xs);
_bx_free_exprs(length, xs);

CHECK_NULL_1(y, _commutative_binify(temp), temp);
BX_DecRef(temp);
Expand Down
4 changes: 2 additions & 2 deletions extension/boolexpr/bubble.c
Original file line number Diff line number Diff line change
Expand Up @@ -40,7 +40,7 @@ _inv_or(struct BoolExpr *op)

y = BX_And(length, xs);

_bx_free_exs(length, xs);
_bx_free_exprs(length, xs);

return y;
}
Expand Down Expand Up @@ -70,7 +70,7 @@ _inv_and(struct BoolExpr *op)

y = BX_Or(length, xs);

_bx_free_exs(length, xs);
_bx_free_exprs(length, xs);

return y;
}
Expand Down
2 changes: 1 addition & 1 deletion extension/boolexpr/compose.c
Original file line number Diff line number Diff line change
Expand Up @@ -73,7 +73,7 @@ _op_compose(struct BoolExpr *op, struct BX_Dict *var2ex)
else
y = BX_IncRef(op);

_bx_free_exs(length, xs);
_bx_free_exprs(length, xs);

return y;
}
Expand Down
2 changes: 1 addition & 1 deletion extension/boolexpr/nnf.c
Original file line number Diff line number Diff line change
Expand Up @@ -177,7 +177,7 @@ _eq_nnfify(struct BoolExpr *op)

CHECK_NULL_N(all0, BX_And(length, xns), length, xns);

_bx_free_exs(length, xns);
_bx_free_exprs(length, xns);

CHECK_NULL_1(all1, BX_And(length, xs), all0);
y = BX_OrN(2, all0, all1);
Expand Down
11 changes: 6 additions & 5 deletions extension/boolexpr/util.c
Original file line number Diff line number Diff line change
Expand Up @@ -14,11 +14,12 @@


void
_bx_free_exs(int n, struct BoolExpr **exs)
_bx_free_exprs(int length, struct BoolExpr **exprs)
{
for (size_t i = 0; i < n; ++i)
BX_DecRef(exs[i]);
free(exs);
for (size_t i = 0; i < length; ++i)
BX_DecRef(exprs[i]);

free(exprs);
}


Expand All @@ -44,7 +45,7 @@ _bx_op_transform(struct BoolExpr *op, struct BoolExpr * (*fn)(struct BoolExpr *)
else
y = BX_IncRef(op);

_bx_free_exs(length, xs);
_bx_free_exprs(length, xs);

return y;
}
Expand Down
2 changes: 1 addition & 1 deletion extension/boolexpr/util.h
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
*/


void _bx_free_exs(int n, struct BoolExpr **exs);
void _bx_free_exprs(int length, struct BoolExpr **exprs);

struct BoolExpr * _bx_op_transform(struct BoolExpr *op,
struct BoolExpr * (*fn)(struct BoolExpr *));
Expand Down

0 comments on commit 1a3d973

Please sign in to comment.