00001 /* --------------------------------------------------------------------------- 00002 00003 This file is part of the ``rbc.clg'' package 00004 of NuSMV version 2. Copyright (C) 2007 by 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 License 00008 as published by the Free Software Foundation; either version 2 of 00009 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 00037 #ifndef __NUSMV_CORE_RBC_CLG_CLG_INT_H__ 00038 #define __NUSMV_CORE_RBC_CLG_CLG_INT_H__ 00039 00040 #include "nusmv/core/rbc/clg/clg.h" 00041 #include "nusmv/core/utils/utils.h" 00042 00043 00044 /*---------------------------------------------------------------------------*/ 00045 /* Constant declarations */ 00046 /*---------------------------------------------------------------------------*/ 00047 00053 #define CLG_CONJ 10 00054 00060 #define CLG_DISJ 11 00061 00062 /*---------------------------------------------------------------------------*/ 00063 /* Type declarations */ 00064 /*---------------------------------------------------------------------------*/ 00065 00066 /*---------------------------------------------------------------------------*/ 00067 /* Structure declarations */ 00068 /*---------------------------------------------------------------------------*/ 00069 00070 struct Clg_Vertex { 00071 int label; 00072 int size; 00073 struct Clg_Vertex* left; 00074 struct Clg_Vertex* right; 00075 }; 00076 00077 /*---------------------------------------------------------------------------*/ 00078 /* Variable declarations */ 00079 /*---------------------------------------------------------------------------*/ 00080 00081 00082 /*---------------------------------------------------------------------------*/ 00083 /* Macro declarations */ 00084 /*---------------------------------------------------------------------------*/ 00085 00086 00088 /*---------------------------------------------------------------------------*/ 00089 /* Function prototypes */ 00090 /*---------------------------------------------------------------------------*/ 00091 00092 00095 #endif /* _TL_INT_h */