package frenetic

  1. Overview
  2. Docs
The Frenetic Programming Language and Runtime System

Install 

dune-project
 Dependency

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

Authors

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

Maintainers

  1. N
    Nate Foster <jnfoster@cs.cornell.edu>

Sources

5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29

doc/frenetic.netkat/Frenetic_netkat/Fdd/Action/index.html

Module Fdd.ActionSource

Sourcetype field_or_cont =
  1. | F of Field.t
  2. | K
Sourceval sexp_of_field_or_cont : field_or_cont -> Ppx_sexp_conv_lib.Sexp.t
Sourceval field_or_cont_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> field_or_cont
Sourcemodule Seq : sig ... end
Sourcemodule Par : sig ... end
type t = Par.t
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
include Vlr.Result with type t := t
include Vlr.HashCmp with type t := t
val equal : t -> t -> Ppx_deriving_runtime.bool
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
Sourceval compare : t -> t -> int
Sourceval sum : t -> t -> t

An associative and commutative binary operation over the type t. The following should hold:

  • sum a (sum b c) = sum (sum a b) c.
  • sum a b = sum b a.
Sourceval prod : t -> t -> t

An associative binary operation over the type t. The following should hold:

  • prod a (prod b c) = prod (prod a b) c.
  • prod a (sum b c) = sum (prod a b) (prod a c).
Sourceval one : t

one returns identify action, which is a modification representing "no modifications"

Sourceval zero : t

zero returns empty action, which consistently with OpenFlow, means "drop"

Sourceval negate : t -> t

negate action implements negation for the zero and one actions. Any non-zero action will be mapped to zero by this function.

Sourceval to_policy : t -> Syntax.policy

to_policy a converts an action to a NetKAT policy. Since it's only modifications, it will have no predicates

Sourceval demod : Pattern.t -> t -> t

demod pattern removes any patterns from actions

Sourceval to_sdn : ?group_tbl:Frenetic_kernel.GroupTable0x04.t -> Core.Int64.t option -> t -> Frenetic_kernel.OpenFlow.par

to_sdn switch action converts a NetKAT action to an SDN action. At the moment this function assumes that fields are assigned to proper bitwidth integers, and does no validation along those lines. If the input is derived from a NetKAT surface syntax program, then this assumption likely holds.

Sourceval get_queries : t -> string list

get_queries action returns a list of queries used in actions. May have dupes.

Sourceval pipes : t -> Core.String.Set.t

get_pipes action returns a set of pipes used in actions

Sourceval queries : t -> string list

queries action returns a de-duped set of queries referenced in action

Sourceval to_string : t -> string