Module `CoAlgExp`Source

COMPILATION/EXPANSION : expressions algébriques

------------------------------------------------------------

Représentation des expressions algébriques.

----------------------------------------------------------

C'est la structure utilisée pour toutes les expressions non "trace" (grosso/modo du Lustre !).

La structure est très simple~: on distingue plusieurs cas de feuilles, et un seul cas de noeud (opérateur).

Elle contient, dès la construction, les infos sémantiques associées : type de valeur et "controlabilité".

Rappel~: une alg_exp est contrôlable si et seulement si elle contient au moins une référence à une variable support contrôlable (output ou local).

Sourcetype node =

| AE_true
| AE_false
| AE_const of string
| AE_iconst of string
| AE_rconst of string
| AE_ival of int
| AE_rval of float
| AE_support of CoIdent.t
| AE_pre of CoIdent.t
| AE_alias of CoIdent.t
| AE_call of CoIdent.t * t list
| AE_external_call of CoIdent.t * CkIdentInfo.extern_info * CkTypeEff.profile * t list

Sourceand t = {

ae_type : CkTypeEff.t;
ae_ctrl : bool;
ae_val : node;

}

Sourceval sizeof : t -> int

Batterie de "constructeurs"

Sourceval of_true : t

Sourceval of_false : t

Sourceval of_huge_weight : t

Sourceval of_const : string -> CkTypeEff.t -> t

Sourceval of_iconst : string -> t

Sourceval of_rconst : string -> t

Sourceval of_bval : bool -> t

Sourceval of_ival : int -> t

Sourceval of_rval : float -> t

Sourceval of_support : CoIdent.t -> CkTypeEff.t -> bool -> t

Réference à une variable du support

Sourceval of_pre : CoIdent.t -> CkTypeEff.t -> t

Réference au pre d'une variable du support

Sourceval of_alias : CoIdent.t -> CkTypeEff.t -> bool -> t

Référence à un alias

Sourceval of_call : CoIdent.t -> CkTypeEff.t -> t list -> t

Tout calcul est un appel, prédéfini ou non

Source

val of_external_call : 
  CoIdent.t ->
  CkIdentInfo.extern_info ->
  CkTypeEff.profile ->
  CkTypeEff.t ->
  t list ->
  t

Sourceval of_and : t -> t -> t

On donne quand même le and ...

Sourceval of_big_and : t list -> t

Sourceval of_eq : t -> t -> t

Sourceval of_not : t -> t

Sourceval of_ite : CkTypeEff.t -> t -> t -> t -> t

... et le ite i(il faut donner le type)

Sourceval is_controlable : t -> bool

Infos

Sourceval get_type : t -> CkTypeEff.t

Sourceval dump : t -> unit

Affichage prefixé sur stdout

Sourceval dumpf : out_channel -> t -> unit

Affichage prefixé sur os

Sourceval lus_dumpf : out_channel -> t -> unit

Affichage infixé (autant que possible) sur os n.b. compatible Lustre/Lucky

Sourceval lus_dumps : t -> string

Affichage infixé (autant que possible) dans une string n.b. compatible Lustre/Lucky

Install

Dune Dependency

Authors

Maintainers

Sources

doc/lutin/CoAlgExp/index.html

Module `CoAlgExp`Source

package lutin

Install

Dune Dependency

Authors

Maintainers

Sources

doc/lutin/CoAlgExp/index.html

Module CoAlgExpSource

Module `CoAlgExp`Source