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