NuSMV/code/nusmv/core/trans/trans.h File Reference

Go to the source code of this file.

Defines
#define	TRANS_TYPE_IWLS95_STRING   "Iwls95CP"
#define	TRANS_TYPE_MONOLITHIC_STRING   "Monolithic"
	The public interface of the trans package.
#define	TRANS_TYPE_THRESHOLD_STRING   "Threshold"
Enumerations
enum	TransType { TRANS_TYPE_INVALID = -1, TRANS_TYPE_MONOLITHIC = 0, TRANS_TYPE_THRESHOLD, TRANS_TYPE_IWLS95 }
	Use one of this id when creating a trans. More...
Functions
TransType	TransType_from_string (const char *name)
	string to TransType
char *	TransType_to_string (const TransType self)
	TransType to string.

---

Define Documentation

#define TRANS_TYPE_IWLS95_STRING   "Iwls95CP"

Todo:

Missing synopsis

Todo:

Missing description

#define TRANS_TYPE_MONOLITHIC_STRING   "Monolithic"

The public interface of the trans package.

Author:

Roberto Cavada

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

#define TRANS_TYPE_THRESHOLD_STRING   "Threshold"

Todo:

Missing synopsis

Todo:

Missing description

---

Enumeration Type Documentation

enum TransType

Use one of this id when creating a trans.

If you modify this type, also modify the corresponding string definition in transTrans.c

Enumerator:

TRANS_TYPE_INVALID
TRANS_TYPE_MONOLITHIC
TRANS_TYPE_THRESHOLD
TRANS_TYPE_IWLS95

---

Function Documentation

TransType TransType_from_string

(

const char *

name

)

string to TransType

Converts the given transition type from string "name" to TransType object. The possible values of name can be "Monolithic", "Threshold", or "Iwls95CP".

None.

See also:

TransType_to_string

char* TransType_to_string

(

const TransType

self

)

TransType to string.

It takes TransType of self and returns a string specifying the type of the transition relation. Returned string is statically allocated and must not be freed.

See also:

TransType_from_string