Nettle.Discovery.Topology

Module defining an abstract data type describing the connectivity among a collection of OpenFlow switches.

Documentation

type Port = (SwitchID, PortID)

Port definition that references a specific port on a specific switch

type Link = Set Port

A set of two Ports (as defined above) that represents a connection from the PortID of a switch with a certain DataPathID to the PortID of another switch with a different DataPathID

type Topology = Set Link

Definition of Topology, that is, a set of two-member sets of ports It's constructors are not made available in other modules; Topologies can only be manipulated by the functions defined in this module. This is done so that certain properties can be assumed of any Topology, namely that all Links contain two members

unTopology :: Topology -> Set Link

Deconstructor for Topology constructor

merge :: Topology -> Topology -> Topology

Merge two topologies

empty :: Topology

Provides a Topology with no links

link :: (Port, Port) -> Link

Construct a link

addLink :: Port -> Port -> Topology -> Topology

Add a link into an existing topology. Use with empty to make a new Topology.

removeSwitch :: SwitchID -> Topology -> Topology

Removes all links that include a certain switch's DataPathID from the Topology.

combine :: Topology -> Topology -> Topology

Given two topologies, merge them into one

removeLink :: Link -> Topology -> Topology

removePort :: Port -> Topology -> Topology

subset :: SwitchID -> Topology -> Topology

Find the subset of Links in a Topology that all include a certain switch's DataPathID

containsDataPathID :: SwitchID -> Link -> Bool

containsPort :: Port -> Link -> Bool