/// <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));
}
/// <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));
}