/// <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;
}
