Lines Matching refs:decisionNumber
60 public EarlyExitException(int decisionNumber, IIntStream input)
63 this._decisionNumber = decisionNumber;
66 public EarlyExitException(string message, int decisionNumber, IIntStream input)
69 this._decisionNumber = decisionNumber;
72 public EarlyExitException(string message, int decisionNumber, IIntStream input, Exception innerException)
75 this._decisionNumber = decisionNumber;
84 this._decisionNumber = info.GetInt32("DecisionNumber");
87 public int DecisionNumber
101 info.AddValue("DecisionNumber", DecisionNumber);