Searched defs:equivalence_relation (Results 1 – 1 of 1) sorted by relevance
311 struct equivalence_relation { struct312 equivalence_relation(unsigned n) : is(new unsigned[n]), n(n) in equivalence_relation() function318 ~equivalence_relation() in ~equivalence_relation()332 lookup(unsigned i) const in lookup()345 flatten() const in flatten()364 link(unsigned i, unsigned j) in link()385 assign(unsigned from, unsigned to) in assign()397 unsigned *is;398 unsigned n;