Module Global_compiler.AutomatonSource

Intermediate representation of global compiler: NetKAT Automata

Sourcetype 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;
}
Sourceval add_to_t : t -> (FDD.t * FDD.t) -> int64
Sourceval fold_reachable : ?order:[< `Post | `Pre Pre ] -> t -> init:'a -> f:('a -> int64 -> (FDD.t * FDD.t) -> 'a) -> 'a
Sourceval of_policy : ?dedup:bool -> ?ing:Syntax.pred -> ?cheap_minimize:bool -> Syntax.policy -> t
Sourceval to_local : pc:Fdd.Field.t -> t -> FDD.t
Sourceval to_dot : t -> string
Sourceval render : ?format:string -> ?title:string -> t -> unit

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

Sourceval skip_topo_states : t -> (int64, int64 * int64) Core.Hashtbl.t * (int64 * int64, Core.Int64.Set.t) Core.Hashtbl.t