JusticeList Struct Reference

Related Functions
(Note that these are not member functions.)
void	JusticeList_append_p (JusticeList_ptr self, BddStates p)
	Appends the given bdd to the list.
void	JusticeList_apply_synchronous_product (JusticeList_ptr self, const JusticeList_ptr other)
	Creates the union of the two given fairness lists. Result goes into self.
JusticeList_ptr	JusticeList_create (DDMgr_ptr dd_manager)
	Constructor for justice fairness constraints list.
BddStates	JusticeList_get_p (const JusticeList_ptr self, const FairnessListIterator_ptr iter)
	Getter for BddStates pointed by given iterator.

Detailed Description

Appends the given bdd to the list.

Given bdd is referenced, so the caller should free it when it is no longer needed

void JusticeList_apply_synchronous_product	(	JusticeList_ptr	self,
		const JusticeList_ptr	other
	)			`[related]`

Creates the union of the two given fairness lists. Result goes into self.

self changes

JusticeList_ptr JusticeList_create ( DDMgr_ptr dd_manager ) [related]

Constructor for justice fairness constraints list.

Call FairnessList_destroy to destruct self

BddStates JusticeList_get_p	(	const JusticeList_ptr	self,
		const FairnessListIterator_ptr	iter
	)			`[related]`

Getter for BddStates pointed by given iterator.

Returned bdd is referenced

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