package frenetic

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Frenetic.TopologySource

Sourcemodule Net : module type of Frenetic_kernel.Net.Net
Sourceval switch_ids : Net.Topology.t -> SDN.switchId list
Sourceval internal_ports : Net.Topology.t -> SDN.switchId -> Net.Topology.PortSet.t
Sourceval in_edge : Net.Topology.t -> SDN.switchId -> SDN.portId -> bool
Sourcemodule Mininet : sig ... end