CompassionList Struct Reference

Related Functions
(Note that these are not member functions.)
void	CompassionList_append_p_q (CompassionList_ptr self, BddStates p, BddStates q)
	Appends the given BDDs to the list.
void	CompassionList_apply_synchronous_product (CompassionList_ptr self, const CompassionList_ptr other)
	Creates the union of the two given fairness lists. Result goes into self.
CompassionList_ptr	CompassionList_create (DDMgr_ptr dd_manager)
	Constructor for compassion fairness constraints list.
BddStates	CompassionList_get_p (const CompassionList_ptr self, const FairnessListIterator_ptr iter)
	Getter of left-side bdd pointed by given iterator.
BddStates	CompassionList_get_q (const CompassionList_ptr self, const FairnessListIterator_ptr iter)
	Getter of right-side bdd pointed by given iterator.

Detailed Description

void CompassionList_append_p_q	(	CompassionList_ptr	self,
		BddStates	p,
		BddStates	q
	)			`[related]`

Appends the given BDDs to the list.

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

void CompassionList_apply_synchronous_product	(	CompassionList_ptr	self,
		const CompassionList_ptr	other
	)			`[related]`

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

self changes

CompassionList_ptr CompassionList_create ( DDMgr_ptr dd_manager ) [related]

Constructor for compassion fairness constraints list.

Call FairnessList_destroy to destruct self

BddStates CompassionList_get_p	(	const CompassionList_ptr	self,
		const FairnessListIterator_ptr	iter
	)			`[related]`

Getter of left-side bdd pointed by given iterator.

Returned bdd is referenced

BddStates CompassionList_get_q	(	const CompassionList_ptr	self,
		const FairnessListIterator_ptr	iter
	)			`[related]`

Getter of right-side bdd pointed by given iterator.

Returned bdd is referenced

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