Project

General

Profile

Revision 69c96b6c src/tools/stateflow/semantics/cPS_transformer.ml

View differences:

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