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

VHISTlib 1.84.0.3018

File List

00001 /* $HEADERS
00002  $Id: evaluatecnf.h 2168 2011-05-30 09:09:54Z ahuesgen $
00003  */
00004 
00005 #ifndef EVALUATECNF_H
00006 #define EVALUATECNF_H
00007 
00008 #include "../shared/misc_defines.h"
00009 
00010 #include "../unvhistlib/summary.h"
00011 #include "expressiontreenode.h"
00012 #include "cnf.h"
00013 #include "constructcnf.h"
00014 
00015 namespace vhist
00016 {
00017     bool evaluateCNF(const Summaries& summaries,
00018             const ConjunctiveNormalForm& cnf,
00019             QHash<QString, QString>& variableAssociations);
00020 }
00021 
00022 #endif // EVALUATECNF_H