package rfsm

  1. Overview
  2. Docs
On This Page
  1. Event sequences
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/Evseq/index.html

Module Rfsm.EvseqSource

Event sequences

An event sequence is a sequence of dated event sets. Ex: [{H,x<-1}@t=10; {H}@t=20, ...]. Event sequences are to describe both stimuli and responses.

Sourcemodule type EVSEQ = sig ... end
Sourcemodule Make (ES : Evset.T) : EVSEQ with module Evset = ES and type value = ES.Event.Value.t