/*
 * NtkCmd.h
 *
 *  Created on: Aug 25, 2015
 *      Author: Yen-Sheng Ho
 */

#ifndef SRC_EXT2_NTK_NTKCMD_H_
#define SRC_EXT2_NTK_NTKCMD_H_

#include "base/main/mainInt.h"

ABC_NAMESPACE_CXX_HEADER_START

void Ntk_Init(Abc_Frame_t *pAbc);

ABC_NAMESPACE_CXX_HEADER_END

#endif /* SRC_EXT2_NTK_NTKCMD_H_ */
