libnormalform_cnf.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

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


struct libnormalform_term *
(libnormalform_cnf)(LIBNORMALFORM_SENTENCE *this, uint64_t flags, const struct libnormalform_analysers *analysers)
{
	return libnormalform_express__(this, flags | LIBNORMALFORM_RELAX_XOR, analysers, CNF, NULL);
}


#else

TODO_TEST

#endif