NuSMV/code/nusmv/core/trace/exec/traceExec.h File Reference

Go to the source code of this file.

Defines
#define	BDD_EXEC_ENGINE   "bdd"
	Header file for the traceExec module.
#define	BDD_EXEC_ENGINE   "bdd"
	Header file for the traceExec module.
#define	SAT_EXEC_ENGINE   "sat"
#define	SAT_EXEC_ENGINE   "sat"
Enumerations
enum	execEngine { EXEC_NONE, EXEC_BDD, EXEC_SAT, EXEC_RESERVED }
	required More...

---

Define Documentation

#define BDD_EXEC_ENGINE   "bdd"

Header file for the traceExec module.

Author:

Marco Pensallorto

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

#define BDD_EXEC_ENGINE   "bdd"

Header file for the traceExec module.

Author:

Marco Pensallorto

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

#define SAT_EXEC_ENGINE   "sat"

Todo:

Missing synopsis

Todo:

Missing description

#define SAT_EXEC_ENGINE   "sat"

Todo:

Missing synopsis

Todo:

Missing description

---

Enumeration Type Documentation

enum execEngine

required

optional

See also:

optional

Enumerator:

EXEC_NONE
EXEC_BDD
EXEC_SAT
EXEC_RESERVED