public DFAState( DFA dfa ) { if (dfa == null) throw new ArgumentNullException("dfa"); this.dfa = dfa; }