/// <summary>
/// Initializes a new instance of the <see cref="Transition"/> class.
/// </summary>
/// <param name="origin">The origin.</param>
/// <param name="trigger">The trigger.</param>
/// <param name="destination">The destination.</param>
public Transition(AbstractState origin, AbstractEvent trigger, AbstractState destination)
{
Origin = origin;
Destination = destination;
Trigger = trigger;
}
public Transition(AbstractState origin, AbstractEvent trigger, AbstractState destination)
{
Origin = origin;
Destination = destination;
Trigger = trigger;
}