conv_neu2fstr_dynamic.h

Go to the documentation of this file.

/*****************************************************************************
 * Copyright (c) 2019 FrontISTR Commons
 * This software is released under the MIT License, see LICENSE.txt
 *****************************************************************************/
/* conv_neu2fstr_dynamic ver.1.0 */
 
#ifndef conv_neu2fstr_dynamicH
#define conv_neu2fstr_dynamicH
 
#include "CNFData.h"
#include "CHECData.h"
#include "CHECDB.h"
#include "CFSTRDB.h"
 
bool conv_neu2fstr_dynamic(CNFData& neu, CHECData& hec);
 
#endif