diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-26 16:57:10 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-26 16:57:10 +0200 |
| commit | f3d89408ebb44f77f257b2cb51a4bdd74b9268d0 (patch) | |
| tree | adc4b2505f907ea031c0a8d082b077702d8f49eb /abstract/formula_printer.ml | |
| parent | dcdcedf42c8c3a3041c0fcda6a5a3362777672f5 (diff) | |
| download | scade-analyzer-f3d89408ebb44f77f257b2cb51a4bdd74b9268d0.tar.gz scade-analyzer-f3d89408ebb44f77f257b2cb51a4bdd74b9268d0.zip | |
Many things, sorry for the mess.
- Implement two new enumeration domains (they don't bring us much) :
multi valuation for variables ;
multi valuation for variables and pairs of variables (not really sure it works)
- Make it so that the number of init/time variables is reduced
(do not create new init/time variables on node instanciation, only
inside activate blocks and automaton states)
- Some work on EDD (it is currently broken and does not compile)
Diffstat (limited to 'abstract/formula_printer.ml')
0 files changed, 0 insertions, 0 deletions