protected override string stringify() { return($"{RQ_LEVEL_CROSSING_STATE.ToString()} -> {RQ_RELEASE_STATE.ToString()} -> {RT_OPERATION}"); }
protected override string stringify() { return($"{RQ_DERAILER_STATE.ToString()} -> {RQ_RELEASE_STATE.ToString()} -> {RT_OPERATION}"); }