#include <relation.H>

Inheritance diagram for Designar::EquivalenceRelation:

Public Member Functions
	EquivalenceRelation (nat_t)

void	join (nat_t, nat_t)

bool	are_connected (nat_t, nat_t) const

nat_t	get_num_blocks () const

nat_t	size () const

Constructor & Destructor Documentation

Designar::EquivalenceRelation::EquivalenceRelation ( nat_t )

Member Function Documentation

bool Designar::EquivalenceRelation::are_connected	(	nat_t	,
		nat_t
	)		const

nat_t Designar::EquivalenceRelation::get_num_blocks ( ) const

void Designar::EquivalenceRelation::join	(	nat_t	,
		nat_t
	)

nat_t Designar::EquivalenceRelation::size ( ) const

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