Searched defs:equivalence_relation (Results 1 – 1 of 1) sorted by relevance
185 struct equivalence_relation { struct186 equivalence_relation(unsigned n) : is(new unsigned[n]), n(n) in equivalence_relation() function192 ~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;