Module Frenetic_netkat.DomainSource

The domain of an FDD/Automaton is given by the set of values occuring with each field, either in a test or a modification.

Sourcemodule Field : sig ... end
Sourcetype t = Core.Set.M(Core.Int64).t Core.Map.M(Field).t

for each field, a set of values

Sourceval empty : t
Sourceval merge : t -> t -> t
Sourceval of_fdd : Fdd.FDD.t -> t
Sourceval of_automaton : Global_compiler.Automaton.t -> t
Sourceval representative_pks : t -> Packet.t list