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/index.html

Module `Rfsm`Source

Sourcemodule Action : sig ... end

Actions associated to transitions

Sourcemodule Builtins : sig ... end

Builtin operations

Sourcemodule Condition : sig ... end

Trigerring condition for transitions

Sourcemodule Dynamic : sig ... end

Dynamic models (used by the simulator)

Sourcemodule Eval : sig ... end

Evaluating and manipulating expressions

Sourcemodule Expr : sig ... end

Expressions and values

Sourcemodule Fsm : sig ... end

Reactive Finite State Machines

Sourcemodule Global : sig ... end

Global objects

Sourcemodule Ident : sig ... end

Identifiers

Sourcemodule Intbits : sig ... end

Bit level operations on ints

Sourcemodule Misc : sig ... end

Misc

Sourcemodule Simul : sig ... end

The simulator

Sourcemodule Static : sig ... end

Static description of systems

Sourcemodule Stimuli : sig ... end

Events and stimuli

Sourcemodule Trace : sig ... end

Sourcemodule Type_expr : sig ... end

Sourcemodule Types : sig ... end

Types

Sourcemodule Typing : sig ... end

Typing