FairnessConjunctStruct Struct Reference

Data Fields
Ctlp_Formula_t *	finallyInf
Ctlp_Formula_t *	globallyInf

---

Detailed Description

Struct**********************************************************************

Synopsis [A leaf of the canonical fairness constraint structure. The name is misleading: this is interpreted as (GF finallyinf + FG globallyInf), a disjunction.]

Definition at line 62 of file fsmFair.c.

---

Field Documentation

Ctlp_Formula_t* FairnessConjunctStruct::finallyInf

Definition at line 63 of file fsmFair.c.

Ctlp_Formula_t* FairnessConjunctStruct::globallyInf

Definition at line 64 of file fsmFair.c.

---

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

• src/fsm/fsmFair.c