Exemplos de PAT.Common.Classes.LTL2DRA RabinAcceptance.getAcceptance_U_forState em C# (CSharp)

Exemplo n.º 1

Arquivo: RabinAcceptance.cs Projeto: vu111293/pat-design

        /** Get the signature for this state */
        public RabinSignature getSignature()
        {
            BitSet Larray = _acceptance.getAcceptance_L_forState(_state_index);
            BitSet Uarray = _acceptance.getAcceptance_U_forState(_state_index);

            BitSet llist = new BitSet(Larray);
            BitSet ulist = new BitSet(Uarray);

            //foreach (bool bit in Larray.bitset)
            //{
            //    llist.Add(bit);
            //}

            //foreach (bool bit in Uarray.bitset)
            //{
            //    ulist.Add(bit);
            //}

            return(new RabinSignature(llist, ulist, _acceptance.size()));
        }