Module Global_compiler.FDDSource

include module type of Fdd.FDD with type t = Fdd.FDD.t and type r = Frenetic_netkat.Local_compiler.Action.t and type v = Frenetic_netkat.Local_compiler.Field.t * Frenetic_netkat.Local_compiler.Value.t

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

include sig ... end
type comparator_witness
val comparator : (t, comparator_witness) Core_kernel__Comparator.comparator
Sourcetype d = private
  1. | Leaf of r
  2. | Branch of {
    1. test : v;
    2. tru : t;
    3. fls : t;
    4. all_fls : t;
    }
Sourcemodule Tbl : sig ... end
Sourcemodule BinTbl : sig ... end
Sourceval get : d -> t
Sourceval unget : t -> d
Sourceval get_uid : t -> int
Sourceval drop : t
Sourceval id : t
Sourceval const : r -> t
Sourceval atom : v -> r -> r -> t
Sourceval cond : v -> t -> t -> t
Sourceval unchecked_cond : v -> t -> t -> t
Sourceval restrict : v list -> t -> t
Sourceval map : f:(r -> t) -> g:(v -> t -> t -> t) -> t -> t
Sourceval dp_map : f:(r -> t) -> g:(v -> t -> t -> t) -> t -> find_or_add:(t -> default:(unit -> t) -> t) -> t
Sourceval map_r : f:(r -> r) -> t -> t
Sourceval fold : f:(r -> 'a) -> g:(v -> 'a -> 'a -> 'a) -> t -> 'a
Sourceval equal : t -> t -> bool
Sourceval sum : t -> t -> t
Sourceval prod : t -> t -> t
Sourceval compare : t -> t -> int
Sourceval to_string : t -> string
Sourceval clear_cache : preserve:Core.Int.Set.t -> unit
Sourceval compressed_size : t -> int
Sourceval uncompressed_size : t -> int
Sourceval to_dot : t -> string
Sourceval refs : t -> Core.Int.Set.t
Sourceval serialize : t -> string
Sourceval deserialize : string -> t
Sourceval render : ?format:string -> ?title:string -> t -> unit
Sourceval mk_cont : int64 -> t
Sourceval conts : t -> Core.Int64.Set.t
Sourceval map_conts : t -> f:(int64 -> int64) -> t
Sourceval equivalent : t -> t -> bool
Sourceval union : t -> t -> t
Sourceval seq : t -> t -> t
Sourceval star : t -> t
Sourceval big_union : t list -> t