package lascar

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Lascar.FsmSource

Finite State Machines.

A FSM is a LTS

  • with an added set of local variables
  • for which each transition is a pair of conditions and actions on inputs, outputs and local variables.
Sourcemodule type CONDITION = sig ... end
Sourcemodule type ACTION = sig ... end
Sourcemodule type TRANSITION = sig ... end
Sourcemodule type T = sig ... end
Sourcemodule Make (S : Ltsa.STATE) : T with type state = S.t
OCaml

Innovation. Community. Security.