|
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 |
1.8.11