package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Printers

rfsm
- Rfsm
  - Action
  - Builtins
  - Condition
  - Dynamic
  - Eval
  - Expr
  - Fsm
    
    State
    
    TransLabel
  - Global
  - Ident
  - Intbits
  - Misc
  - Simul
  - Static
    
    DepG
    
    E
    
    Mark
    
    V
  - Stimuli
  - Trace
  - Type_expr
  - Types
    
    Index
  - Typing

Legend:
Library
Module
Module type
Parameter
Class
Class type

Global objects

type global =

| GInp of string * Types.typ * stim_desc
(*
Global input, with type and description of associated stimuli
*)
| GOutp of string * Types.typ
(*
Global output
*)
| GShared of string * Types.typ
(*
Shared variable or event
*)
| GConst of string * Expr.value
(*
Global constant
*)
| GFun of string * fn_desc
(*
Global function
*)

and stim_desc =

| Periodic of int * int * int
(*
Period, start time, end time
*)
| Sporadic of int list
(*
Dates
*)
| 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