OpenFlow0x01_Plugin (p.frenetic.5.0.5.doc.frenetic.async.Frenetic_async.OpenFlow0x01

Sourceval start : int -> unit

Sourceval events : Frenetic_kernel.OpenFlow.event Async.Pipe.Reader.t

val switch_features : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_kernel.OpenFlow.switchFeatures option Async.Deferred.t

Source

val packet_out : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_kernel.OpenFlow.portId option ->
  Frenetic_kernel.OpenFlow.payload ->
  Frenetic_netkat.Syntax.policy list ->
  unit Async.Deferred.t

Source

val flow_stats : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_kernel.OpenFlow.Pattern.t ->
  Frenetic_kernel.OpenFlow.flowStats Async.Deferred.t

Source

val port_stats : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_kernel.OpenFlow.portId ->
  Frenetic_kernel.OpenFlow.portStats Async.Deferred.t

Sourceval update : Frenetic_netkat.Local_compiler.t -> unit Async.Deferred.t

Source

val update_switch : 
  Frenetic_kernel.OpenFlow.switchId ->
  Frenetic_netkat.Local_compiler.t ->
  unit Async.Deferred.t

Sourcetype rpc_ack =

| RpcOk
| RpcEof

Sourcemodule LowLevel : sig ... end