/* 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