Module Frenetic_netkat.Local_compiler.FDD

include module type of Fdd.FDD with type FDD.t = Fdd.FDD.t and type FDD.r = Action.t and type FDD.v = Field.t * Value.t
type t = Fdd.FDD.t
type v = Field.t * Value.t
type r = Action.t
module Tbl : sig ... end
module BinTbl : sig ... end
val get : d ‑> t
val unget : t ‑> d
val get_uid : t ‑> int
val drop : t
val id : t
val const : r ‑> t
val atom : v ‑> r ‑> r ‑> t
val cond : v ‑> t ‑> t ‑> t
val unchecked_cond : v ‑> t ‑> t ‑> t
val restrict : v list ‑> t ‑> t
val map : f:(r ‑> t) ‑> g:(v ‑> t ‑> t ‑> t) ‑> t ‑> t
val dp_map : f:(r ‑> t) ‑> g:(v ‑> t ‑> t ‑> t) ‑> t ‑> find_or_add:(t ‑> default:(unit ‑> t) ‑> t) ‑> t
val map_r : f:(r ‑> r) ‑> t ‑> t
val fold : f:(r ‑> 'a) ‑> g:(v ‑> 'a ‑> 'a ‑> 'a) ‑> t ‑> 'a
val equal : t ‑> t ‑> bool
val sum : t ‑> t ‑> t
val prod : t ‑> t ‑> t
val compare : t ‑> t ‑> int
val to_string : t ‑> string
val clear_cache : preserve:Core.Int.Set.t ‑> unit
val compressed_size : t ‑> int
val uncompressed_size : t ‑> int
val to_dot : t ‑> string
val refs : t ‑> Core.Int.Set.t
val serialize : t ‑> string
val deserialize : string ‑> t
val render : ?⁠format:string ‑> ?⁠title:string ‑> t ‑> unit
val mk_cont : int64 ‑> t
val conts : t ‑> Core.Int64.Set.t
val map_conts : t ‑> f:(int64 ‑> int64) ‑> t
val of_pred : Field.Env.t ‑> Syntax.pred ‑> t
val of_mod : Field.Env.t ‑> Syntax.header_val ‑> t
val union : t ‑> t ‑> t
val seq : t ‑> t ‑> t
val star : t ‑> t
val big_union : t list ‑> t