McCheckInvarOpts Struct Reference

Fair CTL model checking algorithms. External header file. More...

#include <mc.h>

Data Fields
Bdd2bmc_Heuristic	bdd2bmc_heuristic
int	bmc_length
FB_Heuristic	fb_heuristic
Check_Strategy	strategy
int	threshold

---

Detailed Description

Fair CTL model checking algorithms. External header file.

Author:

Marco Roveri, Roberto Cavada Fair CTL model checking algorithms. External header file.

Options for top level function of check_invar command

See also:

See the documentation of the single types

---

Field Documentation

Bdd2bmc_Heuristic McCheckInvarOpts::bdd2bmc_heuristic

int McCheckInvarOpts::bmc_length

FB_Heuristic McCheckInvarOpts::fb_heuristic

Check_Strategy McCheckInvarOpts::strategy

int McCheckInvarOpts::threshold

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/mc/mc.h