예제 #1
0
 public BDD Diff(BDD other)
 {
     return(algebra.MkDiff(this, other));
 }