diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 10:51:59 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-19 10:51:59 +0200 |
| commit | 8286c7c23a47c166aa87337a3146cdf3b278b144 (patch) | |
| tree | 8126efa61eb9af62d1c4e97b504e78d5e9c772df /abstract/domain.ml | |
| parent | a2da1268c4a9af6755723698b7b6ba669aa7fd46 (diff) | |
| download | scade-analyzer-8286c7c23a47c166aa87337a3146cdf3b278b144.tar.gz scade-analyzer-8286c7c23a47c166aa87337a3146cdf3b278b144.zip | |
Isolate numerical part of domain. Next: isolate numerical part of equations.
Diffstat (limited to 'abstract/domain.ml')
| -rw-r--r-- | abstract/domain.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/abstract/domain.ml b/abstract/domain.ml new file mode 100644 index 0000000..76635d1 --- /dev/null +++ b/abstract/domain.ml @@ -0,0 +1,3 @@ +open Ast +open Formula + |