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/OpenFlow/Pattern/index.html
Module OpenFlow.Pattern
Source
Source
type t = {
dlSrc : Packet.dlAddr option;
dlDst : Packet.dlAddr option;
dlTyp : Packet.dlTyp option;
dlVlan : Packet.dlVlan;
dlVlanPcp : Packet.dlVlanPcp option;
nwSrc : Ip.t option;
nwDst : Ip.t option;
nwProto : Packet.nwProto option;
tpSrc : Packet.tpPort option;
tpDst : Packet.tpPort option;
inPort : portId option;
}
WARNING: There are dependencies between different fields that must be met
less_eq p1 p2
returns true when p2
matches any packet that p1
will match
join p1 p2
is the least pattern pm
such that less_eq p1 pm
and less_eq p2 pm
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>