package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

The Frenetic Programming Language and Runtime System

Install

Dune Dependency

frenetic-lang.org Readme Edit opam file Versions (1)

Authors

A

Arjun Guha <arjun@cs.umass.edu>, Nate Foster <jnfoster@cs.cornell.edu>, Steffen Smolka <smolka@cs.cornell.edu>

Maintainers

N

Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz

md5=baf754df13a759c32f2c86a1b6f328da

sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.async/Frenetic_async/OpenFlow0x04_Plugin/index.html

Module `Frenetic_async.OpenFlow0x04_Plugin`Source

Source

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

Source

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

Sourceval mask_meta : int -> int64 Frenetic_kernel.OpenFlow0x04.mask

Source

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

Source

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

Source

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

Source

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

Source

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

Source

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

Sourceval fault_tolerant_main : int -> string -> string -> unit -> unit

package frenetic

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frenetic.async/Frenetic_async/OpenFlow0x04_Plugin/index.html

Module Frenetic_async.OpenFlow0x04_PluginSource

Module `Frenetic_async.OpenFlow0x04_Plugin`Source