Ejemplo n.º 1
0
 /// <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));
 }