/* See LICENSE file for copyright and license details. */
#include "common.h"
#ifndef TEST


int
(libnormalform_contains_clause__)(struct expression *this, struct expression *clause, size_t ignore)
{
	size_t i;
	int cmp;
	if (ignore > this->nterms)
		ignore = this->nterms;
	for (i = 0; i < ignore; i++) {
		cmp = libnormalform_clause_cmp__(clause, this->terms[i]);
		if (cmp >= 0)
			return !cmp;
	}
	for (i++; i < this->nterms; i++) {
		cmp = libnormalform_clause_cmp__(clause, this->terms[i]);
		if (cmp >= 0)
			return !cmp;
	}
	return 0;
}


#else

TODO_TEST

#endif