Ox.PlatformSourcePlatform defines functions for sending OpenFlow messages to switches and wrapping thunks with timeouts.
val send_packet_out :
Frenetic_kernel.OpenFlow0x01.switchId ->
Frenetic_kernel.OpenFlow0x01.xid ->
Frenetic_kernel.OpenFlow0x01.packetOut ->
unitval send_flow_mod :
Frenetic_kernel.OpenFlow0x01.switchId ->
Frenetic_kernel.OpenFlow0x01.xid ->
Frenetic_kernel.OpenFlow0x01.flowMod ->
unitval send_stats_request :
Frenetic_kernel.OpenFlow0x01.switchId ->
Frenetic_kernel.OpenFlow0x01.xid ->
Frenetic_kernel.OpenFlow0x01.request ->
unitval send_barrier_request :
Frenetic_kernel.OpenFlow0x01.switchId ->
Frenetic_kernel.OpenFlow0x01.xid ->
unit