/// <summary>
///
/// </summary>
/// <param name="counter"></param>
/// <param name="transition"></param>
/// <param name="j"></param>
/// <param name="s"></param>
protected virtual void SetTransition(int counter, Transition transition, int j, string s)
{
int value = Convert.ToInt32(s, 16);
transition.AddElement((LineType)counter,j,new Id(){Value = value});
}
