/// <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);
}
