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.netkat/Frenetic_netkat/Fdd/Pattern/index.html

Module `Fdd.Pattern`Source

Sourcetype t = Field.t * Value.t

Sourceval compare : t -> t -> int

compare p1 p2 compares two patterns - the field ordering is used for differing fields, and the natural order of integers for patterns with the same field

Sourceval equal : t -> t -> bool

Sourceval of_hv : ?env:Field.Env.t -> Syntax.header_val -> t

of_hv header_value converts a NetKAT header_value pair to a pattern

Sourceval to_hv : t -> Syntax.header_val

to_hv p converts a pattern to a NetKAT header_value pair

Sourceval to_pred : t -> Syntax.pred

to_pred p converts a pattern to a NetKAT predicate

Source

val to_sdn : 
  t ->
  Frenetic_kernel.OpenFlow.Pattern.t ->
  Frenetic_kernel.OpenFlow.Pattern.t