FormulaUtils.hh

Go to the documentation of this file.

#ifndef __DIADES__SDMDL_EXPERIMENTAL__FORMULAUTILS__HH__
#define __DIADES__SDMDL_EXPERIMENTAL__FORMULAUTILS__HH__

#include<list>
#include<diades/sdmdl/Formula.hh>
#include<diades/sdmdl/experimental/Assignment.hh>

namespace Diades
{
    namespace Sdmdl
    {
        namespace Experimental
        {
            using Diades::Sdmdl::Formula;
            
            void exportToDisjunctiveNormalForm(const Formula & formula,
                                               std::list< std::list<Assignment> > & dnf);            
        }
    }
}



#endif