FairnessList Struct Reference

Declares the interface for the classes that contains fairness conditions. More...

#include <FairnessList.h>

Related Functions
(Note that these are not member functions.)
FairnessListIterator_ptr	FairnessList_begin (const FairnessList_ptr self)
	Use to start iteration.
FairnessList_ptr	FairnessList_create (DDMgr_ptr dd_manager)
	Base class constructor.
boolean	FairnessList_is_empty (const FairnessList_ptr self)

---

Detailed Description

Declares the interface for the classes that contains fairness conditions.

Author:

Roberto Cavada This interface exports three objects:

• a generic FairnessList base class
• a class for justice list (list of BDDs), derived from FairnessList
• a class for compassion list (couple of BDDs), derived from FairnessList

Todo:

Missing synopsis

Todo:

Missing description

---

Friends And Related Function Documentation

FairnessListIterator_ptr FairnessList_begin

(

const FairnessList_ptr

self

)

[related]

Use to start iteration.

FairnessList_ptr FairnessList_create

(

DDMgr_ptr

dd_manager

)

[related]

Base class constructor.

boolean FairnessList_is_empty

(

const FairnessList_ptr

self

)

[related]

Todo:

Missing synopsis

Todo:

Missing description

---

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

• NuSMV/code/nusmv/core/fsm/bdd/FairnessList.h