VHISTlib: /daten/ahuesgen/projects/vhist/code/vhistlib/include/vhistfindlib/constructcnf.h Source File

VHISTlib 1.84.0.3018

File List

00001 /* $HEADERS
00002  $Id: constructcnf.h 2168 2011-05-30 09:09:54Z ahuesgen $
00003  */
00004 
00005 #ifndef CONSTRUCTCNF_H
00006 #define CONSTRUCTCNF_H
00007 
00008 #include "../shared/misc_defines.h"
00009 #include "expressiontreenode.h"
00010 #include "cnf.h"
00011 
00012 namespace vhist
00013 {
00014     ConjunctiveNormalForm constructCNF(const SPExpressionTreeNode tree);
00015 }
00016 
00017 #endif // CONSTRUCTCNF_H