Revision 9c654082
Added by Pierre-Loïc Garoche over 6 years ago
| src/tools/stateflow/common/basetypes.ml | ||
|---|---|---|
| 122 | 122 |
|
| 123 | 123 |
val pp_cond : Format.formatter -> t -> unit |
| 124 | 124 |
end |
| 125 |
|
|
| 126 |
module Condition =
|
|
| 125 |
|
|
| 126 |
module Condition = |
|
| 127 | 127 |
struct |
| 128 | 128 |
type t = |
| 129 | 129 |
| Quote of base_condition_t |
| ... | ... | |
| 155 | 155 |
end |
| 156 | 156 |
|
| 157 | 157 |
let _ = (module Condition : ConditionType) |
| 158 |
|
|
| 159 |
module GlobalVarDef = |
|
| 160 |
struct |
|
| 161 |
type t = {variable: LustreSpec.var_decl; init_val: LustreSpec.expr}
|
|
| 162 |
end |
|
Also available in: Unified diff
[lustresf] work in progress. Added global env with initial values