NuSMV/code/nusmv/core/fsm/bdd/BddFsm_private.h
Go to the documentation of this file.00001 /* --------------------------------------------------------------------------- 00002 00003 This file is part of the ``fsm.bdd'' package of NuSMV version 2. 00004 Copyright (C) 2015 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 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 00036 #ifndef __NUSMV_CORE_FSM_BDD_BDD_FSM_PRIVATE_H__ 00037 #define __NUSMV_CORE_FSM_BDD_BDD_FSM_PRIVATE_H__ 00038 00039 #include "nusmv/core/fsm/bdd/BddFsm.h" 00040 #include "nusmv/core/fsm/bdd/bddInt.h" 00041 00045 typedef struct BddFsm_TAG 00046 { 00047 /* private members */ 00048 DDMgr_ptr dd; 00049 SymbTable_ptr symb_table; 00050 BddEnc_ptr enc; 00051 00052 BddStates init; 00053 00054 BddInvarStates invar_states; 00055 BddInvarInputs invar_inputs; 00056 00057 BddTrans_ptr trans; 00058 00059 JusticeList_ptr justice; 00060 CompassionList_ptr compassion; 00061 00062 BddFsmCache_ptr cache; 00063 } BddFsm; 00064 00065 00066 #endif /* __NUSMV_CORE_FSM_BDD_BDD_FSM_PRIVATE_H__ */
