NuSMV Developers Manual: NuSMV/code/nusmv/core/utils/utils

00001 /* ---------------------------------------------------------------------------
00002 
00003   This file is part of the ``utils'' package of NuSMV version 2.
00004   Copyright (C) 1998-2001 by CMU and FBK-irst.
00005 
00006   NuSMV version 2 is free software; you can redistribute it and/or
00007   modify it under the terms of the GNU Lesser General Public
00008   License as published by the Free Software Foundation; either
00009   version 2 of the License, or (at your option) any later version.
00010 
00011   NuSMV version 2 is distributed in the hope that it will be useful,
00012   but WITHOUT ANY WARRANTY; without even the implied warranty of
00013   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00014   Lesser General Public License for more details.
00015 
00016   You should have received a copy of the GNU Lesser General Public
00017   License along with this library; if not, write to the Free Software
00018   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307  USA.
00019 
00020   For more information on NuSMV see <http://nusmv.fbk.eu>
00021   or email to <nusmv-users@fbk.eu>.
00022   Please report bugs to <nusmv-users@fbk.eu>.
00023 
00024   To contact the NuSMV development board, email to <nusmv@fbk.eu>.
00025 
00026 -----------------------------------------------------------------------------*/
00027 
00039 #ifndef __NUSMV_CORE_UTILS_MSVC_H__
00040 #define __NUSMV_CORE_UTILS_MSVC_H__
00041 
00042 int Utils_msvc_files_are_the_same(const char* fname1, const char* fname2);
00043 
00044 #endif  /* __NUSMV_CORE_UTILS_MSVC_H__ */
NuSMV/code/nusmv/core/utils/utils_msvc.h
