wali::relations::BinaryRelation Struct Reference

Wraps a bdd in a nice friendly package. More...

List of all members.

Public Member Functions
	BinaryRelation (unsigned int largest)
	BinaryRelation ()
bool	insert (unsigned int leftVal, unsigned int rightVal)
bool	insert (std::pair< unsigned int, unsigned int > pair)
bool	empty () const
bdd	getBdd () const
bool	operator== (BinaryRelation const &other) const
	BinaryRelation (unsigned int largest)
	BinaryRelation ()
bool	insert (unsigned int leftVal, unsigned int rightVal)
bool	insert (std::pair< unsigned int, unsigned int > pair)
bool	empty () const
bool	operator== (BinaryRelation const &other) const
::bdd	getBdd () const
int	bddSize () const
int	setSize () const
bool	check () const
Public Attributes
Domain	domain
bdd	myBdd
wsrbr	set
wbrbr	bdd
Friends
void	compose (BinaryRelation &, BinaryRelation const &, BinaryRelation const &)
	Composes two binary relations.
void	intersect (BinaryRelation &, BinaryRelation const &, BinaryRelation const &)
	Returns the intersection of two binary relations on states.
void	union_ (BinaryRelation &, BinaryRelation const &, BinaryRelation const &)
	Returns the union of two binary relations on states.
void	merge (BinaryRelation &, BinaryRelation const &, BinaryRelation const &, BinaryRelation const &)

---

Detailed Description

Wraps a bdd in a nice friendly package.

---

Constructor & Destructor Documentation

wali::relations::BinaryRelation::BinaryRelation

(

unsigned int

largest

)

wali::relations::BinaryRelation::BinaryRelation

(

)

wali::relations::BinaryRelation::BinaryRelation

(

unsigned int

largest

)

wali::relations::BinaryRelation::BinaryRelation

(

)

---

Member Function Documentation

bool wali::relations::BinaryRelation::insert	(	unsigned int	leftVal,
		unsigned int	rightVal
	)

References bdd, domain, wali::relations::Component::fdd_number, wali::relations::Domain::largest(), wali::relations::Domain::left, wali::relations::Domain::middle, and myBdd.

Referenced by insert(), and wali::relations::transitive_closure().

bool wali::relations::BinaryRelation::insert

(

std::pair< unsigned int, unsigned int >

pair

)

References insert().

bool wali::relations::BinaryRelation::empty

(

)

const

References myBdd.

bdd wali::relations::BinaryRelation::getBdd

(

)

const

References myBdd.

bool wali::relations::BinaryRelation::operator==

(

BinaryRelation const &

other

)

const

References domain, and myBdd.

bool wali::relations::BinaryRelation::insert	(	unsigned int	leftVal,
		unsigned int	rightVal
	)

bool wali::relations::BinaryRelation::insert

(

std::pair< unsigned int, unsigned int >

pair

)

bool wali::relations::BinaryRelation::empty

(

)

const

bool wali::relations::BinaryRelation::operator==

(

BinaryRelation const &

other

)

const

::bdd wali::relations::BinaryRelation::getBdd

(

)

const

int wali::relations::BinaryRelation::bddSize

(

)

const

int wali::relations::BinaryRelation::setSize

(

)

const

bool wali::relations::BinaryRelation::check

(

)

const

Referenced by wali::relations::compose(), wali::relations::intersect(), wali::relations::merge(), and wali::relations::union_().

---

Friends And Related Function Documentation

void compose	(	BinaryRelation &	out_result,
		BinaryRelation const &	r1,
		BinaryRelation const &	r2
	)			[friend]

Composes two binary relations.

{ (x,z) | (x,y) r1, (y,z) r2}

Parameters: out_result: The relational composition of r1 and r2 r1: relation 1 r2: relation 2

void intersect	(	BinaryRelation &	out_result,
		BinaryRelation const &	r1,
		BinaryRelation const &	r2
	)			[friend]

Returns the intersection of two binary relations on states.

Parameters: out_result: The intersection of r1 and r2 r1: One binary relation on states r2: Another binary relation on states

void union_	(	BinaryRelation &	out_result,
		BinaryRelation const &	r1,
		BinaryRelation const &	r2
	)			[friend]

Returns the union of two binary relations on states.

Parameters: out_result: The union of r1 and r2 r1: One binary relation on states r2: Another binary relation on states

void merge	(	BinaryRelation &	,
		BinaryRelation const &	,
		BinaryRelation const &	,
		BinaryRelation const &
	)			[friend]

---

Member Data Documentation

Domain wali::relations::BinaryRelation::domain

Referenced by insert(), and operator==().

bdd wali::relations::BinaryRelation::myBdd

Referenced by empty(), getBdd(), insert(), and operator==().

wsrbr wali::relations::BinaryRelation::set

Referenced by wali::relations::compose(), wali::relations::intersect(), wali::relations::merge(), and wali::relations::union_().

wbrbr wali::relations::BinaryRelation::bdd

Referenced by wali::relations::compose(), insert(), wali::relations::intersect(), wali::relations::merge(), and wali::relations::union_().

---

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

• Source/opennwa/RelationOpsBuddy.hpp
• Source/opennwa/RelationOpsPaired.hpp