static Main()
{
AnonFun1 = new AnonFun1_Class();
AnonFun0 = new AnonFun0_Class();
AnonFun2 = new AnonFun2_Class();
AnonFun3 = new AnonFun3_Class();
Action2 = new Action2_Class();
AnonFun4 = new AnonFun4_Class();
AnonFun5 = new AnonFun5_Class();
Main_InitPingPong = new Main_InitPingPong_Class("Main_InitPingPong", AnonFun1, AnonFun0, false, StateTemperature.Warm);
PrtTransition transition_1 = new PrtTransition(AnonFun2, Main_Fail, false);
Main_InitPingPong.transitions.Add(dummy, transition_1);
PrtTransition transition_2 = new PrtTransition(PrtCommonFunctions.SkipFun, Main_Success, true);
Main_InitPingPong.transitions.Add(E, transition_2);
Main_Fail = new Main_Fail_Class("Main_Fail", AnonFun3, AnonFun0, false, StateTemperature.Warm);
PrtTransition transition_3 = new PrtTransition(Action2, Main_InitPingPong, false);
Main_Fail.transitions.Add(dummy, transition_3);
PrtTransition transition_4 = new PrtTransition(AnonFun4, Main_Success, false);
Main_Fail.transitions.Add(E, transition_4);
Main_Success = new Main_Success_Class("Main_Success", AnonFun0, AnonFun0, false, StateTemperature.Warm);
PrtTransition transition_5 = new PrtTransition(AnonFun5, Main_InitPingPong, false);
Main_Success.transitions.Add(dummy, transition_5);
PrtTransition transition_6 = new PrtTransition(PrtCommonFunctions.SkipFun, Main_Fail, true);
Main_Success.transitions.Add(E, transition_6);
}
static Main()
{
ignore = new ignore_Class();
Action2 = new Action2_Class();
Action1 = new Action1_Class();
AnonFun0 = new AnonFun0_Class();
AnonFun1 = new AnonFun1_Class();
AnonFun2 = new AnonFun2_Class();
AnonFun3 = new AnonFun3_Class();
AnonFun4 = new AnonFun4_Class();
AnonFun5 = new AnonFun5_Class();
AnonFun6 = new AnonFun6_Class();
AnonFun7 = new AnonFun7_Class();
AnonFun8 = new AnonFun8_Class();
AnonFun9 = new AnonFun9_Class();
AnonFun10 = new AnonFun10_Class();
Main_Fail = new Main_Fail_Class("Main_Fail", AnonFun1, AnonFun2, false, StateTemperature.Warm);
Main_InitPingPong = new Main_InitPingPong_Class("Main_InitPingPong", AnonFun3, AnonFun4, false, StateTemperature.Warm);
Main_Success = new Main_Success_Class("Main_Success", AnonFun6, AnonFun7, false, StateTemperature.Warm);
PrtTransition transition_1 = new PrtTransition(Action2, Main_InitPingPong, false);
Main_Fail.transitions.Add(Events_598197390.dummy, transition_1);
PrtTransition transition_2 = new PrtTransition(AnonFun0, Main_Success, false);
Main_Fail.transitions.Add(Events_598197390.E, transition_2);
PrtTransition transition_3 = new PrtTransition(PrtFun.IgnoreFun, Main_Success, true);
Main_InitPingPong.transitions.Add(Events_598197390.E, transition_3);
PrtTransition transition_4 = new PrtTransition(AnonFun5, Main_Fail, false);
Main_InitPingPong.transitions.Add(Events_598197390.dummy, transition_4);
PrtTransition transition_5 = new PrtTransition(PrtFun.IgnoreFun, Main_Fail, true);
Main_Success.transitions.Add(Events_598197390.E, transition_5);
PrtTransition transition_6 = new PrtTransition(AnonFun8, Main_InitPingPong, false);
Main_Success.transitions.Add(Events_598197390.dummy, transition_6);
}