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