package frenetic
The Frenetic Programming Language and Runtime System
Install
Dune Dependency
Authors
Maintainers
Sources
5.0.5.tar.gz
md5=baf754df13a759c32f2c86a1b6f328da
sha512=80140900e7009ccab14b25e244fe7edab87d858676f8a4b3799b4fea16825013cf68363fe5faec71dd54ba825bb4ea2f812c2c666390948ab217ffa75d9cbd29
doc/frenetic.kernel/Frenetic_kernel/OpenFlow0x01/SwitchFeatures/index.html
Module OpenFlow0x01.SwitchFeatures
Source
Switch features data structure. See Section 5.3.1 of the OpenFlow 1.0 specification.
Source
type supported_wildcards = {
dlSrc : bool;
dlDst : bool;
dlTyp : bool;
dlVlan : bool;
dlVlanPcp : bool;
nwSrc : bool;
nwDst : bool;
nwProto : bool;
nwTos : bool;
tpSrc : bool;
tpDst : bool;
inPort : bool;
}
Fields that support wildcard patterns on this switch.
See the ofp_capabilities
enumeration in Section 5.3.1 of the OpenFlow 1.0 specification.
Describes which actions (Action.t
) this switch supports.
Source
type t = {
switch_id : switchId;
num_buffers : int32;
num_tables : Packet.int8;
supported_capabilities : Capabilities.t;
supported_actions : SupportedActions.t;
ports : portDescription list;
}
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>