public void SetStates(BitSet b) { this.states = b; }
public void SetNFABit(BitSet b) { nfa_bit = b; }