1 files changed, 24 insertions, 0 deletions
diff --git a/libnormalform_clause_cmp__.c b/libnormalform_clause_cmp__.c
new file mode 100644
index 0000000..407ea11
--- /dev/null
+++ b/libnormalform_clause_cmp__.c
@@ -0,0 +1,24 @@
+/* See LICENSE file for copyright and license details. */
+#include "common.h"
+#ifndef TEST
+
+
+int
+(libnormalform_clause_cmp__)(struct expression *a, struct expression *b)
+{
+	size_t i = 0, j = 0, n = a->nterms, m = b->nterms;
+	int cmp;
+	for (; i < n && j < m; i++, j++) {
+		cmp = libnormalform_literal_cmp__(a->terms[i], b->terms[j]);
+		if (cmp)
+			return cmp;
+	}
+	return (i < n) - (j < m);
+}
+
+
+#else
+
+TODO_TEST
+
+#endif