/// <summary> /// Substitution of a list of variablepairs in an Fdd /// </summary> /// <param name="t">The BDD to apply compose on</param> /// <param name="pairList">The list to substitute</param> /// <returns></returns> public static Bdd Compose(Bdd t, FddPairList pairList) { foreach (KeyValuePair <int, int> pair in pairList) { for (int i = 0; i < FddDictionary[pair.Key]; i++) { t = Kernel.Compose(t, pair.Key + i, pair.Value + i); } } return(t); }