Searched defs:equivalence_relation (Results 1 – 1 of 1) sorted by relevance
313 struct equivalence_relation { struct314 equivalence_relation(unsigned n) : is(new unsigned[n]), n(n) in equivalence_relation() function320 ~equivalence_relation() in ~equivalence_relation()334 lookup(unsigned i) const in lookup()347 flatten() const in flatten()366 link(unsigned i, unsigned j) in link()387 assign(unsigned from, unsigned to) in assign()399 unsigned *is;400 unsigned n;