package frenetic

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

Intermediate representation of global compiler: NetKAT Automata

type t = private {
  1. states : (int64, FDD.t * FDD.t) Core.Hashtbl.t;
  2. has_state : (FDD.t * FDD.t, int64) Core.Hashtbl.t;
  3. mutable source : int64;
  4. mutable nextState : int64;
}
val add_to_t : t -> (FDD.t * FDD.t) -> int64
val fold_reachable : ?order:[< `Post | `Pre Pre ] -> t -> init:'a -> f:('a -> int64 -> (FDD.t * FDD.t) -> 'a) -> 'a
val of_policy : ?dedup:bool -> ?ing:Syntax.pred -> ?cheap_minimize:bool -> Syntax.policy -> t
val to_local : pc:Fdd.Field.t -> t -> FDD.t
val to_dot : t -> string
val render : ?format:string -> ?title:string -> t -> unit

Compiles the provided automaton `t` using `graphviz`, and opens the resulting file.

val skip_topo_states : t -> (int64, int64 * int64) Core.Hashtbl.t * (int64 * int64, Core.Int64.Set.t) Core.Hashtbl.t
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