public TopPipe_Args_Instance_Set_nhopTopPipe_Args_Action(IPv4Address ipv4_dest, PortId port) : base(action_list.TopPipe_Args_Instance_Set_nhopTopPipe_Args)
{
this.ipv4_dest = ipv4_dest;
this.port = port;
}
void Set_nhop(TopPipe_Args TopPipe_Args, IPv4Address ipv4_dest, PortId port)
{
TopPipe_Args.Instance.nextHop = ipv4_dest;
TopPipe_Args.headers.ip.ttl = (TopPipe_Args.headers.ip.ttl - 1);
TopPipe_Args.outCtrl.outputPort = port;
}
