C# (CSharp) BddSharp.Kernel Kernel.VarListCompose Examples

Example #1

File: Transition.cs Project: 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));
        }