Module Frenetic_netkat.Fdd.FDD

An FDD is an instance of a Variable-Lattice-Result (VLR) structure.

include module type of sig ... end with type r = Action.t and type v = Field.t * Value.t
type v = Field.t * Value.t
type r = Action.t
type d = private Frenetic_netkat__Vlr.Make(Field)(Value)(Action).d =
| Leaf of r
| Branch of {
test : v;
tru : t;
fls : t;
all_fls : 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