package frenetic

  1. Overview
  2. Docs
package frenetic
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

module Field : sig ... end

for each field, a set of values

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