package rfsm

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

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (8)

Authors

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

Maintainers

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

Sources

2.2.tar.gz
md5=ea1b496f0aa758933ae23921ee55a531
sha512=4fa72747bb2e32f91d64e4b8c24f60d6f0bdad297cc40f36d5c687ed1de900ab8441fa8a12aecf2523928833cddd5391fa87c11a1af2162ac8001467e8f485a5

doc/rfsm/Rfsm/Bits/index.html

Module Rfsm.BitsSource

Bit-level manipulation of integers

Sourceval of_int : int -> int -> string

of_int s n returns the bit-level representation of nsigned integer n as a string of length s

Sourceval get_bits : hi:int -> lo:int -> int -> int

get_bits hi lo n returns the integer represented by the bits ranging from hi to lo in integer n. Example: get_bits ~hi:3 ~lo:1 13 returns 6.

Sourceval set_bits : hi:int -> lo:int -> dst:int -> int -> int

set_bits hi lo dst v returns the integer obtained by setting the bits ranging from hi to lo in integer n to v. Example: set_bits ~hi:3 ~lo:1 ~dst:0 7 returns 14.