NuSMV Developers Manual: NuSMV/code/nusmv/core/prop/propProp.h Source File

00001 /* ---------------------------------------------------------------------------
00002 
00003 
00004   This file is part of the ``prop'' package.
00005   %COPYRIGHT%
00006   
00007 
00008 -----------------------------------------------------------------------------*/
00009 
00022 #ifndef __NUSMV_CORE_PROP_PROP_PROP_H__
00023 #define __NUSMV_CORE_PROP_PROP_PROP_H__
00024 
00025 #include "nusmv/core/utils/defs.h"
00026 #include "nusmv/core/utils/list.h"
00027 
00028 #include "nusmv/core/prop/PropDb.h"
00029 #include "nusmv/core/prop/Prop.h"
00030 #include "nusmv/core/prop/propPkg.h"
00031 #include "nusmv/core/prop/Prop_Rewriter.h"
00032 
00033 /*---------------------------------------------------------------------------*/
00034 /* Constant declarations                                                     */
00035 /*---------------------------------------------------------------------------*/
00036 
00037 
00038 /*---------------------------------------------------------------------------*/
00039 /* Type declarations                                                         */
00040 /*---------------------------------------------------------------------------*/
00041 
00042 
00043 /*---------------------------------------------------------------------------*/
00044 /* Structure declarations                                                    */
00045 /*---------------------------------------------------------------------------*/
00046 
00047 
00048 /*---------------------------------------------------------------------------*/
00049 /* Variable declarations                                                     */
00050 /*---------------------------------------------------------------------------*/
00051 
00052 
00053 /*---------------------------------------------------------------------------*/
00054 /* Macro declarations                                                        */
00055 /*---------------------------------------------------------------------------*/
00056 
00057 
00060 /*---------------------------------------------------------------------------*/
00061 /* Function prototypes                                                       */
00062 /*---------------------------------------------------------------------------*/
00063 
00071 lsList Prop_convert_props_to_invar(PropDb_ptr prop_db, lsList props);
00072 
00081 Set_t Prop_propset_from_indices(NuSMVEnv_ptr env, const char* indices);
00082 
00083 
00086 #endif /* __NUSMV_CORE_PROP_PROP_PROP_H__ */