Module Frenetic_netkat.Global_compiler.Automaton

Intermediate representation of global compiler: NetKAT Automata

type t

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