Project

General

Profile

Revision 8446bf03 src/tools/stateflow/semantics/cPS_transformer.ml

View differences:

src/tools/stateflow/semantics/cPS_transformer.ml
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 80
  (* val mktransformer : t -> unit *)
81
  val mkprincipal : t -> LustreSpec.program
82
  val mkcomponent : 'c call_t -> 'c -> t -> LustreSpec.program
81
  val mkprincipal : t -> Lustre_types.program
82
  val mkcomponent : 'c call_t -> 'c -> t -> Lustre_types.program
83 83
end
84 84

  
85 85
module type ComparableTransformerType =

Also available in: Unified diff