package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

rfsm
- Rfsm
  - Action
  - Builtins
  - Condition
  - Dynamic
  - Eval
  - Expr
    
    VarSet
  - Fsm
    
    Repr
    
    Label
    
    Repr
    
    Attr
    
    Attrs
    
    Label
    
    State
    
    States
    
    Elt
    
    Tree
    
    State
    
    States
    
    State
    
    TransLabel
  - Global
  - Ident
  - Intbits
  - Misc
  - Simul
  - Static
    
    DepG
    
    E
    
    Mark
    
    V
  - Stimuli
  - Trace
  - Type_expr
  - Types
    
    Index
    
    VarSet
  - Typing
  - Version

Legend:
Library
Module
Module type
Parameter
Class
Class type

type t =

| Assign of lhs * Expr.t
| Emit of string
| StateMove of string * string * string

and lhs = {

mutable l_desc : lhs_desc;

}

and lhs_desc =

| LhsVar of string
| LhsArrInd of string * Expr.t
| LhsArrRange of string * Expr.t * Expr.t
| LhsRField of string * string

val mk_lhs : string -> lhs

val lhs_name : lhs -> string

val vars_of : t -> Expr.VarSet.t * Expr.VarSet.t

val rename : (string -> string) -> t -> t

val subst : Eval.env -> t -> t

val string_of_lhs : lhs -> string

val to_string : t -> string