conv_neu2hec.h File Reference

#include "CNFData.h"
#include "CNFDataBlock.h"
#include "CHECData.h"
#include "CHECDB.h"

Include dependency graph for conv_neu2hec.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Enumerations
enum	{ sol_static = 0, sol_heat, sol_eigen }

Functions
void	conv_neu2hec (CNFData &neu, CHECData &hec, int solution=0)

Enumeration Type Documentation

anonymous enum

anonymous enum

Enumerator
sol_static
sol_heat
sol_eigen

Definition at line 18 of file conv_neu2hec.h.

Function Documentation

conv_neu2hec()

void conv_neu2hec	(	CNFData &	neu,
		CHECData &	hec,
		int	solution = 0
	)

Definition at line 772 of file conv_neu2hec.cpp.