Construct the predicate matching packets on this switch and port

Abbreviation for predicate union.

Abbreviation for predicate intersection.

Matches all packets.

Matches no packets.

Abbreviation for predicate negation.

Construct the set difference between p1 and p2

Construct nary union of a list of predicates

Construct nary intersection of a list of predicates

Forward the packet out of all physical ports, except the packet's ingress port.

Forward the packet out of the specified physical ports.

Forward the packet out of the specified physical ports with modifications.

Each port has its own record of modifications, so modifications at one port do not interfere with modifications at another port.

Abbreviation for constructing a basic policy from a predicate and an action.

Restrict a policy to act over packets matching the predicate.

Join: overloaded to find the union of policies and the join of actions.

Match switch identifier.

Match ethernet source address.

Match ethernet destination address.

Match ethernet type code (e.g., 0x0800 for IP packets).

Match VLAN tag.

Match Vlan untagged

Match VLAN priority

Match source IP address.

This is only meaningful in combination with 'dlTyp 0x0800'.

Match destination IP address.

Match a prefix of the source IP address.

Match a prefix of the destination IP address.

Match IP protocol code (e.g., 0x6 indicates TCP segments).

Match IP TOS field.

Match IP source port.

Match IP destination port.

Match the ingress port on which packets arrive.

For each fields with a value Just v, modify that field to be v. If the field is Nothing then there is no modification of that field.