Reorganize some header file stuff

cjdrake · Jul 5, 2015 · 5e72231 · 5e72231
1 parent c3dad44
commit 5e72231
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/extension/boolexpr/boolexpr.h b/extension/boolexpr/boolexpr.h
@@ -216,6 +216,10 @@ struct BoolExpr * BX_Xnor(size_t n, struct BoolExpr **xs);
 struct BoolExpr * BX_Equal(size_t n, struct BoolExpr **xs);
 struct BoolExpr * BX_Unequal(size_t n, struct BoolExpr **xs);
 
+struct BoolExpr * BX_Not(struct BoolExpr *x);
+struct BoolExpr * BX_Implies(struct BoolExpr *p, struct BoolExpr *q);
+struct BoolExpr * BX_ITE(struct BoolExpr *s, struct BoolExpr *d1, struct BoolExpr *d0);
+
 struct BoolExpr * BX_OrN(size_t n, ...);
 struct BoolExpr * BX_NorN(size_t n, ...);
 struct BoolExpr * BX_AndN(size_t n, ...);
@@ -225,10 +229,6 @@ struct BoolExpr * BX_XnorN(size_t n, ...);
 struct BoolExpr * BX_EqualN(size_t n, ...);
 struct BoolExpr * BX_UnequalN(size_t n, ...);
 
-struct BoolExpr * BX_Not(struct BoolExpr *x);
-struct BoolExpr * BX_Implies(struct BoolExpr *p, struct BoolExpr *q);
-struct BoolExpr * BX_ITE(struct BoolExpr *s, struct BoolExpr *d1, struct BoolExpr *d0);
-
 
 /*
 ** Increment the reference count of an expression.