package rfsm

  1. Overview
  2. Docs
A toolset for describing and simulating StateChart-like state diagrams

Install 

dune-project
 Dependency

localhost Readme Changelog Edit opam file Versions (7)

Authors

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Maintainers

  1. J
    Jocelyn Sérot <jocelyn.serot@uca.fr>

Sources

rfsm-v1.6-alpha-3.tbz
sha256=eb9583d2a7e354f00f4e0f6b2ea34f2825c92a15a21b708e03fa72c570104ab6
sha512=baff3194770f85efc55e813bbf5e515e1d0d4fae44c492fc6c15ba4834cc41fae5ecb842de1b1fdea10bafe19b4b72320b829d862aeefc6d58845270d8b3088f

doc/rfsm/Rfsm/Misc/index.html

Module Rfsm.MiscSource

Misc

Sourceexception Internal_error of string
Sourceexception Not_implemented of string
Sourceval fatal_error : string -> 'a
Sourceval not_implemented : string -> 'a
Sourceval warning : string -> unit
Sourceval add_assoc : ('k * 'v) list -> ('k * 'v) -> ('k * 'v) list

add_assoc (k,v) l returns the assocation list obtained by adding pair (k,v) to l when key k does not appear in l. Returns l otherwise.

Sourceval collect_assoc : ('a -> ('k * 'v) list) -> 'a list -> ('k * 'v) list

collect f l returns the association list built from applying f to each element of l and collecting all the (k,v) resulting pairs.

Sourceval fold_left : ('a -> 'b -> 'a) -> 'b list -> 'a -> 'a

This variant of List.fold_left allows fold_lefts to be chained with |>

Sourceval id : 'a -> 'a

id x is simply x

Sourceval list_split_at : int -> 'a list -> 'a list * 'a list

list_split_at k [x1;...;xn] returns [x1;...;xk],[xk+1;...;xn] if 1<=k<=n. Raises Invalid_argument otherwise

Sourceval bit_size : int -> int

bit_size n returns the number of bits required for representing n

Sourceval copy_with_subst : (string * string) list -> in_channel -> out_channel -> unit

copy_with_subst [(s1,s1');...] ic oc copies each line read from input channel ic to output channel oc, substituting each occurrence of string si by si'.