/*****************************************************************************
 * 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
