// Translation produced by rsltc Sun Oct 29 22:35:56 2006

#include "TravelImplicit.h"
#include "RSL_typs.cc"

//subtype predicate
bool RSL_is_Hour(const int h_779){
return ((h_779 >= 0) ? h_779 <= 23 : false);
}


//subtype predicate
bool RSL_is_Minute(const int m_7DF){
return ((m_7DF >= 0) ? m_7DF <= 59 : false);
}


//subtype predicate
bool RSL_is_Second(const int s_843){
return ((s_843 >= 0) ? s_843 <= 59 : false);
}

int toSeconds(const RSL_IxIxI& RSL_Temp_0){
int h_EE6 = RSL_Temp_0.RSL_f1;

int m_EE9 = RSL_Temp_0.RSL_f2;

int s_EEC = RSL_Temp_0.RSL_f3;

/*INCOMPLETE: implicit function definition*/;
}

int compareTime(const RSL_IxIxI& t1_126B, const RSL_IxIxI& t2_126F){
#ifdef RSL_pre

int x1__0 = t1_126B.RSL_f1;

int x2__0 = t1_126B.RSL_f2;

int x3__0 = t1_126B.RSL_f3;

bool RSL_Temp_1;

if (((RSL_is_Hour(x1__0)) ? ((RSL_is_Minute(x2__0)) ? RSL_is_Second(x3__0) : false) : false))
{
int x4__0 = t2_126F.RSL_f1;

int x5__0 = t2_126F.RSL_f2;

int x6__0 = t2_126F.RSL_f3;

RSL_Temp_1 = ((RSL_is_Hour(x4__0)) ? ((RSL_is_Minute(x5__0)) ? RSL_is_Second(x6__0) : false) : false);
}
else
{
RSL_Temp_1 = false;
}
if (!(RSL_Temp_1)) RSL_warn("TravelImplicit.rsl:46:3: Arguments of compareTime(" + RSL_to_string(t1_126B) + ", " + RSL_to_string(t2_126F) + ") not in subtypes");
#endif //RSL_pre

return toSeconds(t1_126B) - toSeconds(t2_126F);
}

bool isInTimeRange(const RSL_IxIxI& t_13FD, const RSL_6IxIxI9x6IxIxI9& RSL_Temp_2){
RSL_IxIxI t1_1401 = RSL_Temp_2.RSL_f1;

RSL_IxIxI t2_1405 = RSL_Temp_2.RSL_f2;

#ifdef RSL_pre

int x7__0 = t_13FD.RSL_f1;

int x8__0 = t_13FD.RSL_f2;

int x9__0 = t_13FD.RSL_f3;

bool RSL_Temp_4;

if (((RSL_is_Hour(x7__0)) ? ((RSL_is_Minute(x8__0)) ? RSL_is_Second(x9__0) : false) : false))
{
int x10__0 = t1_1401.RSL_f1;

int x11__0 = t1_1401.RSL_f2;

int x12__0 = t1_1401.RSL_f3;

bool RSL_Temp_3;

if (((RSL_is_Hour(x10__0)) ? ((RSL_is_Minute(x11__0)) ? RSL_is_Second(x12__0) : false) : false))
{
int x13__0 = t2_1405.RSL_f1;

int x14__0 = t2_1405.RSL_f2;

int x15__0 = t2_1405.RSL_f3;

RSL_Temp_3 = ((RSL_is_Hour(x13__0)) ? ((RSL_is_Minute(x14__0)) ? RSL_is_Second(x15__0) : false) : false);
}
else
{
RSL_Temp_3 = false;
}
RSL_Temp_4 = RSL_Temp_3;
}
else
{
RSL_Temp_4 = false;
}
if (!(RSL_Temp_4)) RSL_warn("TravelImplicit.rsl:50:3: Arguments of isInTimeRange(" + RSL_to_string(t_13FD) + ", " + (string)"(" + RSL_to_string(t1_1401) + ", " + RSL_to_string(t2_1405) + (string)")" + ") not in subtypes");
#endif //RSL_pre

return ((compareTime(t1_1401, t_13FD) <= 0) ? compareTime(t_13FD, t2_1405) <= 0 : false);
}

RSL_lI getStationGateList(const RSL_lCxlI& RSL_Temp_5){
RSL_string name_16BF = RSL_Temp_5.RSL_f1;

RSL_lI gateList_16C5 = RSL_Temp_5.RSL_f2;

return gateList_16C5;
}

RSL_string getStationName(const RSL_lCxlI& RSL_Temp_6){
RSL_string name_184B = RSL_Temp_6.RSL_f1;

RSL_lI gateList_1851 = RSL_Temp_6.RSL_f2;

return name_184B;
}

RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 newTravelStart(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_7, const RSL_lCxlI& newStart_1B1D){
RSL_lCxlI st_1B07 = RSL_Temp_7.RSL_f1;

RSL_lCxlI des_1B0B = RSL_Temp_7.RSL_f2;

int gt_1B10 = RSL_Temp_7.RSL_f3;

RSL_IxIxI bT_1B14 = RSL_Temp_7.RSL_f4;

RSL_IxIxI dT_1B18 = RSL_Temp_7.RSL_f5;

#ifdef RSL_pre

int x20__0 = bT_1B14.RSL_f1;

int x21__0 = bT_1B14.RSL_f2;

int x22__0 = bT_1B14.RSL_f3;

bool RSL_Temp_8;

if (((RSL_is_Hour(x20__0)) ? ((RSL_is_Minute(x21__0)) ? RSL_is_Second(x22__0) : false) : false))
{
int x23__0 = dT_1B18.RSL_f1;

int x24__0 = dT_1B18.RSL_f2;

int x25__0 = dT_1B18.RSL_f3;

RSL_Temp_8 = ((RSL_is_Hour(x23__0)) ? ((RSL_is_Minute(x24__0)) ? RSL_is_Second(x25__0) : false) : false);
}
else
{
RSL_Temp_8 = false;
}
if (!(RSL_Temp_8)) RSL_warn("TravelImplicit.rsl:68:3: Arguments of newTravelStart(" + (string)"(" + RSL_to_string(st_1B07) + ", " + RSL_to_string(des_1B0B) + ", " + RSL_int_to_string(gt_1B10) + ", " + RSL_to_string(bT_1B14) + ", " + RSL_to_string(dT_1B18) + (string)")" + ", " + RSL_to_string(newStart_1B1D) + ") not in subtypes");
if (!(isin(gt_1B10, getStationGateList(newStart_1B1D)))) RSL_warn("TravelImplicit.rsl:68:3: Precondition of newTravelStart(" + (string)"(" + RSL_to_string(st_1B07) + ", " + RSL_to_string(des_1B0B) + ", " + RSL_int_to_string(gt_1B10) + ", " + RSL_to_string(bT_1B14) + ", " + RSL_to_string(dT_1B18) + (string)")" + ", " + RSL_to_string(newStart_1B1D) + ") not satisfied");
#endif //RSL_pre

return RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9(newStart_1B1D, des_1B0B, gt_1B10, bT_1B14, dT_1B18);
}

RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 newTravelDestination(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_9, const RSL_lCxlI& newDes_1D17){
RSL_lCxlI st_1D01 = RSL_Temp_9.RSL_f1;

RSL_lCxlI des_1D05 = RSL_Temp_9.RSL_f2;

int gt_1D0A = RSL_Temp_9.RSL_f3;

RSL_IxIxI bT_1D0E = RSL_Temp_9.RSL_f4;

RSL_IxIxI dT_1D12 = RSL_Temp_9.RSL_f5;

#ifdef RSL_pre

int x32__0 = bT_1D0E.RSL_f1;

int x33__0 = bT_1D0E.RSL_f2;

int x34__0 = bT_1D0E.RSL_f3;

bool RSL_Temp_10;

if (((RSL_is_Hour(x32__0)) ? ((RSL_is_Minute(x33__0)) ? RSL_is_Second(x34__0) : false) : false))
{
int x35__0 = dT_1D12.RSL_f1;

int x36__0 = dT_1D12.RSL_f2;

int x37__0 = dT_1D12.RSL_f3;

RSL_Temp_10 = ((RSL_is_Hour(x35__0)) ? ((RSL_is_Minute(x36__0)) ? RSL_is_Second(x37__0) : false) : false);
}
else
{
RSL_Temp_10 = false;
}
if (!(RSL_Temp_10)) RSL_warn("TravelImplicit.rsl:73:3: Arguments of newTravelDestination(" + (string)"(" + RSL_to_string(st_1D01) + ", " + RSL_to_string(des_1D05) + ", " + RSL_int_to_string(gt_1D0A) + ", " + RSL_to_string(bT_1D0E) + ", " + RSL_to_string(dT_1D12) + (string)")" + ", " + RSL_to_string(newDes_1D17) + ") not in subtypes");
#endif //RSL_pre

return RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9(st_1D01, newDes_1D17, gt_1D0A, bT_1D0E, dT_1D12);
}

RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 newTravelGate(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_11, const int newGate_1EA0){
RSL_lCxlI st_1E8A = RSL_Temp_11.RSL_f1;

RSL_lCxlI des_1E8E = RSL_Temp_11.RSL_f2;

int gt_1E93 = RSL_Temp_11.RSL_f3;

RSL_IxIxI bT_1E97 = RSL_Temp_11.RSL_f4;

RSL_IxIxI dT_1E9B = RSL_Temp_11.RSL_f5;

#ifdef RSL_pre

int x44__0 = bT_1E97.RSL_f1;

int x45__0 = bT_1E97.RSL_f2;

int x46__0 = bT_1E97.RSL_f3;

bool RSL_Temp_12;

if (((RSL_is_Hour(x44__0)) ? ((RSL_is_Minute(x45__0)) ? RSL_is_Second(x46__0) : false) : false))
{
int x47__0 = dT_1E9B.RSL_f1;

int x48__0 = dT_1E9B.RSL_f2;

int x49__0 = dT_1E9B.RSL_f3;

RSL_Temp_12 = ((RSL_is_Hour(x47__0)) ? ((RSL_is_Minute(x48__0)) ? RSL_is_Second(x49__0) : false) : false);
}
else
{
RSL_Temp_12 = false;
}
if (!(RSL_Temp_12)) RSL_warn("TravelImplicit.rsl:77:3: Arguments of newTravelGate(" + (string)"(" + RSL_to_string(st_1E8A) + ", " + RSL_to_string(des_1E8E) + ", " + RSL_int_to_string(gt_1E93) + ", " + RSL_to_string(bT_1E97) + ", " + RSL_to_string(dT_1E9B) + (string)")" + ", " + RSL_int_to_string(newGate_1EA0) + ") not in subtypes");
if (!(isin(newGate_1EA0, getStationGateList(st_1E8A)))) RSL_warn("TravelImplicit.rsl:77:3: Precondition of newTravelGate(" + (string)"(" + RSL_to_string(st_1E8A) + ", " + RSL_to_string(des_1E8E) + ", " + RSL_int_to_string(gt_1E93) + ", " + RSL_to_string(bT_1E97) + ", " + RSL_to_string(dT_1E9B) + (string)")" + ", " + RSL_int_to_string(newGate_1EA0) + ") not satisfied");
#endif //RSL_pre

return RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9(st_1E8A, des_1E8E, newGate_1EA0, bT_1E97, dT_1E9B);
}

RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 newTravelBoardingTime(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_13, const RSL_IxIxI& newBT_209C){
RSL_lCxlI st_2086 = RSL_Temp_13.RSL_f1;

RSL_lCxlI des_208A = RSL_Temp_13.RSL_f2;

int gt_208F = RSL_Temp_13.RSL_f3;

RSL_IxIxI bT_2093 = RSL_Temp_13.RSL_f4;

RSL_IxIxI dT_2097 = RSL_Temp_13.RSL_f5;

#ifdef RSL_pre

int x54__0 = bT_2093.RSL_f1;

int x55__0 = bT_2093.RSL_f2;

int x56__0 = bT_2093.RSL_f3;

bool RSL_Temp_14;

if (((RSL_is_Hour(x54__0)) ? ((RSL_is_Minute(x55__0)) ? RSL_is_Second(x56__0) : false) : false))
{
int x57__0 = dT_2097.RSL_f1;

int x58__0 = dT_2097.RSL_f2;

int x59__0 = dT_2097.RSL_f3;

RSL_Temp_14 = ((RSL_is_Hour(x57__0)) ? ((RSL_is_Minute(x58__0)) ? RSL_is_Second(x59__0) : false) : false);
}
else
{
RSL_Temp_14 = false;
}
bool RSL_Temp_15;

if (RSL_Temp_14)
{
int x60__0 = newBT_209C.RSL_f1;

int x61__0 = newBT_209C.RSL_f2;

int x62__0 = newBT_209C.RSL_f3;

RSL_Temp_15 = ((RSL_is_Hour(x60__0)) ? ((RSL_is_Minute(x61__0)) ? RSL_is_Second(x62__0) : false) : false);
}
else
{
RSL_Temp_15 = false;
}
if (!(RSL_Temp_15)) RSL_warn("TravelImplicit.rsl:82:3: Arguments of newTravelBoardingTime(" + (string)"(" + RSL_to_string(st_2086) + ", " + RSL_to_string(des_208A) + ", " + RSL_int_to_string(gt_208F) + ", " + RSL_to_string(bT_2093) + ", " + RSL_to_string(dT_2097) + (string)")" + ", " + RSL_to_string(newBT_209C) + ") not in subtypes");
if (!(compareTime(newBT_209C, dT_2097) < 0)) RSL_warn("TravelImplicit.rsl:82:3: Precondition of newTravelBoardingTime(" + (string)"(" + RSL_to_string(st_2086) + ", " + RSL_to_string(des_208A) + ", " + RSL_int_to_string(gt_208F) + ", " + RSL_to_string(bT_2093) + ", " + RSL_to_string(dT_2097) + (string)")" + ", " + RSL_to_string(newBT_209C) + ") not satisfied");
#endif //RSL_pre

return RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9(st_2086, des_208A, gt_208F, newBT_209C, dT_2097);
}

RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 newTravelDepartureTime(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_16, const RSL_IxIxI& newDT_2291){
RSL_lCxlI st_227B = RSL_Temp_16.RSL_f1;

RSL_lCxlI des_227F = RSL_Temp_16.RSL_f2;

int gt_2284 = RSL_Temp_16.RSL_f3;

RSL_IxIxI bT_2288 = RSL_Temp_16.RSL_f4;

RSL_IxIxI dT_228C = RSL_Temp_16.RSL_f5;

#ifdef RSL_pre

int x67__0 = bT_2288.RSL_f1;

int x68__0 = bT_2288.RSL_f2;

int x69__0 = bT_2288.RSL_f3;

bool RSL_Temp_17;

if (((RSL_is_Hour(x67__0)) ? ((RSL_is_Minute(x68__0)) ? RSL_is_Second(x69__0) : false) : false))
{
int x70__0 = dT_228C.RSL_f1;

int x71__0 = dT_228C.RSL_f2;

int x72__0 = dT_228C.RSL_f3;

RSL_Temp_17 = ((RSL_is_Hour(x70__0)) ? ((RSL_is_Minute(x71__0)) ? RSL_is_Second(x72__0) : false) : false);
}
else
{
RSL_Temp_17 = false;
}
bool RSL_Temp_18;

if (RSL_Temp_17)
{
int x73__0 = newDT_2291.RSL_f1;

int x74__0 = newDT_2291.RSL_f2;

int x75__0 = newDT_2291.RSL_f3;

RSL_Temp_18 = ((RSL_is_Hour(x73__0)) ? ((RSL_is_Minute(x74__0)) ? RSL_is_Second(x75__0) : false) : false);
}
else
{
RSL_Temp_18 = false;
}
if (!(RSL_Temp_18)) RSL_warn("TravelImplicit.rsl:87:3: Arguments of newTravelDepartureTime(" + (string)"(" + RSL_to_string(st_227B) + ", " + RSL_to_string(des_227F) + ", " + RSL_int_to_string(gt_2284) + ", " + RSL_to_string(bT_2288) + ", " + RSL_to_string(dT_228C) + (string)")" + ", " + RSL_to_string(newDT_2291) + ") not in subtypes");
if (!(compareTime(bT_2288, newDT_2291) < 0)) RSL_warn("TravelImplicit.rsl:87:3: Precondition of newTravelDepartureTime(" + (string)"(" + RSL_to_string(st_227B) + ", " + RSL_to_string(des_227F) + ", " + RSL_int_to_string(gt_2284) + ", " + RSL_to_string(bT_2288) + ", " + RSL_to_string(dT_228C) + (string)")" + ", " + RSL_to_string(newDT_2291) + ") not satisfied");
#endif //RSL_pre

return RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9(st_227B, des_227F, gt_2284, bT_2288, newDT_2291);
}

RSL_lCxlI getTravelStart(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_19){
RSL_lCxlI st_2467 = RSL_Temp_19.RSL_f1;

RSL_lCxlI des_246B = RSL_Temp_19.RSL_f2;

int gt_2470 = RSL_Temp_19.RSL_f3;

RSL_IxIxI bT_2474 = RSL_Temp_19.RSL_f4;

RSL_IxIxI dT_2478 = RSL_Temp_19.RSL_f5;

#ifdef RSL_pre

int x80__0 = bT_2474.RSL_f1;

int x81__0 = bT_2474.RSL_f2;

int x82__0 = bT_2474.RSL_f3;

bool RSL_Temp_20;

if (((RSL_is_Hour(x80__0)) ? ((RSL_is_Minute(x81__0)) ? RSL_is_Second(x82__0) : false) : false))
{
int x83__0 = dT_2478.RSL_f1;

int x84__0 = dT_2478.RSL_f2;

int x85__0 = dT_2478.RSL_f3;

RSL_Temp_20 = ((RSL_is_Hour(x83__0)) ? ((RSL_is_Minute(x84__0)) ? RSL_is_Second(x85__0) : false) : false);
}
else
{
RSL_Temp_20 = false;
}
if (!(RSL_Temp_20)) RSL_warn("TravelImplicit.rsl:92:3: Arguments of getTravelStart(" + (string)"(" + RSL_to_string(st_2467) + ", " + RSL_to_string(des_246B) + ", " + RSL_int_to_string(gt_2470) + ", " + RSL_to_string(bT_2474) + ", " + RSL_to_string(dT_2478) + (string)")" + ") not in subtypes");
#endif //RSL_pre

return st_2467;
}

RSL_lCxlI getTravelDestination(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_21){
RSL_lCxlI st_25FD = RSL_Temp_21.RSL_f1;

RSL_lCxlI des_2601 = RSL_Temp_21.RSL_f2;

int gt_2606 = RSL_Temp_21.RSL_f3;

RSL_IxIxI bT_260A = RSL_Temp_21.RSL_f4;

RSL_IxIxI dT_260E = RSL_Temp_21.RSL_f5;

#ifdef RSL_pre

int x90__0 = bT_260A.RSL_f1;

int x91__0 = bT_260A.RSL_f2;

int x92__0 = bT_260A.RSL_f3;

bool RSL_Temp_22;

if (((RSL_is_Hour(x90__0)) ? ((RSL_is_Minute(x91__0)) ? RSL_is_Second(x92__0) : false) : false))
{
int x93__0 = dT_260E.RSL_f1;

int x94__0 = dT_260E.RSL_f2;

int x95__0 = dT_260E.RSL_f3;

RSL_Temp_22 = ((RSL_is_Hour(x93__0)) ? ((RSL_is_Minute(x94__0)) ? RSL_is_Second(x95__0) : false) : false);
}
else
{
RSL_Temp_22 = false;
}
if (!(RSL_Temp_22)) RSL_warn("TravelImplicit.rsl:96:3: Arguments of getTravelDestination(" + (string)"(" + RSL_to_string(st_25FD) + ", " + RSL_to_string(des_2601) + ", " + RSL_int_to_string(gt_2606) + ", " + RSL_to_string(bT_260A) + ", " + RSL_to_string(dT_260E) + (string)")" + ") not in subtypes");
#endif //RSL_pre

return des_2601;
}

int getTravelGate(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_23){
RSL_lCxlI st_2786 = RSL_Temp_23.RSL_f1;

RSL_lCxlI des_278A = RSL_Temp_23.RSL_f2;

int gt_278F = RSL_Temp_23.RSL_f3;

RSL_IxIxI bT_2793 = RSL_Temp_23.RSL_f4;

RSL_IxIxI dT_2797 = RSL_Temp_23.RSL_f5;

#ifdef RSL_pre

int x100__0 = bT_2793.RSL_f1;

int x101__0 = bT_2793.RSL_f2;

int x102__0 = bT_2793.RSL_f3;

bool RSL_Temp_24;

if (((RSL_is_Hour(x100__0)) ? ((RSL_is_Minute(x101__0)) ? RSL_is_Second(x102__0) : false) : false))
{
int x103__0 = dT_2797.RSL_f1;

int x104__0 = dT_2797.RSL_f2;

int x105__0 = dT_2797.RSL_f3;

RSL_Temp_24 = ((RSL_is_Hour(x103__0)) ? ((RSL_is_Minute(x104__0)) ? RSL_is_Second(x105__0) : false) : false);
}
else
{
RSL_Temp_24 = false;
}
if (!(RSL_Temp_24)) RSL_warn("TravelImplicit.rsl:100:3: Arguments of getTravelGate(" + (string)"(" + RSL_to_string(st_2786) + ", " + RSL_to_string(des_278A) + ", " + RSL_int_to_string(gt_278F) + ", " + RSL_to_string(bT_2793) + ", " + RSL_to_string(dT_2797) + (string)")" + ") not in subtypes");
#endif //RSL_pre

return gt_278F;
}

RSL_IxIxI getTravelBoardingTime(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_25){
RSL_lCxlI st_291E = RSL_Temp_25.RSL_f1;

RSL_lCxlI des_2922 = RSL_Temp_25.RSL_f2;

int gt_2927 = RSL_Temp_25.RSL_f3;

RSL_IxIxI bT_292B = RSL_Temp_25.RSL_f4;

RSL_IxIxI dT_292F = RSL_Temp_25.RSL_f5;

#ifdef RSL_pre

int x110__0 = bT_292B.RSL_f1;

int x111__0 = bT_292B.RSL_f2;

int x112__0 = bT_292B.RSL_f3;

bool RSL_Temp_26;

if (((RSL_is_Hour(x110__0)) ? ((RSL_is_Minute(x111__0)) ? RSL_is_Second(x112__0) : false) : false))
{
int x113__0 = dT_292F.RSL_f1;

int x114__0 = dT_292F.RSL_f2;

int x115__0 = dT_292F.RSL_f3;

RSL_Temp_26 = ((RSL_is_Hour(x113__0)) ? ((RSL_is_Minute(x114__0)) ? RSL_is_Second(x115__0) : false) : false);
}
else
{
RSL_Temp_26 = false;
}
if (!(RSL_Temp_26)) RSL_warn("TravelImplicit.rsl:104:3: Arguments of getTravelBoardingTime(" + (string)"(" + RSL_to_string(st_291E) + ", " + RSL_to_string(des_2922) + ", " + RSL_int_to_string(gt_2927) + ", " + RSL_to_string(bT_292B) + ", " + RSL_to_string(dT_292F) + (string)")" + ") not in subtypes");
#endif //RSL_pre

return bT_292B;
}

RSL_IxIxI getTravelDepartureTime(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& RSL_Temp_27){
RSL_lCxlI st_2AAF = RSL_Temp_27.RSL_f1;

RSL_lCxlI des_2AB3 = RSL_Temp_27.RSL_f2;

int gt_2AB8 = RSL_Temp_27.RSL_f3;

RSL_IxIxI bT_2ABC = RSL_Temp_27.RSL_f4;

RSL_IxIxI dT_2AC0 = RSL_Temp_27.RSL_f5;

#ifdef RSL_pre

int x120__0 = bT_2ABC.RSL_f1;

int x121__0 = bT_2ABC.RSL_f2;

int x122__0 = bT_2ABC.RSL_f3;

bool RSL_Temp_28;

if (((RSL_is_Hour(x120__0)) ? ((RSL_is_Minute(x121__0)) ? RSL_is_Second(x122__0) : false) : false))
{
int x123__0 = dT_2AC0.RSL_f1;

int x124__0 = dT_2AC0.RSL_f2;

int x125__0 = dT_2AC0.RSL_f3;

RSL_Temp_28 = ((RSL_is_Hour(x123__0)) ? ((RSL_is_Minute(x124__0)) ? RSL_is_Second(x125__0) : false) : false);
}
else
{
RSL_Temp_28 = false;
}
if (!(RSL_Temp_28)) RSL_warn("TravelImplicit.rsl:108:3: Arguments of getTravelDepartureTime(" + (string)"(" + RSL_to_string(st_2AAF) + ", " + RSL_to_string(des_2AB3) + ", " + RSL_int_to_string(gt_2AB8) + ", " + RSL_to_string(bT_2ABC) + ", " + RSL_to_string(dT_2AC0) + (string)")" + ") not in subtypes");
#endif //RSL_pre

return dT_2AC0;
}


namespace RSL_Temp_30 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_2C37;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_2C3B;
bool RSL_Temp_31(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x141__0 = x__0.RSL_f1;

RSL_lCxlI x142__0 = x__0.RSL_f2;

int x143__0 = x__0.RSL_f3;

RSL_IxIxI x144__0 = x__0.RSL_f4;

RSL_IxIxI x145__0 = x__0.RSL_f5;

int x150__0 = x144__0.RSL_f1;

int x151__0 = x144__0.RSL_f2;

int x152__0 = x144__0.RSL_f3;

bool RSL_Temp_32;

if (((RSL_is_Hour(x150__0)) ? ((RSL_is_Minute(x151__0)) ? RSL_is_Second(x152__0) : false) : false))
{
int x153__0 = x145__0.RSL_f1;

int x154__0 = x145__0.RSL_f2;

int x155__0 = x145__0.RSL_f3;

RSL_Temp_32 = ((RSL_is_Hour(x153__0)) ? ((RSL_is_Minute(x154__0)) ? RSL_is_Second(x155__0) : false) : false);
}
else
{
RSL_Temp_32 = false;
}
return RSL_Temp_32;
}


} // end of namespace RSL_Temp_30


namespace RSL_Temp_34 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_2C37;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_2C3B;
RSL_IxIxI dT_2C90;
RSL_IxIxI bT_2CF5;
bool RSL_Temp_35(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& t_2D5A){
RSL_lCxlI x614__0 = t_2D5A.RSL_f1;

RSL_lCxlI x615__0 = t_2D5A.RSL_f2;

int x616__0 = t_2D5A.RSL_f3;

RSL_IxIxI x617__0 = t_2D5A.RSL_f4;

RSL_IxIxI x618__0 = t_2D5A.RSL_f5;

int x623__0 = x617__0.RSL_f1;

int x624__0 = x617__0.RSL_f2;

int x625__0 = x617__0.RSL_f3;

bool RSL_Temp_36;

if (((RSL_is_Hour(x623__0)) ? ((RSL_is_Minute(x624__0)) ? RSL_is_Second(x625__0) : false) : false))
{
int x626__0 = x618__0.RSL_f1;

int x627__0 = x618__0.RSL_f2;

int x628__0 = x618__0.RSL_f3;

RSL_Temp_36 = ((RSL_is_Hour(x626__0)) ? ((RSL_is_Minute(x627__0)) ? RSL_is_Second(x628__0) : false) : false);
}
else
{
RSL_Temp_36 = false;
}
bool RSL_Temp_38;

if (RSL_Temp_36)
{
bool RSL_Temp_37;

if (getTravelGate(t_2D5A) == getTravelGate(tr_2C37))
{
RSL_IxIxI dt_2DBF = getTravelDepartureTime(t_2D5A);

RSL_IxIxI bt_2E24 = getTravelBoardingTime(t_2D5A);

RSL_Temp_37 = ((!isInTimeRange(bt_2E24, RSL_6IxIxI9x6IxIxI9(bT_2CF5, dT_2C90))) ? !isInTimeRange(dt_2DBF, RSL_6IxIxI9x6IxIxI9(bT_2CF5, dT_2C90)) : false);
}
else
{
RSL_Temp_37 = true;
}
RSL_Temp_38 = RSL_Temp_37;
}
else
{
RSL_Temp_38 = true;
}
return RSL_Temp_38;
}


} // end of namespace RSL_Temp_34

bool isTravelCorrect(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_2C37, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_2C3B){
#ifdef RSL_pre

RSL_lCxlI x126__0 = tr_2C37.RSL_f1;

RSL_lCxlI x127__0 = tr_2C37.RSL_f2;

int x128__0 = tr_2C37.RSL_f3;

RSL_IxIxI x129__0 = tr_2C37.RSL_f4;

RSL_IxIxI x130__0 = tr_2C37.RSL_f5;

int x135__0 = x129__0.RSL_f1;

int x136__0 = x129__0.RSL_f2;

int x137__0 = x129__0.RSL_f3;

bool RSL_Temp_29;

if (((RSL_is_Hour(x135__0)) ? ((RSL_is_Minute(x136__0)) ? RSL_is_Second(x137__0) : false) : false))
{
int x138__0 = x130__0.RSL_f1;

int x139__0 = x130__0.RSL_f2;

int x140__0 = x130__0.RSL_f3;

RSL_Temp_29 = ((RSL_is_Hour(x138__0)) ? ((RSL_is_Minute(x139__0)) ? RSL_is_Second(x140__0) : false) : false);
}
else
{
RSL_Temp_29 = false;
}
bool RSL_Temp_33;

if (RSL_Temp_29)
{
RSL_Temp_30::tr_2C37 = tr_2C37;
RSL_Temp_30::trlist_2C3B = trlist_2C3B;
RSL_Temp_33 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_30::RSL_Temp_31, trlist_2C3B);
}
else
{
RSL_Temp_33 = false;
}
if (!(RSL_Temp_33)) RSL_warn("TravelImplicit.rsl:112:3: Arguments of isTravelCorrect(" + RSL_to_string(tr_2C37) + ", " + RSL_to_string(trlist_2C3B) + ") not in subtypes");
#endif //RSL_pre

RSL_IxIxI dT_2C90 = getTravelDepartureTime(tr_2C37);

RSL_IxIxI bT_2CF5 = getTravelBoardingTime(tr_2C37);

RSL_Temp_34::tr_2C37 = tr_2C37;
RSL_Temp_34::trlist_2C3B = trlist_2C3B;
RSL_Temp_34::dT_2C90 = dT_2C90;
RSL_Temp_34::bT_2CF5 = bT_2CF5;
return alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_34::RSL_Temp_35, trlist_2C3B);
}


namespace RSL_Temp_39 {
// namespace for quantified expression
RSL_lCxlI st_346A;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_346E;
bool RSL_Temp_40(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x158__0 = x__0.RSL_f1;

RSL_lCxlI x159__0 = x__0.RSL_f2;

int x160__0 = x__0.RSL_f3;

RSL_IxIxI x161__0 = x__0.RSL_f4;

RSL_IxIxI x162__0 = x__0.RSL_f5;

int x167__0 = x161__0.RSL_f1;

int x168__0 = x161__0.RSL_f2;

int x169__0 = x161__0.RSL_f3;

bool RSL_Temp_41;

if (((RSL_is_Hour(x167__0)) ? ((RSL_is_Minute(x168__0)) ? RSL_is_Second(x169__0) : false) : false))
{
int x170__0 = x162__0.RSL_f1;

int x171__0 = x162__0.RSL_f2;

int x172__0 = x162__0.RSL_f3;

RSL_Temp_41 = ((RSL_is_Hour(x170__0)) ? ((RSL_is_Minute(x171__0)) ? RSL_is_Second(x172__0) : false) : false);
}
else
{
RSL_Temp_41 = false;
}
return RSL_Temp_41;
}


} // end of namespace RSL_Temp_39


namespace RSL_Temp_42 {
// namespace for comprehended set
RSL_lCxlI st_346A;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_346E;
bool RSL_Temp_43(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_34C7){
RSL_lCxlI x629__0 = tr_34C7.RSL_f1;

RSL_lCxlI x630__0 = tr_34C7.RSL_f2;

int x631__0 = tr_34C7.RSL_f3;

RSL_IxIxI x632__0 = tr_34C7.RSL_f4;

RSL_IxIxI x633__0 = tr_34C7.RSL_f5;

int x638__0 = x632__0.RSL_f1;

int x639__0 = x632__0.RSL_f2;

int x640__0 = x632__0.RSL_f3;

bool RSL_Temp_44;

if (((RSL_is_Hour(x638__0)) ? ((RSL_is_Minute(x639__0)) ? RSL_is_Second(x640__0) : false) : false))
{
int x641__0 = x633__0.RSL_f1;

int x642__0 = x633__0.RSL_f2;

int x643__0 = x633__0.RSL_f3;

RSL_Temp_44 = ((RSL_is_Hour(x641__0)) ? ((RSL_is_Minute(x642__0)) ? RSL_is_Second(x643__0) : false) : false);
}
else
{
RSL_Temp_44 = false;
}
return ((RSL_Temp_44) ? getTravelStart(tr_34C7) == st_346A : false);
}


} // end of namespace RSL_Temp_42

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 getTravelsFrom(const RSL_lCxlI& st_346A, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_346E){
#ifdef RSL_pre

RSL_Temp_39::st_346A = st_346A;
RSL_Temp_39::trlist_346E = trlist_346E;
if (!(alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_39::RSL_Temp_40, trlist_346E))) RSL_warn("TravelImplicit.rsl:133:3: Arguments of getTravelsFrom(" + RSL_to_string(st_346A) + ", " + RSL_to_string(trlist_346E) + ") not in subtypes");
#endif //RSL_pre

RSL_Temp_42::st_346A = st_346A;
RSL_Temp_42::trlist_346E = trlist_346E;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 RSL_Temp_45 = RSL_compss<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9, RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>((RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9f6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9)RSL_identity, RSL_Temp_42::RSL_Temp_43, trlist_346E);

return RSL_Temp_45;
}


namespace RSL_Temp_47 {
// namespace for quantified expression
RSL_lCxlI st_3672;
RSL_6IxIxI9x6IxIxI9 timeRange_3676;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_3681;
bool RSL_Temp_48(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x198__0 = x__0.RSL_f1;

RSL_lCxlI x199__0 = x__0.RSL_f2;

int x200__0 = x__0.RSL_f3;

RSL_IxIxI x201__0 = x__0.RSL_f4;

RSL_IxIxI x202__0 = x__0.RSL_f5;

int x207__0 = x201__0.RSL_f1;

int x208__0 = x201__0.RSL_f2;

int x209__0 = x201__0.RSL_f3;

bool RSL_Temp_49;

if (((RSL_is_Hour(x207__0)) ? ((RSL_is_Minute(x208__0)) ? RSL_is_Second(x209__0) : false) : false))
{
int x210__0 = x202__0.RSL_f1;

int x211__0 = x202__0.RSL_f2;

int x212__0 = x202__0.RSL_f3;

RSL_Temp_49 = ((RSL_is_Hour(x210__0)) ? ((RSL_is_Minute(x211__0)) ? RSL_is_Second(x212__0) : false) : false);
}
else
{
RSL_Temp_49 = false;
}
return RSL_Temp_49;
}


} // end of namespace RSL_Temp_47


namespace RSL_Temp_51 {
// namespace for comprehended set
RSL_lCxlI st_3672;
RSL_6IxIxI9x6IxIxI9 timeRange_3676;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_3681;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 res_36B8;
bool RSL_Temp_52(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_3720){
RSL_lCxlI x644__0 = tr_3720.RSL_f1;

RSL_lCxlI x645__0 = tr_3720.RSL_f2;

int x646__0 = tr_3720.RSL_f3;

RSL_IxIxI x647__0 = tr_3720.RSL_f4;

RSL_IxIxI x648__0 = tr_3720.RSL_f5;

int x653__0 = x647__0.RSL_f1;

int x654__0 = x647__0.RSL_f2;

int x655__0 = x647__0.RSL_f3;

bool RSL_Temp_53;

if (((RSL_is_Hour(x653__0)) ? ((RSL_is_Minute(x654__0)) ? RSL_is_Second(x655__0) : false) : false))
{
int x656__0 = x648__0.RSL_f1;

int x657__0 = x648__0.RSL_f2;

int x658__0 = x648__0.RSL_f3;

RSL_Temp_53 = ((RSL_is_Hour(x656__0)) ? ((RSL_is_Minute(x657__0)) ? RSL_is_Second(x658__0) : false) : false);
}
else
{
RSL_Temp_53 = false;
}
return ((RSL_Temp_53) ? isInTimeRange(getTravelDepartureTime(tr_3720), timeRange_3676) : false);
}


} // end of namespace RSL_Temp_51

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 getTravelsInDepartureTimeRangeFrom(const RSL_lCxlI& st_3672, const RSL_6IxIxI9x6IxIxI9& timeRange_3676, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_3681){
#ifdef RSL_pre

RSL_IxIxI x190__0 = timeRange_3676.RSL_f1;

RSL_IxIxI x191__0 = timeRange_3676.RSL_f2;

int x192__0 = x190__0.RSL_f1;

int x193__0 = x190__0.RSL_f2;

int x194__0 = x190__0.RSL_f3;

bool RSL_Temp_46;

if (((RSL_is_Hour(x192__0)) ? ((RSL_is_Minute(x193__0)) ? RSL_is_Second(x194__0) : false) : false))
{
int x195__0 = x191__0.RSL_f1;

int x196__0 = x191__0.RSL_f2;

int x197__0 = x191__0.RSL_f3;

RSL_Temp_46 = ((RSL_is_Hour(x195__0)) ? ((RSL_is_Minute(x196__0)) ? RSL_is_Second(x197__0) : false) : false);
}
else
{
RSL_Temp_46 = false;
}
bool RSL_Temp_50;

if (RSL_Temp_46)
{
RSL_Temp_47::st_3672 = st_3672;
RSL_Temp_47::timeRange_3676 = timeRange_3676;
RSL_Temp_47::trlist_3681 = trlist_3681;
RSL_Temp_50 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_47::RSL_Temp_48, trlist_3681);
}
else
{
RSL_Temp_50 = false;
}
if (!(RSL_Temp_50)) RSL_warn("TravelImplicit.rsl:138:3: Arguments of getTravelsInDepartureTimeRangeFrom(" + RSL_to_string(st_3672) + ", " + RSL_to_string(timeRange_3676) + ", " + RSL_to_string(trlist_3681) + ") not in subtypes");
#endif //RSL_pre

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 res_36B8 = getTravelsFrom(st_3672, trlist_3681);

RSL_Temp_51::st_3672 = st_3672;
RSL_Temp_51::timeRange_3676 = timeRange_3676;
RSL_Temp_51::trlist_3681 = trlist_3681;
RSL_Temp_51::res_36B8 = res_36B8;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 RSL_Temp_54 = RSL_compss<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9, RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>((RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9f6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9)RSL_identity, RSL_Temp_51::RSL_Temp_52, res_36B8);

return RSL_Temp_54;
}


namespace RSL_Temp_55 {
// namespace for quantified expression
RSL_lCxlI des_397C;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_3981;
bool RSL_Temp_56(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x230__0 = x__0.RSL_f1;

RSL_lCxlI x231__0 = x__0.RSL_f2;

int x232__0 = x__0.RSL_f3;

RSL_IxIxI x233__0 = x__0.RSL_f4;

RSL_IxIxI x234__0 = x__0.RSL_f5;

int x239__0 = x233__0.RSL_f1;

int x240__0 = x233__0.RSL_f2;

int x241__0 = x233__0.RSL_f3;

bool RSL_Temp_57;

if (((RSL_is_Hour(x239__0)) ? ((RSL_is_Minute(x240__0)) ? RSL_is_Second(x241__0) : false) : false))
{
int x242__0 = x234__0.RSL_f1;

int x243__0 = x234__0.RSL_f2;

int x244__0 = x234__0.RSL_f3;

RSL_Temp_57 = ((RSL_is_Hour(x242__0)) ? ((RSL_is_Minute(x243__0)) ? RSL_is_Second(x244__0) : false) : false);
}
else
{
RSL_Temp_57 = false;
}
return RSL_Temp_57;
}


} // end of namespace RSL_Temp_55


namespace RSL_Temp_58 {
// namespace for comprehended set
RSL_lCxlI des_397C;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_3981;
bool RSL_Temp_59(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_39DB){
RSL_lCxlI x659__0 = tr_39DB.RSL_f1;

RSL_lCxlI x660__0 = tr_39DB.RSL_f2;

int x661__0 = tr_39DB.RSL_f3;

RSL_IxIxI x662__0 = tr_39DB.RSL_f4;

RSL_IxIxI x663__0 = tr_39DB.RSL_f5;

int x668__0 = x662__0.RSL_f1;

int x669__0 = x662__0.RSL_f2;

int x670__0 = x662__0.RSL_f3;

bool RSL_Temp_60;

if (((RSL_is_Hour(x668__0)) ? ((RSL_is_Minute(x669__0)) ? RSL_is_Second(x670__0) : false) : false))
{
int x671__0 = x663__0.RSL_f1;

int x672__0 = x663__0.RSL_f2;

int x673__0 = x663__0.RSL_f3;

RSL_Temp_60 = ((RSL_is_Hour(x671__0)) ? ((RSL_is_Minute(x672__0)) ? RSL_is_Second(x673__0) : false) : false);
}
else
{
RSL_Temp_60 = false;
}
return ((RSL_Temp_60) ? getTravelDestination(tr_39DB) == des_397C : false);
}


} // end of namespace RSL_Temp_58

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 getTravelsTo(const RSL_lCxlI& des_397C, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_3981){
#ifdef RSL_pre

RSL_Temp_55::des_397C = des_397C;
RSL_Temp_55::trlist_3981 = trlist_3981;
if (!(alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_55::RSL_Temp_56, trlist_3981))) RSL_warn("TravelImplicit.rsl:146:3: Arguments of getTravelsTo(" + RSL_to_string(des_397C) + ", " + RSL_to_string(trlist_3981) + ") not in subtypes");
#endif //RSL_pre

RSL_Temp_58::des_397C = des_397C;
RSL_Temp_58::trlist_3981 = trlist_3981;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 RSL_Temp_61 = RSL_compss<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9, RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>((RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9f6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9)RSL_identity, RSL_Temp_58::RSL_Temp_59, trlist_3981);

return RSL_Temp_61;
}


namespace RSL_Temp_63 {
// namespace for quantified expression
RSL_lCxlI des_3B84;
RSL_6IxIxI9x6IxIxI9 timeRange_3B89;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_3B94;
bool RSL_Temp_64(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x270__0 = x__0.RSL_f1;

RSL_lCxlI x271__0 = x__0.RSL_f2;

int x272__0 = x__0.RSL_f3;

RSL_IxIxI x273__0 = x__0.RSL_f4;

RSL_IxIxI x274__0 = x__0.RSL_f5;

int x279__0 = x273__0.RSL_f1;

int x280__0 = x273__0.RSL_f2;

int x281__0 = x273__0.RSL_f3;

bool RSL_Temp_65;

if (((RSL_is_Hour(x279__0)) ? ((RSL_is_Minute(x280__0)) ? RSL_is_Second(x281__0) : false) : false))
{
int x282__0 = x274__0.RSL_f1;

int x283__0 = x274__0.RSL_f2;

int x284__0 = x274__0.RSL_f3;

RSL_Temp_65 = ((RSL_is_Hour(x282__0)) ? ((RSL_is_Minute(x283__0)) ? RSL_is_Second(x284__0) : false) : false);
}
else
{
RSL_Temp_65 = false;
}
return RSL_Temp_65;
}


} // end of namespace RSL_Temp_63


namespace RSL_Temp_67 {
// namespace for comprehended set
RSL_lCxlI des_3B84;
RSL_6IxIxI9x6IxIxI9 timeRange_3B89;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_3B94;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 res_3BCC;
bool RSL_Temp_68(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_3C34){
RSL_lCxlI x674__0 = tr_3C34.RSL_f1;

RSL_lCxlI x675__0 = tr_3C34.RSL_f2;

int x676__0 = tr_3C34.RSL_f3;

RSL_IxIxI x677__0 = tr_3C34.RSL_f4;

RSL_IxIxI x678__0 = tr_3C34.RSL_f5;

int x683__0 = x677__0.RSL_f1;

int x684__0 = x677__0.RSL_f2;

int x685__0 = x677__0.RSL_f3;

bool RSL_Temp_69;

if (((RSL_is_Hour(x683__0)) ? ((RSL_is_Minute(x684__0)) ? RSL_is_Second(x685__0) : false) : false))
{
int x686__0 = x678__0.RSL_f1;

int x687__0 = x678__0.RSL_f2;

int x688__0 = x678__0.RSL_f3;

RSL_Temp_69 = ((RSL_is_Hour(x686__0)) ? ((RSL_is_Minute(x687__0)) ? RSL_is_Second(x688__0) : false) : false);
}
else
{
RSL_Temp_69 = false;
}
return ((RSL_Temp_69) ? isInTimeRange(getTravelDepartureTime(tr_3C34), timeRange_3B89) : false);
}


} // end of namespace RSL_Temp_67

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 getTravelsInDepartureTimeRangeTo(const RSL_lCxlI& des_3B84, const RSL_6IxIxI9x6IxIxI9& timeRange_3B89, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_3B94){
#ifdef RSL_pre

RSL_IxIxI x262__0 = timeRange_3B89.RSL_f1;

RSL_IxIxI x263__0 = timeRange_3B89.RSL_f2;

int x264__0 = x262__0.RSL_f1;

int x265__0 = x262__0.RSL_f2;

int x266__0 = x262__0.RSL_f3;

bool RSL_Temp_62;

if (((RSL_is_Hour(x264__0)) ? ((RSL_is_Minute(x265__0)) ? RSL_is_Second(x266__0) : false) : false))
{
int x267__0 = x263__0.RSL_f1;

int x268__0 = x263__0.RSL_f2;

int x269__0 = x263__0.RSL_f3;

RSL_Temp_62 = ((RSL_is_Hour(x267__0)) ? ((RSL_is_Minute(x268__0)) ? RSL_is_Second(x269__0) : false) : false);
}
else
{
RSL_Temp_62 = false;
}
bool RSL_Temp_66;

if (RSL_Temp_62)
{
RSL_Temp_63::des_3B84 = des_3B84;
RSL_Temp_63::timeRange_3B89 = timeRange_3B89;
RSL_Temp_63::trlist_3B94 = trlist_3B94;
RSL_Temp_66 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_63::RSL_Temp_64, trlist_3B94);
}
else
{
RSL_Temp_66 = false;
}
if (!(RSL_Temp_66)) RSL_warn("TravelImplicit.rsl:151:3: Arguments of getTravelsInDepartureTimeRangeTo(" + RSL_to_string(des_3B84) + ", " + RSL_to_string(timeRange_3B89) + ", " + RSL_to_string(trlist_3B94) + ") not in subtypes");
#endif //RSL_pre

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 res_3BCC = getTravelsTo(des_3B84, trlist_3B94);

RSL_Temp_67::des_3B84 = des_3B84;
RSL_Temp_67::timeRange_3B89 = timeRange_3B89;
RSL_Temp_67::trlist_3B94 = trlist_3B94;
RSL_Temp_67::res_3BCC = res_3BCC;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 RSL_Temp_70 = RSL_compss<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9, RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>((RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9f6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9)RSL_identity, RSL_Temp_67::RSL_Temp_68, res_3BCC);

return RSL_Temp_70;
}


namespace RSL_Temp_71 {
// namespace for quantified expression
int g_3E34;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_3E37;
bool RSL_Temp_72(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x300__0 = x__0.RSL_f1;

RSL_lCxlI x301__0 = x__0.RSL_f2;

int x302__0 = x__0.RSL_f3;

RSL_IxIxI x303__0 = x__0.RSL_f4;

RSL_IxIxI x304__0 = x__0.RSL_f5;

int x309__0 = x303__0.RSL_f1;

int x310__0 = x303__0.RSL_f2;

int x311__0 = x303__0.RSL_f3;

bool RSL_Temp_73;

if (((RSL_is_Hour(x309__0)) ? ((RSL_is_Minute(x310__0)) ? RSL_is_Second(x311__0) : false) : false))
{
int x312__0 = x304__0.RSL_f1;

int x313__0 = x304__0.RSL_f2;

int x314__0 = x304__0.RSL_f3;

RSL_Temp_73 = ((RSL_is_Hour(x312__0)) ? ((RSL_is_Minute(x313__0)) ? RSL_is_Second(x314__0) : false) : false);
}
else
{
RSL_Temp_73 = false;
}
return RSL_Temp_73;
}


} // end of namespace RSL_Temp_71


namespace RSL_Temp_74 {
// namespace for comprehended set
int g_3E34;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_3E37;
bool RSL_Temp_75(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_3E8B){
RSL_lCxlI x689__0 = tr_3E8B.RSL_f1;

RSL_lCxlI x690__0 = tr_3E8B.RSL_f2;

int x691__0 = tr_3E8B.RSL_f3;

RSL_IxIxI x692__0 = tr_3E8B.RSL_f4;

RSL_IxIxI x693__0 = tr_3E8B.RSL_f5;

int x698__0 = x692__0.RSL_f1;

int x699__0 = x692__0.RSL_f2;

int x700__0 = x692__0.RSL_f3;

bool RSL_Temp_76;

if (((RSL_is_Hour(x698__0)) ? ((RSL_is_Minute(x699__0)) ? RSL_is_Second(x700__0) : false) : false))
{
int x701__0 = x693__0.RSL_f1;

int x702__0 = x693__0.RSL_f2;

int x703__0 = x693__0.RSL_f3;

RSL_Temp_76 = ((RSL_is_Hour(x701__0)) ? ((RSL_is_Minute(x702__0)) ? RSL_is_Second(x703__0) : false) : false);
}
else
{
RSL_Temp_76 = false;
}
return ((RSL_Temp_76) ? getTravelGate(tr_3E8B) == g_3E34 : false);
}


} // end of namespace RSL_Temp_74

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 getTravelsFromAGate(const int g_3E34, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_3E37){
#ifdef RSL_pre

RSL_Temp_71::g_3E34 = g_3E34;
RSL_Temp_71::trlist_3E37 = trlist_3E37;
if (!(alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_71::RSL_Temp_72, trlist_3E37))) RSL_warn("TravelImplicit.rsl:158:3: Arguments of getTravelsFromAGate(" + RSL_int_to_string(g_3E34) + ", " + RSL_to_string(trlist_3E37) + ") not in subtypes");
#endif //RSL_pre

RSL_Temp_74::g_3E34 = g_3E34;
RSL_Temp_74::trlist_3E37 = trlist_3E37;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 RSL_Temp_77 = RSL_compss<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9, RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>((RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9f6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9)RSL_identity, RSL_Temp_74::RSL_Temp_75, trlist_3E37);

return RSL_Temp_77;
}


namespace RSL_Temp_78 {
// namespace for quantified expression
RSL_lCxlI st_4021;
RSL_lCxlI des_4025;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_402A;
bool RSL_Temp_79(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x334__0 = x__0.RSL_f1;

RSL_lCxlI x335__0 = x__0.RSL_f2;

int x336__0 = x__0.RSL_f3;

RSL_IxIxI x337__0 = x__0.RSL_f4;

RSL_IxIxI x338__0 = x__0.RSL_f5;

int x343__0 = x337__0.RSL_f1;

int x344__0 = x337__0.RSL_f2;

int x345__0 = x337__0.RSL_f3;

bool RSL_Temp_80;

if (((RSL_is_Hour(x343__0)) ? ((RSL_is_Minute(x344__0)) ? RSL_is_Second(x345__0) : false) : false))
{
int x346__0 = x338__0.RSL_f1;

int x347__0 = x338__0.RSL_f2;

int x348__0 = x338__0.RSL_f3;

RSL_Temp_80 = ((RSL_is_Hour(x346__0)) ? ((RSL_is_Minute(x347__0)) ? RSL_is_Second(x348__0) : false) : false);
}
else
{
RSL_Temp_80 = false;
}
return RSL_Temp_80;
}


} // end of namespace RSL_Temp_78

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 getTravelInfo(const RSL_lCxlI& st_4021, const RSL_lCxlI& des_4025, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_402A){
#ifdef RSL_pre

RSL_Temp_78::st_4021 = st_4021;
RSL_Temp_78::des_4025 = des_4025;
RSL_Temp_78::trlist_402A = trlist_402A;
if (!(alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_78::RSL_Temp_79, trlist_402A))) RSL_warn("TravelImplicit.rsl:163:3: Arguments of getTravelInfo(" + RSL_to_string(st_4021) + ", " + RSL_to_string(des_4025) + ", " + RSL_to_string(trlist_402A) + ") not in subtypes");
#endif //RSL_pre

return getTravelsTo(des_4025, getTravelsFrom(st_4021, trlist_402A));
}


namespace RSL_Temp_82 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_4340;
RSL_lCxlI newStart_4344;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_434E;
bool RSL_Temp_83(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x366__0 = x__0.RSL_f1;

RSL_lCxlI x367__0 = x__0.RSL_f2;

int x368__0 = x__0.RSL_f3;

RSL_IxIxI x369__0 = x__0.RSL_f4;

RSL_IxIxI x370__0 = x__0.RSL_f5;

int x375__0 = x369__0.RSL_f1;

int x376__0 = x369__0.RSL_f2;

int x377__0 = x369__0.RSL_f3;

bool RSL_Temp_84;

if (((RSL_is_Hour(x375__0)) ? ((RSL_is_Minute(x376__0)) ? RSL_is_Second(x377__0) : false) : false))
{
int x378__0 = x370__0.RSL_f1;

int x379__0 = x370__0.RSL_f2;

int x380__0 = x370__0.RSL_f3;

RSL_Temp_84 = ((RSL_is_Hour(x378__0)) ? ((RSL_is_Minute(x379__0)) ? RSL_is_Second(x380__0) : false) : false);
}
else
{
RSL_Temp_84 = false;
}
return RSL_Temp_84;
}


} // end of namespace RSL_Temp_82

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 replaceStart(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_4340, const RSL_lCxlI& newStart_4344, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_434E){
#ifdef RSL_pre

RSL_lCxlI x349__0 = tr_4340.RSL_f1;

RSL_lCxlI x350__0 = tr_4340.RSL_f2;

int x351__0 = tr_4340.RSL_f3;

RSL_IxIxI x352__0 = tr_4340.RSL_f4;

RSL_IxIxI x353__0 = tr_4340.RSL_f5;

int x358__0 = x352__0.RSL_f1;

int x359__0 = x352__0.RSL_f2;

int x360__0 = x352__0.RSL_f3;

bool RSL_Temp_81;

if (((RSL_is_Hour(x358__0)) ? ((RSL_is_Minute(x359__0)) ? RSL_is_Second(x360__0) : false) : false))
{
int x361__0 = x353__0.RSL_f1;

int x362__0 = x353__0.RSL_f2;

int x363__0 = x353__0.RSL_f3;

RSL_Temp_81 = ((RSL_is_Hour(x361__0)) ? ((RSL_is_Minute(x362__0)) ? RSL_is_Second(x363__0) : false) : false);
}
else
{
RSL_Temp_81 = false;
}
bool RSL_Temp_85;

if (RSL_Temp_81)
{
RSL_Temp_82::tr_4340 = tr_4340;
RSL_Temp_82::newStart_4344 = newStart_4344;
RSL_Temp_82::trlist_434E = trlist_434E;
RSL_Temp_85 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_82::RSL_Temp_83, trlist_434E);
}
else
{
RSL_Temp_85 = false;
}
if (!(RSL_Temp_85)) RSL_warn("TravelImplicit.rsl:171:3: Arguments of replaceStart(" + RSL_to_string(tr_4340) + ", " + RSL_to_string(newStart_4344) + ", " + RSL_to_string(trlist_434E) + ") not in subtypes");
if (!(isin(tr_4340, trlist_434E))) RSL_warn("TravelImplicit.rsl:171:3: Precondition of replaceStart(" + RSL_to_string(tr_4340) + ", " + RSL_to_string(newStart_4344) + ", " + RSL_to_string(trlist_434E) + ") not satisfied");
#endif //RSL_pre

return (trlist_434E % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_4340, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) + RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(newTravelStart(tr_4340, newStart_4344), RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99());
}


namespace RSL_Temp_87 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_459E;
RSL_lCxlI newDes_45A2;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_45AA;
bool RSL_Temp_88(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x398__0 = x__0.RSL_f1;

RSL_lCxlI x399__0 = x__0.RSL_f2;

int x400__0 = x__0.RSL_f3;

RSL_IxIxI x401__0 = x__0.RSL_f4;

RSL_IxIxI x402__0 = x__0.RSL_f5;

int x407__0 = x401__0.RSL_f1;

int x408__0 = x401__0.RSL_f2;

int x409__0 = x401__0.RSL_f3;

bool RSL_Temp_89;

if (((RSL_is_Hour(x407__0)) ? ((RSL_is_Minute(x408__0)) ? RSL_is_Second(x409__0) : false) : false))
{
int x410__0 = x402__0.RSL_f1;

int x411__0 = x402__0.RSL_f2;

int x412__0 = x402__0.RSL_f3;

RSL_Temp_89 = ((RSL_is_Hour(x410__0)) ? ((RSL_is_Minute(x411__0)) ? RSL_is_Second(x412__0) : false) : false);
}
else
{
RSL_Temp_89 = false;
}
return RSL_Temp_89;
}


} // end of namespace RSL_Temp_87

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 replaceDestination(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_459E, const RSL_lCxlI& newDes_45A2, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_45AA){
#ifdef RSL_pre

RSL_lCxlI x381__0 = tr_459E.RSL_f1;

RSL_lCxlI x382__0 = tr_459E.RSL_f2;

int x383__0 = tr_459E.RSL_f3;

RSL_IxIxI x384__0 = tr_459E.RSL_f4;

RSL_IxIxI x385__0 = tr_459E.RSL_f5;

int x390__0 = x384__0.RSL_f1;

int x391__0 = x384__0.RSL_f2;

int x392__0 = x384__0.RSL_f3;

bool RSL_Temp_86;

if (((RSL_is_Hour(x390__0)) ? ((RSL_is_Minute(x391__0)) ? RSL_is_Second(x392__0) : false) : false))
{
int x393__0 = x385__0.RSL_f1;

int x394__0 = x385__0.RSL_f2;

int x395__0 = x385__0.RSL_f3;

RSL_Temp_86 = ((RSL_is_Hour(x393__0)) ? ((RSL_is_Minute(x394__0)) ? RSL_is_Second(x395__0) : false) : false);
}
else
{
RSL_Temp_86 = false;
}
bool RSL_Temp_90;

if (RSL_Temp_86)
{
RSL_Temp_87::tr_459E = tr_459E;
RSL_Temp_87::newDes_45A2 = newDes_45A2;
RSL_Temp_87::trlist_45AA = trlist_45AA;
RSL_Temp_90 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_87::RSL_Temp_88, trlist_45AA);
}
else
{
RSL_Temp_90 = false;
}
if (!(RSL_Temp_90)) RSL_warn("TravelImplicit.rsl:177:3: Arguments of replaceDestination(" + RSL_to_string(tr_459E) + ", " + RSL_to_string(newDes_45A2) + ", " + RSL_to_string(trlist_45AA) + ") not in subtypes");
if (!(isin(tr_459E, trlist_45AA))) RSL_warn("TravelImplicit.rsl:177:3: Precondition of replaceDestination(" + RSL_to_string(tr_459E) + ", " + RSL_to_string(newDes_45A2) + ", " + RSL_to_string(trlist_45AA) + ") not satisfied");
#endif //RSL_pre

return (trlist_45AA % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_459E, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) + RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(newTravelDestination(tr_459E, newDes_45A2), RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99());
}


namespace RSL_Temp_92 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_47EF;
int newGate_47F3;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_47FC;
bool RSL_Temp_93(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x428__0 = x__0.RSL_f1;

RSL_lCxlI x429__0 = x__0.RSL_f2;

int x430__0 = x__0.RSL_f3;

RSL_IxIxI x431__0 = x__0.RSL_f4;

RSL_IxIxI x432__0 = x__0.RSL_f5;

int x437__0 = x431__0.RSL_f1;

int x438__0 = x431__0.RSL_f2;

int x439__0 = x431__0.RSL_f3;

bool RSL_Temp_94;

if (((RSL_is_Hour(x437__0)) ? ((RSL_is_Minute(x438__0)) ? RSL_is_Second(x439__0) : false) : false))
{
int x440__0 = x432__0.RSL_f1;

int x441__0 = x432__0.RSL_f2;

int x442__0 = x432__0.RSL_f3;

RSL_Temp_94 = ((RSL_is_Hour(x440__0)) ? ((RSL_is_Minute(x441__0)) ? RSL_is_Second(x442__0) : false) : false);
}
else
{
RSL_Temp_94 = false;
}
return RSL_Temp_94;
}


} // end of namespace RSL_Temp_92

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 replaceGate(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_47EF, const int newGate_47F3, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_47FC){
#ifdef RSL_pre

RSL_lCxlI x413__0 = tr_47EF.RSL_f1;

RSL_lCxlI x414__0 = tr_47EF.RSL_f2;

int x415__0 = tr_47EF.RSL_f3;

RSL_IxIxI x416__0 = tr_47EF.RSL_f4;

RSL_IxIxI x417__0 = tr_47EF.RSL_f5;

int x422__0 = x416__0.RSL_f1;

int x423__0 = x416__0.RSL_f2;

int x424__0 = x416__0.RSL_f3;

bool RSL_Temp_91;

if (((RSL_is_Hour(x422__0)) ? ((RSL_is_Minute(x423__0)) ? RSL_is_Second(x424__0) : false) : false))
{
int x425__0 = x417__0.RSL_f1;

int x426__0 = x417__0.RSL_f2;

int x427__0 = x417__0.RSL_f3;

RSL_Temp_91 = ((RSL_is_Hour(x425__0)) ? ((RSL_is_Minute(x426__0)) ? RSL_is_Second(x427__0) : false) : false);
}
else
{
RSL_Temp_91 = false;
}
bool RSL_Temp_95;

if (RSL_Temp_91)
{
RSL_Temp_92::tr_47EF = tr_47EF;
RSL_Temp_92::newGate_47F3 = newGate_47F3;
RSL_Temp_92::trlist_47FC = trlist_47FC;
RSL_Temp_95 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_92::RSL_Temp_93, trlist_47FC);
}
else
{
RSL_Temp_95 = false;
}
if (!(RSL_Temp_95)) RSL_warn("TravelImplicit.rsl:183:3: Arguments of replaceGate(" + RSL_to_string(tr_47EF) + ", " + RSL_int_to_string(newGate_47F3) + ", " + RSL_to_string(trlist_47FC) + ") not in subtypes");
if (!(((isin(tr_47EF, trlist_47FC)) ? isTravelCorrect(newTravelGate(tr_47EF, newGate_47F3), trlist_47FC % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_47EF, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) : false))) RSL_warn("TravelImplicit.rsl:183:3: Precondition of replaceGate(" + RSL_to_string(tr_47EF) + ", " + RSL_int_to_string(newGate_47F3) + ", " + RSL_to_string(trlist_47FC) + ") not satisfied");
#endif //RSL_pre

return (trlist_47FC % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_47EF, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) + RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(newTravelGate(tr_47EF, newGate_47F3), RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99());
}


namespace RSL_Temp_97 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_4AB3;
RSL_IxIxI newBT_4AB7;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_4ABE;
bool RSL_Temp_98(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x461__0 = x__0.RSL_f1;

RSL_lCxlI x462__0 = x__0.RSL_f2;

int x463__0 = x__0.RSL_f3;

RSL_IxIxI x464__0 = x__0.RSL_f4;

RSL_IxIxI x465__0 = x__0.RSL_f5;

int x470__0 = x464__0.RSL_f1;

int x471__0 = x464__0.RSL_f2;

int x472__0 = x464__0.RSL_f3;

bool RSL_Temp_99;

if (((RSL_is_Hour(x470__0)) ? ((RSL_is_Minute(x471__0)) ? RSL_is_Second(x472__0) : false) : false))
{
int x473__0 = x465__0.RSL_f1;

int x474__0 = x465__0.RSL_f2;

int x475__0 = x465__0.RSL_f3;

RSL_Temp_99 = ((RSL_is_Hour(x473__0)) ? ((RSL_is_Minute(x474__0)) ? RSL_is_Second(x475__0) : false) : false);
}
else
{
RSL_Temp_99 = false;
}
return RSL_Temp_99;
}


} // end of namespace RSL_Temp_97

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 replaceBoardingTime(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_4AB3, const RSL_IxIxI& newBT_4AB7, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_4ABE){
#ifdef RSL_pre

RSL_lCxlI x443__0 = tr_4AB3.RSL_f1;

RSL_lCxlI x444__0 = tr_4AB3.RSL_f2;

int x445__0 = tr_4AB3.RSL_f3;

RSL_IxIxI x446__0 = tr_4AB3.RSL_f4;

RSL_IxIxI x447__0 = tr_4AB3.RSL_f5;

int x452__0 = x446__0.RSL_f1;

int x453__0 = x446__0.RSL_f2;

int x454__0 = x446__0.RSL_f3;

bool RSL_Temp_96;

if (((RSL_is_Hour(x452__0)) ? ((RSL_is_Minute(x453__0)) ? RSL_is_Second(x454__0) : false) : false))
{
int x455__0 = x447__0.RSL_f1;

int x456__0 = x447__0.RSL_f2;

int x457__0 = x447__0.RSL_f3;

RSL_Temp_96 = ((RSL_is_Hour(x455__0)) ? ((RSL_is_Minute(x456__0)) ? RSL_is_Second(x457__0) : false) : false);
}
else
{
RSL_Temp_96 = false;
}
bool RSL_Temp_101;

if (RSL_Temp_96)
{
int x458__0 = newBT_4AB7.RSL_f1;

int x459__0 = newBT_4AB7.RSL_f2;

int x460__0 = newBT_4AB7.RSL_f3;

bool RSL_Temp_100;

if (((RSL_is_Hour(x458__0)) ? ((RSL_is_Minute(x459__0)) ? RSL_is_Second(x460__0) : false) : false))
{
RSL_Temp_97::tr_4AB3 = tr_4AB3;
RSL_Temp_97::newBT_4AB7 = newBT_4AB7;
RSL_Temp_97::trlist_4ABE = trlist_4ABE;
RSL_Temp_100 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_97::RSL_Temp_98, trlist_4ABE);
}
else
{
RSL_Temp_100 = false;
}
RSL_Temp_101 = RSL_Temp_100;
}
else
{
RSL_Temp_101 = false;
}
if (!(RSL_Temp_101)) RSL_warn("TravelImplicit.rsl:190:3: Arguments of replaceBoardingTime(" + RSL_to_string(tr_4AB3) + ", " + RSL_to_string(newBT_4AB7) + ", " + RSL_to_string(trlist_4ABE) + ") not in subtypes");
if (!(((isin(tr_4AB3, trlist_4ABE)) ? isTravelCorrect(newTravelBoardingTime(tr_4AB3, newBT_4AB7), trlist_4ABE % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_4AB3, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) : false))) RSL_warn("TravelImplicit.rsl:190:3: Precondition of replaceBoardingTime(" + RSL_to_string(tr_4AB3) + ", " + RSL_to_string(newBT_4AB7) + ", " + RSL_to_string(trlist_4ABE) + ") not satisfied");
#endif //RSL_pre

return (trlist_4ABE % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_4AB3, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) + RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(newTravelBoardingTime(tr_4AB3, newBT_4AB7), RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99());
}


namespace RSL_Temp_103 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_4D0C;
RSL_IxIxI newDT_4D10;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_4D17;
bool RSL_Temp_104(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x494__0 = x__0.RSL_f1;

RSL_lCxlI x495__0 = x__0.RSL_f2;

int x496__0 = x__0.RSL_f3;

RSL_IxIxI x497__0 = x__0.RSL_f4;

RSL_IxIxI x498__0 = x__0.RSL_f5;

int x503__0 = x497__0.RSL_f1;

int x504__0 = x497__0.RSL_f2;

int x505__0 = x497__0.RSL_f3;

bool RSL_Temp_105;

if (((RSL_is_Hour(x503__0)) ? ((RSL_is_Minute(x504__0)) ? RSL_is_Second(x505__0) : false) : false))
{
int x506__0 = x498__0.RSL_f1;

int x507__0 = x498__0.RSL_f2;

int x508__0 = x498__0.RSL_f3;

RSL_Temp_105 = ((RSL_is_Hour(x506__0)) ? ((RSL_is_Minute(x507__0)) ? RSL_is_Second(x508__0) : false) : false);
}
else
{
RSL_Temp_105 = false;
}
return RSL_Temp_105;
}


} // end of namespace RSL_Temp_103

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 replaceDepartureTime(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_4D0C, const RSL_IxIxI& newDT_4D10, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_4D17){
#ifdef RSL_pre

RSL_lCxlI x476__0 = tr_4D0C.RSL_f1;

RSL_lCxlI x477__0 = tr_4D0C.RSL_f2;

int x478__0 = tr_4D0C.RSL_f3;

RSL_IxIxI x479__0 = tr_4D0C.RSL_f4;

RSL_IxIxI x480__0 = tr_4D0C.RSL_f5;

int x485__0 = x479__0.RSL_f1;

int x486__0 = x479__0.RSL_f2;

int x487__0 = x479__0.RSL_f3;

bool RSL_Temp_102;

if (((RSL_is_Hour(x485__0)) ? ((RSL_is_Minute(x486__0)) ? RSL_is_Second(x487__0) : false) : false))
{
int x488__0 = x480__0.RSL_f1;

int x489__0 = x480__0.RSL_f2;

int x490__0 = x480__0.RSL_f3;

RSL_Temp_102 = ((RSL_is_Hour(x488__0)) ? ((RSL_is_Minute(x489__0)) ? RSL_is_Second(x490__0) : false) : false);
}
else
{
RSL_Temp_102 = false;
}
bool RSL_Temp_107;

if (RSL_Temp_102)
{
int x491__0 = newDT_4D10.RSL_f1;

int x492__0 = newDT_4D10.RSL_f2;

int x493__0 = newDT_4D10.RSL_f3;

bool RSL_Temp_106;

if (((RSL_is_Hour(x491__0)) ? ((RSL_is_Minute(x492__0)) ? RSL_is_Second(x493__0) : false) : false))
{
RSL_Temp_103::tr_4D0C = tr_4D0C;
RSL_Temp_103::newDT_4D10 = newDT_4D10;
RSL_Temp_103::trlist_4D17 = trlist_4D17;
RSL_Temp_106 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_103::RSL_Temp_104, trlist_4D17);
}
else
{
RSL_Temp_106 = false;
}
RSL_Temp_107 = RSL_Temp_106;
}
else
{
RSL_Temp_107 = false;
}
if (!(RSL_Temp_107)) RSL_warn("TravelImplicit.rsl:196:3: Arguments of replaceDepartureTime(" + RSL_to_string(tr_4D0C) + ", " + RSL_to_string(newDT_4D10) + ", " + RSL_to_string(trlist_4D17) + ") not in subtypes");
if (!(((isin(tr_4D0C, trlist_4D17)) ? isTravelCorrect(newTravelDepartureTime(tr_4D0C, newDT_4D10), trlist_4D17 % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_4D0C, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) : false))) RSL_warn("TravelImplicit.rsl:196:3: Precondition of replaceDepartureTime(" + RSL_to_string(tr_4D0C) + ", " + RSL_to_string(newDT_4D10) + ", " + RSL_to_string(trlist_4D17) + ") not satisfied");
#endif //RSL_pre

return (trlist_4D17 % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_4D0C, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) + RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(newTravelDepartureTime(tr_4D0C, newDT_4D10), RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99());
}


namespace RSL_Temp_110 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_4F5D;
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 newTravel_4F61;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_4F6C;
bool RSL_Temp_111(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x539__0 = x__0.RSL_f1;

RSL_lCxlI x540__0 = x__0.RSL_f2;

int x541__0 = x__0.RSL_f3;

RSL_IxIxI x542__0 = x__0.RSL_f4;

RSL_IxIxI x543__0 = x__0.RSL_f5;

int x548__0 = x542__0.RSL_f1;

int x549__0 = x542__0.RSL_f2;

int x550__0 = x542__0.RSL_f3;

bool RSL_Temp_112;

if (((RSL_is_Hour(x548__0)) ? ((RSL_is_Minute(x549__0)) ? RSL_is_Second(x550__0) : false) : false))
{
int x551__0 = x543__0.RSL_f1;

int x552__0 = x543__0.RSL_f2;

int x553__0 = x543__0.RSL_f3;

RSL_Temp_112 = ((RSL_is_Hour(x551__0)) ? ((RSL_is_Minute(x552__0)) ? RSL_is_Second(x553__0) : false) : false);
}
else
{
RSL_Temp_112 = false;
}
return RSL_Temp_112;
}


} // end of namespace RSL_Temp_110

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 replaceTravel(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_4F5D, const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& newTravel_4F61, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_4F6C){
#ifdef RSL_pre

RSL_lCxlI x509__0 = tr_4F5D.RSL_f1;

RSL_lCxlI x510__0 = tr_4F5D.RSL_f2;

int x511__0 = tr_4F5D.RSL_f3;

RSL_IxIxI x512__0 = tr_4F5D.RSL_f4;

RSL_IxIxI x513__0 = tr_4F5D.RSL_f5;

int x518__0 = x512__0.RSL_f1;

int x519__0 = x512__0.RSL_f2;

int x520__0 = x512__0.RSL_f3;

bool RSL_Temp_108;

if (((RSL_is_Hour(x518__0)) ? ((RSL_is_Minute(x519__0)) ? RSL_is_Second(x520__0) : false) : false))
{
int x521__0 = x513__0.RSL_f1;

int x522__0 = x513__0.RSL_f2;

int x523__0 = x513__0.RSL_f3;

RSL_Temp_108 = ((RSL_is_Hour(x521__0)) ? ((RSL_is_Minute(x522__0)) ? RSL_is_Second(x523__0) : false) : false);
}
else
{
RSL_Temp_108 = false;
}
bool RSL_Temp_114;

if (RSL_Temp_108)
{
RSL_lCxlI x524__0 = newTravel_4F61.RSL_f1;

RSL_lCxlI x525__0 = newTravel_4F61.RSL_f2;

int x526__0 = newTravel_4F61.RSL_f3;

RSL_IxIxI x527__0 = newTravel_4F61.RSL_f4;

RSL_IxIxI x528__0 = newTravel_4F61.RSL_f5;

int x533__0 = x527__0.RSL_f1;

int x534__0 = x527__0.RSL_f2;

int x535__0 = x527__0.RSL_f3;

bool RSL_Temp_109;

if (((RSL_is_Hour(x533__0)) ? ((RSL_is_Minute(x534__0)) ? RSL_is_Second(x535__0) : false) : false))
{
int x536__0 = x528__0.RSL_f1;

int x537__0 = x528__0.RSL_f2;

int x538__0 = x528__0.RSL_f3;

RSL_Temp_109 = ((RSL_is_Hour(x536__0)) ? ((RSL_is_Minute(x537__0)) ? RSL_is_Second(x538__0) : false) : false);
}
else
{
RSL_Temp_109 = false;
}
bool RSL_Temp_113;

if (RSL_Temp_109)
{
RSL_Temp_110::tr_4F5D = tr_4F5D;
RSL_Temp_110::newTravel_4F61 = newTravel_4F61;
RSL_Temp_110::trlist_4F6C = trlist_4F6C;
RSL_Temp_113 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_110::RSL_Temp_111, trlist_4F6C);
}
else
{
RSL_Temp_113 = false;
}
RSL_Temp_114 = RSL_Temp_113;
}
else
{
RSL_Temp_114 = false;
}
if (!(RSL_Temp_114)) RSL_warn("TravelImplicit.rsl:202:3: Arguments of replaceTravel(" + RSL_to_string(tr_4F5D) + ", " + RSL_to_string(newTravel_4F61) + ", " + RSL_to_string(trlist_4F6C) + ") not in subtypes");
if (!(((isin(tr_4F5D, trlist_4F6C)) ? isTravelCorrect(newTravel_4F61, trlist_4F6C % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_4F5D, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) : false))) RSL_warn("TravelImplicit.rsl:202:3: Precondition of replaceTravel(" + RSL_to_string(tr_4F5D) + ", " + RSL_to_string(newTravel_4F61) + ", " + RSL_to_string(trlist_4F6C) + ") not satisfied");
#endif //RSL_pre

return (trlist_4F6C % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_4F5D, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99())) + RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(newTravel_4F61, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99());
}


namespace RSL_Temp_116 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_52DD;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_52E1;
bool RSL_Temp_117(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x569__0 = x__0.RSL_f1;

RSL_lCxlI x570__0 = x__0.RSL_f2;

int x571__0 = x__0.RSL_f3;

RSL_IxIxI x572__0 = x__0.RSL_f4;

RSL_IxIxI x573__0 = x__0.RSL_f5;

int x578__0 = x572__0.RSL_f1;

int x579__0 = x572__0.RSL_f2;

int x580__0 = x572__0.RSL_f3;

bool RSL_Temp_118;

if (((RSL_is_Hour(x578__0)) ? ((RSL_is_Minute(x579__0)) ? RSL_is_Second(x580__0) : false) : false))
{
int x581__0 = x573__0.RSL_f1;

int x582__0 = x573__0.RSL_f2;

int x583__0 = x573__0.RSL_f3;

RSL_Temp_118 = ((RSL_is_Hour(x581__0)) ? ((RSL_is_Minute(x582__0)) ? RSL_is_Second(x583__0) : false) : false);
}
else
{
RSL_Temp_118 = false;
}
return RSL_Temp_118;
}


} // end of namespace RSL_Temp_116

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 addTravel(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_52DD, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_52E1){
#ifdef RSL_pre

RSL_lCxlI x554__0 = tr_52DD.RSL_f1;

RSL_lCxlI x555__0 = tr_52DD.RSL_f2;

int x556__0 = tr_52DD.RSL_f3;

RSL_IxIxI x557__0 = tr_52DD.RSL_f4;

RSL_IxIxI x558__0 = tr_52DD.RSL_f5;

int x563__0 = x557__0.RSL_f1;

int x564__0 = x557__0.RSL_f2;

int x565__0 = x557__0.RSL_f3;

bool RSL_Temp_115;

if (((RSL_is_Hour(x563__0)) ? ((RSL_is_Minute(x564__0)) ? RSL_is_Second(x565__0) : false) : false))
{
int x566__0 = x558__0.RSL_f1;

int x567__0 = x558__0.RSL_f2;

int x568__0 = x558__0.RSL_f3;

RSL_Temp_115 = ((RSL_is_Hour(x566__0)) ? ((RSL_is_Minute(x567__0)) ? RSL_is_Second(x568__0) : false) : false);
}
else
{
RSL_Temp_115 = false;
}
bool RSL_Temp_119;

if (RSL_Temp_115)
{
RSL_Temp_116::tr_52DD = tr_52DD;
RSL_Temp_116::trlist_52E1 = trlist_52E1;
RSL_Temp_119 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_116::RSL_Temp_117, trlist_52E1);
}
else
{
RSL_Temp_119 = false;
}
if (!(RSL_Temp_119)) RSL_warn("TravelImplicit.rsl:211:3: Arguments of addTravel(" + RSL_to_string(tr_52DD) + ", " + RSL_to_string(trlist_52E1) + ") not in subtypes");
if (!(isTravelCorrect(tr_52DD, trlist_52E1))) RSL_warn("TravelImplicit.rsl:211:3: Precondition of addTravel(" + RSL_to_string(tr_52DD) + ", " + RSL_to_string(trlist_52E1) + ") not satisfied");
#endif //RSL_pre

return (trlist_52E1 + RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_52DD, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99()));
}


namespace RSL_Temp_121 {
// namespace for quantified expression
RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9 tr_54D4;
RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 trlist_54D8;
bool RSL_Temp_122(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& x__0){
RSL_lCxlI x599__0 = x__0.RSL_f1;

RSL_lCxlI x600__0 = x__0.RSL_f2;

int x601__0 = x__0.RSL_f3;

RSL_IxIxI x602__0 = x__0.RSL_f4;

RSL_IxIxI x603__0 = x__0.RSL_f5;

int x608__0 = x602__0.RSL_f1;

int x609__0 = x602__0.RSL_f2;

int x610__0 = x602__0.RSL_f3;

bool RSL_Temp_123;

if (((RSL_is_Hour(x608__0)) ? ((RSL_is_Minute(x609__0)) ? RSL_is_Second(x610__0) : false) : false))
{
int x611__0 = x603__0.RSL_f1;

int x612__0 = x603__0.RSL_f2;

int x613__0 = x603__0.RSL_f3;

RSL_Temp_123 = ((RSL_is_Hour(x611__0)) ? ((RSL_is_Minute(x612__0)) ? RSL_is_Second(x613__0) : false) : false);
}
else
{
RSL_Temp_123 = false;
}
return RSL_Temp_123;
}


} // end of namespace RSL_Temp_121

RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99 deleteTravel(const RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9& tr_54D4, const RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99& trlist_54D8){
#ifdef RSL_pre

RSL_lCxlI x584__0 = tr_54D4.RSL_f1;

RSL_lCxlI x585__0 = tr_54D4.RSL_f2;

int x586__0 = tr_54D4.RSL_f3;

RSL_IxIxI x587__0 = tr_54D4.RSL_f4;

RSL_IxIxI x588__0 = tr_54D4.RSL_f5;

int x593__0 = x587__0.RSL_f1;

int x594__0 = x587__0.RSL_f2;

int x595__0 = x587__0.RSL_f3;

bool RSL_Temp_120;

if (((RSL_is_Hour(x593__0)) ? ((RSL_is_Minute(x594__0)) ? RSL_is_Second(x595__0) : false) : false))
{
int x596__0 = x588__0.RSL_f1;

int x597__0 = x588__0.RSL_f2;

int x598__0 = x588__0.RSL_f3;

RSL_Temp_120 = ((RSL_is_Hour(x596__0)) ? ((RSL_is_Minute(x597__0)) ? RSL_is_Second(x598__0) : false) : false);
}
else
{
RSL_Temp_120 = false;
}
bool RSL_Temp_124;

if (RSL_Temp_120)
{
RSL_Temp_121::tr_54D4 = tr_54D4;
RSL_Temp_121::trlist_54D8 = trlist_54D8;
RSL_Temp_124 = alls<RSL_6lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI9>(RSL_Temp_121::RSL_Temp_122, trlist_54D8);
}
else
{
RSL_Temp_124 = false;
}
if (!(RSL_Temp_124)) RSL_warn("TravelImplicit.rsl:216:3: Arguments of deleteTravel(" + RSL_to_string(tr_54D4) + ", " + RSL_to_string(trlist_54D8) + ") not in subtypes");
if (!(isin(tr_54D4, trlist_54D8))) RSL_warn("TravelImplicit.rsl:216:3: Precondition of deleteTravel(" + RSL_to_string(tr_54D4) + ", " + RSL_to_string(trlist_54D8) + ") not satisfied");
#endif //RSL_pre

return (trlist_54D8 % RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99(tr_54D4, RSL_s66lCxlI9x6lCxlI9xIx6IxIxI9x6IxIxI99()));
}