Searched defs:equivalence_relation (Results 1 – 2 of 2) sorted by relevance
185 struct equivalence_relation { struct186 equivalence_relation(unsigned n) : is(new unsigned[n]), n(n) in equivalence_relation() argument192 ~equivalence_relation() in ~equivalence_relation()206 lookup(unsigned i) const in lookup()219 flatten() const in flatten()238 link(unsigned i, unsigned j) in link()259 assign(unsigned from, unsigned to) in assign()271 unsigned *is;272 unsigned n;
33 concept equivalence_relation = relation<_Rp, _Tp, _Up>; variable