package frenetic

  1. Overview
  2. Docs
package frenetic
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Frenetic_netkatSource

Sourcemodule Bisim : sig ... end
Sourcemodule Domain : sig ... end

The domain of an FDD/Automaton is given by the set of values occuring with each field, either in a test or a modification.

Sourcemodule FabricGen : sig ... end
Sourcemodule Fdd : sig ... end

Forwarding Decision Diagrams

Sourcemodule Generated_Parser : sig ... end
Sourcemodule Global_compiler : sig ... end
Sourcemodule Json : sig ... end
Sourcemodule LexBuffer : sig ... end

A custom lexbuffer that automatically keeps track of the source location. This module is a thin wrapper arounds sedlexing's default buffer, which does not provide this functionality.

Sourcemodule Lexer : sig ... end
Sourcemodule Local_compiler : sig ... end
Sourcemodule Optimize : sig ... end
Sourcemodule Packet : sig ... end

A packet is a map from fields to values.

Sourcemodule Parser : sig ... end

parsing NetKAT polcies and predicates

Sourcemodule Portless_Compiler : sig ... end
Sourcemodule Portless_Generated_Parser : sig ... end
Sourcemodule Pretty : sig ... end
Sourcemodule Semantics : sig ... end
Sourcemodule Syntax : sig ... end

NetKAT Syntax

Sourcemodule Tokens : sig ... end
Sourcemodule Virtual_Compiler : sig ... end
Sourcemodule Vlr : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct