package frenetic

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Bisim : sig ... end
module 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.

module FabricGen : sig ... end
module Fdd : sig ... end

Forwarding Decision Diagrams

module Generated_Parser : sig ... end
module Global_compiler : sig ... end
module Json : sig ... end
module 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.

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

A packet is a map from fields to values.

module Parser : sig ... end

parsing NetKAT polcies and predicates

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

NetKAT Syntax

module Tokens : sig ... end
module Virtual_Compiler : sig ... end
module Vlr : sig ... end