/// <summary> /// Move function /// </summary> /// <param name="sourceState"></param> /// <param name="condition"></param> public ExtendedMove(int sourceState, ExtendedAction <TERM> action) { this.SourceState = sourceState; this.action = action; }
/// <summary> /// Final move /// </summary> /// <param name="sourceState"></param> /// <param name="condition"></param> public ExtendedFinalMove(int sourceState, ExtendedAction <TERM> action) : base(sourceState, action) { isFinal = true; }
/// <summary> /// Final move /// </summary> /// <param name="sourceState"></param> /// <param name="condition"></param> internal ExtendedNormalMove(int sourceState, int TargetState, ExtendedAction <TERM> action) : base(sourceState, action) { this.TargetState = TargetState; isFinal = false; }