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; }