package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Event sequences

package rfsm

rfsm
- CHANGES
- README
- Library rfsm
  - Rfsm
    
    Annot
    
    Bits
    
    Cmodel
    
    CMODEL
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Value
    
    Make
    
    Static
    
    Compiler
    
    T
    
    PARSER
    
    LEXER
    
    Make
    
    Ctask
    
    CTASK
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Value
    
    G
    
    Syntax
    
    Types
    
    Make
    
    Static
    
    G
    
    Syntax
    
    Types
    
    Depg
    
    G
    
    V
    
    E
    
    Mark
    
    M
    
    TS
    
    NODE
    
    T
    
    Make
    
    Dot
    
    DOT
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Value
    
    Make
    
    Static
    
    Dynamic
    
    DYNAMIC
    
    Syntax
    
    Guest
    
    Types
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Value
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Make
    
    Syntax
    
    Static
    
    Eval
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Env
    
    Event
    
    T
    
    Syntax
    
    Types
    
    Value
    
    Make
    
    Syntax
    
    Value
    
    Evseq
    
    EVSEQ
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Make
    
    Evset
    
    Evset
    
    T
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Make
    
    Event
    
    Ext
    
    Base
    
    Format
    
    List
    
    Option
    
    File
    
    Guest
    
    INFO
    
    TYPES
    
    SYNTAX
    
    Types
    
    TYPING
    
    Syntax
    
    Types
    
    Types
    
    VALUE
    
    STATIC
    
    EVAL
    
    Syntax
    
    Types
    
    Value
    
    CTASK
    
    Syntax
    
    Types
    
    SYSTEMC
    
    Static
    
    Syntax
    
    Types
    
    VHDL
    
    Syntax
    
    Types
    
    Static
    
    ERROR
    
    OPTIONS
    
    T
    
    Info
    
    Types
    
    Syntax
    
    Types
    
    Typing
    
    Syntax
    
    Types
    
    Value
    
    Static
    
    Eval
    
    Syntax
    
    Value
    
    Ctask
    
    Syntax
    
    Systemc
    
    Static
    
    Syntax
    
    Vhdl
    
    Syntax
    
    Static
    
    Error
    
    Options
    
    Host
    
    T
    
    Guest
    
    Info
    
    Types
    
    Syntax
    
    Types
    
    Typing
    
    Syntax
    
    Types
    
    Value
    
    Static
    
    Eval
    
    Syntax
    
    Value
    
    Ctask
    
    Syntax
    
    Systemc
    
    Static
    
    Syntax
    
    Vhdl
    
    Syntax
    
    Static
    
    Error
    
    Options
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Guest
    
    Types
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Value
    
    Dot
    
    Static
    
    Dynamic
    
    Syntax
    
    Static
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Vcd
    
    Ctask
    
    Static
    
    G
    
    Syntax
    
    Types
    
    Systemc
    
    Static
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Vhdl
    
    Static
    
    G
    
    Syntax
    
    Types
    
    Static
    
    Make
    
    Guest
    
    Syntax
    
    Typing
    
    HostSyntax
    
    Guest
    
    Types
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Value
    
    Dot
    
    Static
    
    Dynamic
    
    Syntax
    
    Static
    
    Eval
    
    Syntax
    
    Types
    
    Value
    
    EvSeq
    
    Evset
    
    Event
    
    Syntax
    
    Types
    
    Value
    
    Vcd
    
    Ctask
    
    Static
    
    G
    
    Syntax
    
    Types
    
    Systemc
    
    Static
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Vhdl
    
    Static
    
    G
    
    Syntax
    
    Types
    
    Static
    
    Ident
    
    Location
    
    Logfile
    
    Misc
    
    Options
    
    Static
    
    T
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Value
    
    Make
    
    Syntax
    
    Typing
    
    Value
    
    Subst
    
    Syntax
    
    SYNTAX
    
    Guest
    
    Types
    
    Make
    
    Guest
    
    Systemc
    
    SYSTEMC
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Value
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Make
    
    Static
    
    G
    
    Static
    
    Syntax
    
    Types
    
    Typing
    
    TYPING
    
    HostSyntax
    
    Guest
    
    Types
    
    Make
    
    HostSyntax
    
    GuestTyping
    
    A
    
    Vcd
    
    VCD
    
    Make
    
    Vcd_types
    
    Version
    
    Vhdl
    
    VHDL
    
    Static
    
    Syntax
    
    Guest
    
    Types
    
    Typing
    
    HostSyntax
    
    Value
    
    G
    
    Syntax
    
    Types
    
    Static
    
    Make
    
    Static
    
    G
    
    Syntax
    
    Types
    
    Static
    
    Vhdl_types
- Sources
  - rfsm
    
    annot.ml
    
    bits.ml
    
    cmodel.ml
    
    compiler.ml
    
    ctask.ml
    
    depg.ml
    
    dot.ml
    
    dynamic.ml
    
    env.ml
    
    event.ml
    
    evseq.ml
    
    evset.ml
    
    ext.ml
    
    guest.ml
    
    host.ml
    
    ident.ml
    
    location.ml
    
    logfile.ml
    
    misc.ml
    
    options.ml
    
    rfsm.ml
    
    static.ml
    
    subst.ml
    
    syntax.ml
    
    systemc.ml
    
    typing.ml
    
    vcd.ml
    
    vcd_types.ml
    
    version.ml
    
    vhdl.ml
    
    vhdl_types.ml

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

Module `Rfsm.Evseq`Source

Event sequences

An event sequence is a sequence of dated event sets. Ex: [{H,x<-1}@t=10; {H}@t=20, ...]. Event sequences are to describe both stimuli and responses.

Sourcemodule type EVSEQ = sig ... end

Source

module Make
  (ES : Evset.T) : 
  EVSEQ with module Evset = ES and type value = ES.Event.Value.t

package rfsm

Module Rfsm.EvseqSource

Event sequences

Module `Rfsm.Evseq`Source