Module Frenetic_async.OpenFlow0x04_Plugin

val send_message : Async.Writer.t ‑> Frenetic_kernel.OpenFlow_Header.xid ‑> Frenetic_kernel.OpenFlow0x04.Message.t ‑> unit

val implement_group_table : Async.Writer.t ‑> Frenetic_kernel.GroupTable0x04.t ‑> unit

val mask_meta : int ‑> int64 Frenetic_kernel.OpenFlow0x04.mask

val implement_flow : Async.Writer.t ‑> Frenetic_netkat.Local_compiler.t ‑> Frenetic_netkat.Local_compiler.flow_layout ‑> Frenetic_kernel.OpenFlow.switchId ‑> unit

val implement_tolerant_flow : Async.Writer.t ‑> Frenetic_netkat.Local_compiler.t ‑> Frenetic_kernel.Net.Net.Topology.t ‑> Frenetic_kernel.OpenFlow.switchId ‑> unit

val process_message : Frenetic_kernel.OpenFlow_Header.xid ‑> Frenetic_kernel.OpenFlow0x04.Message.t ‑> (Frenetic_kernel.OpenFlow_Header.xid ‑> Frenetic_kernel.OpenFlow0x04.Message.t ‑> unit) ‑> (Frenetic_kernel.OpenFlow.switchId ‑> unit) ‑> unit

val read_respond_loop : Async.Reader.t ‑> (Frenetic_kernel.OpenFlow_Header.xid ‑> Frenetic_kernel.OpenFlow0x04.Message.t ‑> unit) ‑> (Frenetic_kernel.OpenFlow.switchId ‑> unit) ‑> unit ‑> [ `Finished of unit | `Repeat of unit ] Async.Deferred.t

val client_handler : Async.Reader.t ‑> (Frenetic_kernel.OpenFlow_Header.xid ‑> Frenetic_kernel.OpenFlow0x04.Message.t ‑> unit) ‑> (Frenetic_kernel.OpenFlow.switchId ‑> unit) ‑> unit Async.Deferred.t

val main : int ‑> string ‑> Frenetic_netkat.Local_compiler.flow_layout ‑> unit ‑> unit

val fault_tolerant_main : int ‑> string ‑> string ‑> unit ‑> unit