package frenetic

You can search for identifiers within the package.

in-package search v0.2.0

package frenetic

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

Legend:
Library
Module
Module type
Parameter
Class
Class type

val check : Global_compiler.Automaton.t -> Global_compiler.Automaton.t -> bool

Checks if the given automata are bisimilar using Hopcroft-Karp.