package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

frenetic
- README
- Library frenetic
  - Frenetic
    
    Bits
    
    GroupTable0x04
    
    Hashcons
    
    HASHTYPE
    
    Make
    
    Net
    
    SDN
    
    Node
    
    Link
    
    Net
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    Network
    
    VERTEX
    
    EDGE
    
    WEIGHT
    
    NETWORK
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    MAKE
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    Make
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    Node
    
    Link
    
    Net
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    NetPath
    
    OpenFlow
    
    Pattern
    
    Ip
    
    OF10
    
    To0x01
    
    From0x01
    
    OpenFlow0x01
    
    Wildcards
    
    Match
    
    PseudoPort
    
    Timeout
    
    Action
    
    FlowMod
    
    Command
    
    FlowRemoved
    
    Reason
    
    PacketOut
    
    PortDescription
    
    PortConfig
    
    PortState
    
    StpState
    
    PortFeatures
    
    PortStatus
    
    ChangeReason
    
    SwitchFeatures
    
    Capabilities
    
    SupportedActions
    
    SwitchConfig
    
    FragFlags
    
    StatsRequest
    
    StatsReply
    
    Error
    
    HelloFailed
    
    BadRequest
    
    BadAction
    
    FlowModFailed
    
    PortModFailed
    
    QueueOpFailed
    
    Vendor
    
    Message
    
    OpenFlow0x04
    
    PortConfig
    
    PortFeatures
    
    Oxm
    
    PseudoPort
    
    QueueDesc
    
    QueueProp
    
    SwitchConfig
    
    OfpMatch
    
    Action
    
    Bucket
    
    FlowModCommand
    
    GroupType
    
    GroupMod
    
    PortMod
    
    MeterMod
    
    Instruction
    
    Instructions
    
    FlowMod
    
    Capabilities
    
    SwitchFeatures
    
    PortState
    
    PortDesc
    
    PortStatus
    
    PacketIn
    
    PacketOut
    
    MeterBand
    
    FlowRemoved
    
    FlowRequest
    
    QueueRequest
    
    TableFeatureProp
    
    TableFeature
    
    MultipartReq
    
    GroupStats
    
    BucketStats
    
    SwitchDescriptionReply
    
    FlowStats
    
    AggregateStats
    
    TableStats
    
    PortStats
    
    QueueStats
    
    GroupDesc
    
    GroupFeatures
    
    MeterStats
    
    MeterConfig
    
    MeterFeatures
    
    MultipartReply
    
    TableMod
    
    QueueConfReq
    
    QueueConfReply
    
    Error
    
    RoleRequest
    
    Hello
    
    Element
    
    VersionBitMap
    
    AsyncConfig
    
    Message
    
    OpenFlow_Header
    
    Packet
    
    Tcp
    
    Flags
    
    Udp
    
    Icmp
    
    Dns
    
    Qd
    
    Rr
    
    Igmp1and2
    
    Igmp3
    
    GroupRec
    
    Igmp
    
    Ip
    
    Flags
    
    Arp
    
    Topology
    
    SDN
    
    Net
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    Mininet
    
    Util
    
    Netkat
    
    Bisim
    
    Domain
    
    Field
    
    FabricGen
    
    FABRIC_GEN
    
    FabricGen
    
    Fdd
    
    Field
    
    Env
    
    Value
    
    Pattern
    
    Action
    
    Seq
    
    Key
    
    Tree
    
    Provide_of_sexp
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Provide_hash
    
    Par
    
    Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    Named
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Provide_hash
    
    FDD
    
    Tbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    BinTbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Generated_Parser
    
    Global_compiler
    
    FDD
    
    Tbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    BinTbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Automaton
    
    Json
    
    LexBuffer
    
    Lexer
    
    Local_compiler
    
    Field
    
    Action
    
    Value
    
    FDD
    
    Tbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    BinTbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Optimize
    
    Packet
    
    Field
    
    T
    
    Parser
    
    Portless
    
    Portless_Compiler
    
    Portless_Generated_Parser
    
    Pretty
    
    Semantics
    
    HeadersValues
    
    Fields
    
    Direct
    
    PacketSet
    
    Syntax
    
    Tokens
    
    Virtual_Compiler
    
    Make
    
    Vlr
    
    HashCmp
    
    Lattice
    
    Result
    
    IntPairTbl
    
    Make
    
    Tbl
    
    BinTbl
    
    Async
    
    Common
    
    Compile_Server
    
    DynGraph
    
    Http_Controller
    
    Logging
    
    NetKAT_Controller
    
    PLUGIN
    
    CONTROLLER
    
    Make
    
    OpenFlow0x01_Plugin
    
    LowLevel
    
    OF10
    
    OpenFlow0x04_Plugin
    
    Ox
    
    DefaultHandlers
    
    OXMODULE
    
    Platform
    
    Make
    
    Shell
- Library frenetic.async
  - Frenetic_async
    
    Common
    
    Compile_Server
    
    DynGraph
    
    Http_Controller
    
    Logging
    
    NetKAT_Controller
    
    PLUGIN
    
    CONTROLLER
    
    Make
    
    OpenFlow0x01_Plugin
    
    LowLevel
    
    OF10
    
    OpenFlow0x04_Plugin
    
    Ox
    
    DefaultHandlers
    
    OXMODULE
    
    Platform
    
    Make
    
    Shell
- Library frenetic.kernel
  - Frenetic_kernel
    
    Bits
    
    GroupTable0x04
    
    Hashcons
    
    HASHTYPE
    
    Make
    
    Net
    
    SDN
    
    Node
    
    Link
    
    Net
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    Network
    
    VERTEX
    
    EDGE
    
    WEIGHT
    
    NETWORK
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    MAKE
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    Make
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    Node
    
    Link
    
    Net
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    NetPath
    
    OpenFlow
    
    Pattern
    
    Ip
    
    OF10
    
    To0x01
    
    From0x01
    
    OpenFlow0x01
    
    Wildcards
    
    Match
    
    PseudoPort
    
    Timeout
    
    Action
    
    FlowMod
    
    Command
    
    FlowRemoved
    
    Reason
    
    PacketOut
    
    PortDescription
    
    PortConfig
    
    PortState
    
    StpState
    
    PortFeatures
    
    PortStatus
    
    ChangeReason
    
    SwitchFeatures
    
    Capabilities
    
    SupportedActions
    
    SwitchConfig
    
    FragFlags
    
    StatsRequest
    
    StatsReply
    
    Error
    
    HelloFailed
    
    BadRequest
    
    BadAction
    
    FlowModFailed
    
    PortModFailed
    
    QueueOpFailed
    
    Vendor
    
    Message
    
    OpenFlow0x04
    
    PortConfig
    
    PortFeatures
    
    Oxm
    
    PseudoPort
    
    QueueDesc
    
    QueueProp
    
    SwitchConfig
    
    OfpMatch
    
    Action
    
    Bucket
    
    FlowModCommand
    
    GroupType
    
    GroupMod
    
    PortMod
    
    MeterMod
    
    Instruction
    
    Instructions
    
    FlowMod
    
    Capabilities
    
    SwitchFeatures
    
    PortState
    
    PortDesc
    
    PortStatus
    
    PacketIn
    
    PacketOut
    
    MeterBand
    
    FlowRemoved
    
    FlowRequest
    
    QueueRequest
    
    TableFeatureProp
    
    TableFeature
    
    MultipartReq
    
    GroupStats
    
    BucketStats
    
    SwitchDescriptionReply
    
    FlowStats
    
    AggregateStats
    
    TableStats
    
    PortStats
    
    QueueStats
    
    GroupDesc
    
    GroupFeatures
    
    MeterStats
    
    MeterConfig
    
    MeterFeatures
    
    MultipartReply
    
    TableMod
    
    QueueConfReq
    
    QueueConfReply
    
    Error
    
    RoleRequest
    
    Hello
    
    Element
    
    VersionBitMap
    
    AsyncConfig
    
    Message
    
    OpenFlow_Header
    
    Packet
    
    Tcp
    
    Flags
    
    Udp
    
    Icmp
    
    Dns
    
    Qd
    
    Rr
    
    Igmp1and2
    
    Igmp3
    
    GroupRec
    
    Igmp
    
    Ip
    
    Flags
    
    Arp
    
    Topology
    
    SDN
    
    Net
    
    Topology
    
    Vertex
    
    Edge
    
    UnitWeight
    
    EdgeSet
    
    VertexSet
    
    VertexHash
    
    PortSet
    
    Traverse
    
    PATH
    
    Path
    
    UnitPath
    
    Parse
    
    Pretty
    
    Mininet
    
    Util
- Library frenetic.netkat
  - Frenetic_netkat
    
    Bisim
    
    Domain
    
    Field
    
    FabricGen
    
    FABRIC_GEN
    
    FabricGen
    
    Fdd
    
    Field
    
    Env
    
    Value
    
    Pattern
    
    Action
    
    Seq
    
    Key
    
    Tree
    
    Provide_of_sexp
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Provide_hash
    
    Par
    
    Elt
    
    Tree
    
    Named
    
    Provide_of_sexp
    
    Named
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Provide_hash
    
    FDD
    
    Tbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    BinTbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Generated_Parser
    
    Global_compiler
    
    FDD
    
    Tbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    BinTbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Automaton
    
    Json
    
    LexBuffer
    
    Lexer
    
    Local_compiler
    
    Field
    
    Action
    
    Value
    
    FDD
    
    Tbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    BinTbl
    
    Provide_of_sexp
    
    Provide_bin_io
    
    Optimize
    
    Packet
    
    Field
    
    T
    
    Parser
    
    Portless
    
    Portless_Compiler
    
    Portless_Generated_Parser
    
    Pretty
    
    Semantics
    
    HeadersValues
    
    Fields
    
    Direct
    
    PacketSet
    
    Syntax
    
    Tokens
    
    Virtual_Compiler
    
    Make
    
    Vlr
    
    HashCmp
    
    Lattice
    
    Result
    
    IntPairTbl
    
    Make
    
    Tbl
    
    BinTbl
- Sources
  - frenetic
    
    Frenetic.ml
  - frenetic.async
    
    Common.ml
    
    Compile_Server.ml
    
    DynGraph.ml
    
    Http_Controller.ml
    
    Logging.ml
    
    NetKAT_Controller.ml
    
    OpenFlow0x01_Plugin.ml
    
    OpenFlow0x04_Plugin.ml
    
    Ox.ml
    
    Shell.ml
    
    frenetic_async.ml
  - frenetic.kernel
    
    Bits.ml
    
    GroupTable0x04.ml
    
    Hashcons.ml
    
    Net.ml
    
    Network.ml
    
    OpenFlow.ml
    
    OpenFlow0x01.ml
    
    OpenFlow0x04.ml
    
    OpenFlow_Header.ml
    
    Packet.ml
    
    Topology.ml
    
    Util.ml
    
    frenetic_kernel.ml
  - frenetic.netkat
    
    Bisim.ml
    
    Domain.ml
    
    FabricGen.ml
    
    Fdd.ml
    
    Generated_Parser.ml
    
    Global_compiler.ml
    
    Json.ml
    
    LexBuffer.ml
    
    Lexer.ml
    
    Local_compiler.ml
    
    Optimize.ml
    
    Packet.ml
    
    Parser.ml
    
    Portless_Compiler.ml
    
    Portless_Generated_Parser.ml
    
    Pretty.ml
    
    Semantics.ml
    
    Syntax.ml
    
    Tokens.ml
    
    Virtual_Compiler.ml
    
    Vlr.ml
    
    frenetic_netkat.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Netkat.Optimize`Source

val mk_and : 
  Frenetic_netkat.Syntax.pred ->
  Frenetic_netkat.Syntax.pred ->
  Frenetic_netkat.Syntax.pred

Source

val mk_or : 
  Frenetic_netkat.Syntax.pred ->
  Frenetic_netkat.Syntax.pred ->
  Frenetic_netkat.Syntax.pred

Sourceval mk_not : Frenetic_netkat.Syntax.pred -> Frenetic_netkat.Syntax.pred

Sourceval mk_filter : Frenetic_netkat.Syntax.pred -> Frenetic_netkat.Syntax.policy

Source

val mk_union : 
  Frenetic_netkat.Syntax.policy ->
  Frenetic_netkat.Syntax.policy ->
  Frenetic_netkat.Syntax.policy

Source

val mk_seq : 
  Frenetic_netkat.Syntax.policy ->
  Frenetic_netkat.Syntax.policy ->
  Frenetic_netkat.Syntax.policy

Sourceval mk_star : Frenetic_netkat.Syntax.policy -> Frenetic_netkat.Syntax.policy

Source

val specialize_pred : 
  Frenetic_netkat.Syntax.switchId ->
  Frenetic_netkat.Syntax.pred ->
  Frenetic_netkat.Syntax.pred

Source

val specialize_policy : 
  Frenetic_netkat.Syntax.switchId ->
  Frenetic_netkat.Syntax.policy ->
  Frenetic_netkat.Syntax.policy

Source

val mk_big_and : 
  Frenetic_netkat.Syntax.pred list ->
  Frenetic_netkat.Syntax.pred

Sourceval mk_big_or : Frenetic_netkat.Syntax.pred list -> Frenetic_netkat.Syntax.pred

Source

val mk_big_union : 
  Frenetic_netkat.Syntax.policy list ->
  Frenetic_netkat.Syntax.policy

Source

val mk_big_seq : 
  Frenetic_netkat.Syntax.policy list ->
  Frenetic_netkat.Syntax.policy

Source

val norm_policy : 
  Frenetic_netkat.Syntax.policy ->
  Frenetic_netkat.Syntax.policy

Source

val flatten_union : 
  Frenetic_netkat.Syntax.policy ->
  Frenetic_netkat.Syntax.policy list

Warning: will re-order the elements in a union

package frenetic

Module Netkat.OptimizeSource

Module `Netkat.Optimize`Source