package fsml

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

A valuation is a collection of (name,value) associations

package fsml

fsml
- Library fsml
  - Fsml
    
    Action
    
    Builtins
    
    C
    
    Clock
    
    Dot
    
    Event
    
    Expr
    
    Fsm
    
    Fsm_lexer
    
    Fsm_parser
    
    Guard
    
    Misc
    
    Parse
    
    Seqmodel
    
    Simul
    
    State
    
    Tevents
    
    Ops
    
    Transition
    
    Types
    
    Typing
    
    Valuation
    
    Vcd
    
    Vhdl
- Sources
  - fsml
    
    action.ml
    
    builtins.ml
    
    c.ml
    
    clock.ml
    
    dot.ml
    
    event.ml
    
    expr.ml
    
    fsm.ml
    
    fsm_lexer.ml
    
    fsm_parser.ml
    
    fsml.ml
    
    guard.ml
    
    misc.ml
    
    parse.ml
    
    seqmodel.ml
    
    simul.ml
    
    state.ml
    
    tevents.ml
    
    transition.ml
    
    types.ml
    
    typing.ml
    
    valuation.ml
    
    vcd.ml
    
    vhdl.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Fsml.Valuation`Source

A `valuation` is a collection of `(name,value)` associations

Sourcetype name = string

Source

val pp_name : 
  Ppx_deriving_runtime.Format.formatter ->
  name ->
  Ppx_deriving_runtime.unit

Sourceval show_name : name -> Ppx_deriving_runtime.string

Sourceval name_to_yojson : name -> Yojson.Safe.t

Sourceval name_of_yojson : Yojson.Safe.t -> name Ppx_deriving_yojson_runtime.error_or

Sourcetype value = Expr.t

Source

val pp_value : 
  Ppx_deriving_runtime.Format.formatter ->
  value ->
  Ppx_deriving_runtime.unit

Sourceval show_value : value -> Ppx_deriving_runtime.string

Sourceval value_to_yojson : value -> Yojson.Safe.t

Source

val value_of_yojson : 
  Yojson.Safe.t ->
  value Ppx_deriving_yojson_runtime.error_or

Sourcetype t = (name * value) list

Source

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

Sourceval show : t -> Ppx_deriving_runtime.string

Sourceval to_yojson : t -> Yojson.Safe.t

Sourceval of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

Sourceval compare : t -> t -> int

Sourceval to_string : t -> string

Sourceexception Invalid_valuation of t

Sourceval check : name list -> t -> unit

check names vs checks whether vs is a "complete" valuation wrt. to names. i.e. whether each variable listed in names has a valuation in vs and each variable listed in vs occurs in names. Raises Invalid_valuation in case of failure.

Sourceval empty : t

Sourceexception Duplicate of name

Sourceval add : name -> value -> t -> t

Sourceval remove : name -> t -> t

Sourceval mem : name -> t -> bool

Sourceval assoc : name -> t -> value

package fsml

Module Fsml.ValuationSource

A valuation is a collection of (name,value) associations

Module `Fsml.Valuation`Source

A `valuation` is a collection of `(name,value)` associations