frenetic.kernel
Frenetic_kernel.Topology
frenetic
frenetic.async
frenetic.netkat
module SDN = OpenFlow
module Net : module type of Net.Net
val switch_ids : Net.Topology.t -> SDN.switchId list
val internal_ports : Net.Topology.t -> SDN.switchId -> Net.Topology.PortSet.t
val in_edge : Net.Topology.t -> SDN.switchId -> SDN.portId -> bool
val edge : Net.Topology.t -> (SDN.switchId * SDN.portId) list
module Mininet : sig ... end