Example #1
0
 public BDDLeafCollection(BDD bdd) : base(bdd.Descendants().OfType <ILeaf>())
 {
     _bdd = bdd;
 }