package rfsm

  1. Overview
  2. Docs

Global objects

type global =
  1. | GInp of string * Types.typ * stim_desc
    (*

    Global input, with type and description of associated stimuli

    *)
  2. | GOutp of string * Types.typ
    (*

    Global output

    *)
  3. | GShared of string * Types.typ
    (*

    Shared variable or event

    *)
  4. | GConst of string * Expr.value
    (*

    Global constant

    *)
  5. | GFun of string * fn_desc
    (*

    Global function

    *)
and stim_desc =
  1. | Periodic of int * int * int
    (*

    Period, start time, end time

    *)
  2. | Sporadic of int list
    (*

    Dates

    *)
  3. | ValueChange of (int * Expr.value) list
    (*

    (Date,value)s

    *)
and fn_desc = string list * Expr.t

Args, body

val global_id : global -> string

Printers

val string_of_stim : stim_desc -> string
OCaml

Innovation. Community. Security.