public Timer_WaitForCancel_Class(string name, PrtFun entryFun, PrtFun exitFun, bool hasNullTransition, StateTemperature temperature) : base(name, entryFun, exitFun, hasNullTransition, temperature)
{
}
public ignore_StackFrame(PrtFun fun, List <PrtValue> locs) : base(fun, locs)
{
}
public UserMachine_S1_Class(string name, PrtFun entryFun, PrtFun exitFun, bool hasNullTransition, StateTemperature temperature) : base(name, entryFun, exitFun, hasNullTransition, temperature)
{
}
public PONG_Pong_WaitPing_Class(string name, PrtFun entryFun, PrtFun exitFun, bool hasNullTransition, StateTemperature temperature) : base(name, entryFun, exitFun, hasNullTransition, temperature)
{
}
public POrbMachine_ReadMessagesAndPublish_Class(string name, PrtFun entryFun, PrtFun exitFun, bool hasNullTransition, StateTemperature temperature) : base(name, entryFun, exitFun, hasNullTransition, temperature)
{
}
public AnonFun5_StackFrame(PrtFun fun, List <PrtValue> _locals, int retLocation) : base(fun, _locals, retLocation)
{
}
public Broadcast_StackFrame(PrtFun fun, List <PrtValue> _locals) : base(fun, _locals)
{
}
public AnonFun10_StackFrame(PrtFun fun, List <PrtValue> locs, int retLocation) : base(fun, locs, retLocation)
{
}
public IsSubscribed_StackFrame(PrtFun fun, List <PrtValue> _locals) : base(fun, _locals)
{
}
public IsSubscribed_StackFrame(PrtFun fun, List <PrtValue> _locals, int retLocation) : base(fun, _locals, retLocation)
{
}
public InitializeListener_StackFrame(PrtFun fun, List <PrtValue> _locals, int retLocation) : base(fun, _locals, retLocation)
{
}
public InitializeListener_StackFrame(PrtFun fun, List <PrtValue> _locals) : base(fun, _locals)
{
}
public ignore_StackFrame(PrtFun fun, List <PrtValue> _locals) : base(fun, _locals)
{
}
public ignore_StackFrame(PrtFun fun, List <PrtValue> locs, int retLocation) : base(fun, locs, retLocation)
{
}
public Broadcast_StackFrame(PrtFun fun, List <PrtValue> _locals, int retLocation) : base(fun, _locals, retLocation)
{
}
public AnonFun10_StackFrame(PrtFun fun, List <PrtValue> locs) : base(fun, locs)
{
}
public AnonFun5_StackFrame(PrtFun fun, List <PrtValue> _locals) : base(fun, _locals)
{
}
public Main_Init_Class(string name, PrtFun entryFun, PrtFun exitFun, bool hasNullTransition, StateTemperature temperature) : base(name, entryFun, exitFun, hasNullTransition, temperature)
{
}
public Action1_StackFrame(PrtFun fun, List <PrtValue> locs) : base(fun, locs)
{
}