/*-----------------------------------------------------------*/
/*--- General Methods ---------------------------------------*/
/*-----------------------------------------------------------*/
/** Convert to a string. */
public override string ToString()
{
string result;
result = "transition on " + on_symbol().name() + " to state [";
result += _to_state.index();
result += "]";
return(result);
}
