package lustre-v6

You can search for identifiers within the package.

in-package search v0.2.0

The Lustre V6 Verimag compiler

Install

md5=4b642b106a76e19de3751afb53ccdcf4

sha512=ec6d35f0f4da219490cad7969d86e9128b7c3f03baa507f662b038b1915383581eda697ddb0e734a1a5311ef6b0908b1d0cf375a0be5dbb1aa7e9e79848037cc

Time-stamp: <modified the 20/03/2022 (at 22:19) by Erwan Jahier>

Compute dependencies between actions

Sourcetype t

Sourceval empty : t

Sourceval concat : t -> t -> t

Linear in the size of the first parameter

val build_data_deps_from_actions : 
  (Lic.type_ -> Data.t) ->
  t ->
  Action.t list ->
  t

Compute the action dependencies that comes from the equations I/O.

Ajoute � une liste de d�pendances existante celles issues d'une liste d'actions (dont les entr�es d�pendent des sorties).

Lic2soc.lic_to_soc_type is passed in argument to break a dep loop

val generate_deps_from_step_policy : 
  Soc.precedence list ->
  (string * Action.t) list ->
  t

Use the dependency constraints that come from the SOC (e.g., 'get' before 'set' in memory SOC).

Sourceval find_deps : t -> Action.t -> Action.t list

Returns the list of actions that depends on the action in argument.

Sourceval have_deps : t -> Action.t -> bool

Sourceval remove_dep : t -> Action.t -> t

Sourceval depends_on : t -> Action.t -> Action.t -> bool

Sourceval to_string : t -> string