DeSiGNAR
0.5a
Data Structures General Library
|
#include <relation.H>
Public Member Functions | |
TRelation (nat_t n, Equal &eq) | |
TRelation (nat_t n, Equal &&eq=Equal()) | |
TRelation (const std::initializer_list< T > &list, Equal &eq) | |
TRelation (const std::initializer_list< T > &list, Equal &&eq=Equal()) | |
void | join (const T &tp, const T &tq) |
bool | are_connected (const T &tp, const T &tq) const |
Public Member Functions inherited from Designar::EquivalenceRelation | |
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 |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |