Module Frenetic_netkat.Fdd.Pattern

type t = Field.t * Value.t
val compare : t ‑> t ‑> int

compare p1 p2 compares two patterns - the field ordering is used for differing fields, and the natural order of integers for patterns with the same field

val equal : t ‑> t ‑> bool
val of_hv : ?⁠env:Field.Env.t ‑> Syntax.header_val ‑> t

of_hv header_value converts a NetKAT header_value pair to a pattern

val to_hv : t ‑> Syntax.header_val

to_hv p converts a pattern to a NetKAT header_value pair

val to_pred : t ‑> Syntax.pred

to_pred p converts a pattern to a NetKAT predicate

val to_sdn : t ‑> Frenetic_kernel.OpenFlow.Pattern.t ‑> Frenetic_kernel.OpenFlow.Pattern.t