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