Ejemplos de BddSharp.Kernel Kernel.VarListCompose en C# (CSharp)

Ejemplo n.º 1

Archivo: Transition.cs Proyecto: sorenjuul/bddsharp

        private static Bdd ExecuteTransition(Bdd R, Bdd T, BddPairList bpl)
        {
            Bdd temp = Kernel.ApplyExists(Op.CON, T, R, bpl);

            return(Kernel.VarListCompose(bpl, temp));
        }