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

#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Enumerations
enum	FsmType { FSM_TYPE_SEXP = 1, FSM_TYPE_BOOL_SEXP = FSM_TYPE_SEXP << 1, FSM_TYPE_BDD = FSM_TYPE_SEXP << 2, FSM_TYPE_BE = FSM_TYPE_SEXP << 3 }
	Public interfaces for package fsm. More...
Functions
void	Fsm_init (void)
	Package initialization.
void	Fsm_quit (void)
	Package deinitialization.

---

Enumeration Type Documentation

enum FsmType

Public interfaces for package fsm.

Author:

Roberto Cavada

Todo:

: Missing description

The possible types of an Fsm

Enumerator:

FSM_TYPE_SEXP
FSM_TYPE_BOOL_SEXP
FSM_TYPE_BDD
FSM_TYPE_BE

---

Function Documentation

void Fsm_init

(

void

)

Package initialization.

void Fsm_quit

(

void

)

Package deinitialization.