/// <summary> /// Decrement the ordinals of all nodes by k, k must be nonnegative. /// </summary> /// <param name="k">offset</param> public BDD ShiftRight(int k = 1) { return(algebra.ShiftRight(this, k)); }