Revision 59020713
Added by Pierre-Loïc Garoche almost 6 years ago
| src/corelang.mli | ||
|---|---|---|
| 86 | 86 |
val const_xor: constant -> constant -> constant |
| 87 | 87 |
val const_impl: constant -> constant -> constant |
| 88 | 88 |
|
| 89 |
val get_var: ident -> var_decl list -> var_decl |
|
| 89 | 90 |
val get_node_vars: node_desc -> var_decl list |
| 90 | 91 |
val get_node_var: ident -> node_desc -> var_decl |
| 91 | 92 |
val get_node_eqs: node_desc -> eq list * automata_desc list |
Also available in: Unified diff
Some progress on EMF bqckend. Refactoring machines code