Module Frenetic_netkat.Optimize

val mk_and : Syntax.pred ‑> Syntax.pred ‑> Syntax.pred

val mk_or : Syntax.pred ‑> Syntax.pred ‑> Syntax.pred

val mk_not : Syntax.pred ‑> Syntax.pred

val mk_filter : Syntax.pred ‑> Syntax.policy

val mk_union : Syntax.policy ‑> Syntax.policy ‑> Syntax.policy

val mk_seq : Syntax.policy ‑> Syntax.policy ‑> Syntax.policy

val mk_star : Syntax.policy ‑> Syntax.policy

val specialize_pred : Syntax.switchId ‑> Syntax.pred ‑> Syntax.pred

val specialize_policy : Syntax.switchId ‑> Syntax.policy ‑> Syntax.policy

val mk_big_and : Syntax.pred list ‑> Syntax.pred

val mk_big_or : Syntax.pred list ‑> Syntax.pred

val mk_big_union : Syntax.policy list ‑> Syntax.policy

val mk_big_seq : Syntax.policy list ‑> Syntax.policy

val norm_policy : Syntax.policy ‑> Syntax.policy

val flatten_union : Syntax.policy ‑> Syntax.policy list

Warning: will re-order the elements in a union