Lines Matching defs:canonical
425 * Returns the canonical form of this range in the given domain. The canonical
429 * <li>equivalence: {@code a.canonical().contains(v) == a.contains(v)} for
431 * a.canonical(domain).asSet(domain).equals(a.asSet(domain))}
434 * {@code a.canonical(domain).equals(b.canonical(domain))}
436 * a.canonical(domain).canonical(domain).equals(a.canonical(domain))}
440 * of the following canonical forms:
449 public Range<C> canonical(DiscreteDomain<C> domain) {
451 Cut<C> lower = lowerBound.canonical(domain);
452 Cut<C> upper = upperBound.canonical(domain);
