C# (CSharp) IBDDAlgebra.MkDiff Examples

Example #1

 public BDD Diff(BDD other)
 {
     return(algebra.MkDiff(this, other));
 }