package rfsm

You can search for identifiers within the package.

in-package search v0.2.0

A toolset for describing and simulating StateChart-like state diagrams

Install

Dune Dependency

localhost Readme Changelog Edit opam file Versions (7)

Authors

J

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

Maintainers

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.Misc`Source

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

Source

val 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'.