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