Starts an OpenFlow controller that runs a static NetCore program.

Starts an OpenFlow controller that runs dynamic NetCore programs.

The controller reads NetCore programs from the given channel. When the controller receives a program on the channel, it compiles it and reconfigures the network to run it.

Policies denote functions from (switch, packet) to packets.

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.

Predicates to match packets.

A predicate that exactly matches a packet's headers.

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

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.

Actions to perform on packets.

Forward the packet out of the specified physical ports.

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

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.

Sends packets to the controller.

Returns an Action and a channel. When the Action is used in the active Policy, all matching packets are sent to the controller. These packets are written into the channel.

Periodically polls the network to counts the number of bytes received.

Returns an Action and a channel. When the Action is used in the active Policy, the controller periodically reads the packet counters on the network. The controller returns the number of matching packets on each switch.

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.

A switch's unique identifier.

The number of a physical port.

VLAN tags. Only the lower 12-bits are used.

Loc uniquely identifies a port at a switch.

Ethernet addresses are 48-bits wide.

Packets' headers.

Produce a new channel that carries updates from both of the input channels, but does not wait for both to be ready. Analogous to Unix SELECT(2) followed by READ(2) on the ready file descriptor.

Produce a new channel that waits for both input channels to produce a value, and then yields the latest version of both values. If one channel produces multiple values before the other produces any, then the early values are discarded. Afterwards, whenever one channel updates, the output channel yields that update along with whatever the current version of the other channel is.

A slice represents a subgraph of the network for the purposes of isolating programs from each other.

The interface to a slice has two components: a topology comprising switches, ports, and links; and a collection of predicates, one for each outward-facing edge port.

We represent the topology as a collection of locations in the network, and the predicates as a mapping from locations to predicates.

Intuitively, packets may travel freely between internal locations, but must satisfy the associated predicate to enter the slice at an ingress location, or leave the slice at an egress location. If an external port is not listed in the ingress or egress set, then no packets may enter or leave (respectively) on that port.

Build a graph from list of undirected edges labeled with their ports Ensures that the resulting graph is undirected-equivalent, and labels each directed edge with the appropriate port to send a packet over that edge from the source switch.

By convention, hosts have a single port 0, and non-hosts have any number of non-zero ports. If 0 is in the ports of a node, it is considered to be a host regardless of other ports that may be present.

Produce a slice that exactly covers the given topology, with no ingress or egress ports.

Produce a slice with all the switches in topo, and predicate applied to all in- and out-bound connections to hosts

Produce the combined policy by compiling a list of slices and policies with the vanilla compiler

Produce the combined policy by compiling a list of slices and policies with the edge compiler

Compile a list of slices and dynamic policies as they change.