exact.c File Reference

#include "espresso.h"

Include dependency graph for exact.c:

Go to the source code of this file.

Functions
pcover	minimize_exact (pcover F, pcover D, pcover R, int exact_cover)
pcover	minimize_exact_literals (pcover F, pcover D, pcover R, int exact_cover)

Function Documentation

minimize_exact()

pcover minimize_exact	(	pcover	F,
		pcover	D,
		pcover	R,
		int	exact_cover )

Definition at line 30 of file exact.c.

{
    return do_minimize(F, D, R, exact_cover, /*weighted*/ 0);
}

minimize_exact_literals()

pcover minimize_exact_literals	(	pcover	F,
		pcover	D,
		pcover	R,
		int	exact_cover )

Definition at line 39 of file exact.c.

{
    return do_minimize(F, D, R, exact_cover, /*weighted*/ 1);
}