Lines Matching defs:revert
508 /** Revert a rotation.510 * rotation. This means that if r(u) = v, then r.revert(v) = u. The515 public Rotation revert() {