Refactor some names, whitespace

cjdrake · Jun 18, 2015 · 1291e11 · 1291e11
1 parent 1a3d973
commit 1291e11
Show file tree

Hide file tree

Showing 6 changed files with 14 additions and 8 deletions.
diff --git a/extension/boolexpr/binary.c b/extension/boolexpr/binary.c
@@ -90,7 +90,8 @@ _fixed_binify(struct BoolExpr *op)
 }
 
 
-static struct BoolExpr * (*_op_binify[16])(struct BoolExpr *ex) = {
+static struct BoolExpr *
+(*_op_binify[16])(struct BoolExpr *ex) = {
     NULL, NULL, NULL, NULL,
     NULL, NULL, NULL, NULL,
 

diff --git a/extension/boolexpr/boolexpr.c b/extension/boolexpr/boolexpr.c
@@ -385,7 +385,8 @@ static struct BoolExpr * _op_inv(struct BoolExpr *op)
 }
 
 
-static struct BoolExpr * (*_boolexpr_inv[16])(struct BoolExpr *ex) = {
+static struct BoolExpr *
+(*_boolexpr_inv[16])(struct BoolExpr *ex) = {
     _zero_inv,
     _one_inv,
     _log_inv,
@@ -520,7 +521,8 @@ BX_IncRef(struct BoolExpr *ex)
 }
 
 
-static void (*_boolexpr_del[16])(struct BoolExpr * ex) = {
+static void
+(*_boolexpr_del[16])(struct BoolExpr * ex) = {
     NULL, NULL, NULL, NULL,
 
     _lit_del,

diff --git a/extension/boolexpr/compose.c b/extension/boolexpr/compose.c
@@ -79,7 +79,8 @@ _op_compose(struct BoolExpr *op, struct BX_Dict *var2ex)
 }
 
 
-static struct BoolExpr * (*_compose[16])(struct BoolExpr *ex, struct BX_Dict *var2ex) = {
+static struct BoolExpr *
+(*_compose[16])(struct BoolExpr *ex, struct BX_Dict *var2ex) = {
     _const_compose,
     _const_compose,
     _const_compose,

diff --git a/extension/boolexpr/nnf.c b/extension/boolexpr/nnf.c
@@ -281,7 +281,8 @@ _ite_nnfify(struct BoolExpr *op)
 }
 
 
-static struct BoolExpr * (*_op_nnfify[16])(struct BoolExpr *op) = {
+static struct BoolExpr *
+(*_op_nnfify[16])(struct BoolExpr *op) = {
     NULL, NULL, NULL, NULL,
     NULL, NULL, NULL, NULL,
 

diff --git a/extension/boolexpr/set.c b/extension/boolexpr/set.c
@@ -394,9 +394,9 @@ BX_Set_ToExprs(struct BX_Set *set)
     if (exprs == NULL)
         return NULL; // LCOV_EXCL_LINE
 
-    for (size_t i = 0, count = 0; i < _primes[set->_pridx]; ++i) {
+    for (size_t i = 0, index = 0; i < _primes[set->_pridx]; ++i) {
         for (struct BX_SetItem *item = set->items[i]; item; item = item->tail)
-            exprs[count++] = item->key;
+            exprs[index++] = item->key;
     }
 
     return exprs;

diff --git a/extension/boolexpr/simple.c b/extension/boolexpr/simple.c
@@ -502,7 +502,8 @@ _ite_simplify(struct BoolExpr *op)
 }
 
 
-static struct BoolExpr * (*_op_simplify[16])(struct BoolExpr *op) = {
+static struct BoolExpr *
+(*_op_simplify[16])(struct BoolExpr *op) = {
     NULL, NULL, NULL, NULL,
     NULL, NULL, NULL, NULL,