NuSMV/code/nusmv/core/prop/propProp.h File Reference

#include "nusmv/core/utils/defs.h"
#include "nusmv/core/utils/list.h"
#include "nusmv/core/prop/PropDb.h"
#include "nusmv/core/prop/Prop.h"
#include "nusmv/core/prop/propPkg.h"
#include "nusmv/core/prop/Prop_Rewriter.h"

Go to the source code of this file.

Functions
lsList	Prop_convert_props_to_invar (PropDb_ptr prop_db, lsList props)
	Public header for package prop.
Set_t	Prop_propset_from_indices (NuSMVEnv_ptr env, const char *indices)
	Produces a set of properties from a delimited string containing properties indices.

---

Function Documentation

lsList Prop_convert_props_to_invar	(	PropDb_ptr	prop_db,
		lsList	props
	)

Public header for package prop.

Author:

Michele Dorigatti It includes all the other public headers of the package. NOTE: It is called propProp.h instead of prop.h for avoiding clashing with Prop.h on case insensitive file systemsAutomaticStart

Convert a list of properties to invarspec, if possible, adding them to the database Returns a list of the indexes of the properties added to the database

Set_t Prop_propset_from_indices	(	NuSMVEnv_ptr	env,
		const char *	indices
	)

Produces a set of properties from a delimited string containing properties indices.

Indices are names separated by ':,; ' A range can be specified with 'A-B' where B >= A. Empty set is returned in case of error.