Revision 69c96b6c
Added by Pierre-Loïc Garoche about 6 years ago
| src/tools/stateflow/semantics/cPS_transformer.ml | ||
|---|---|---|
| 77 | 77 |
val ( >> ) : t -> t -> t |
| 78 | 78 |
val eval_act : (module ThetaType with type t = t) -> act_t -> t |
| 79 | 79 |
val eval_cond : cond_t -> t -> t -> t |
| 80 |
val mktransformer : Format.formatter -> t -> unit
|
|
| 80 |
(* val mktransformer : t -> unit *)
|
|
| 81 | 81 |
val mkprincipal : t -> LustreSpec.program |
| 82 | 82 |
val mkcomponent : 'c call_t -> 'c -> t -> LustreSpec.program |
| 83 | 83 |
end |
Also available in: Unified diff
lustresf: Better construction of lustre ast. Still more work to be done.