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 /main.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 'main.ml')
-rw-r--r-- | main.ml | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -2,9 +2,13 @@ open Ast module Interpret = Interpret.I -module ItvD = Nonrelational.D(Intervals_domain.VD) +module ItvND = Nonrelational.ND(Intervals_domain.VD) +module ItvD = Abs_domain.D(ItvND) + +module ApronD = Abs_domain.D(Apron_domain.ND) + module AI_Itv = Abs_interp.I(ItvD) -module AI_Rel = Abs_interp.I(Apron_domain.D) +module AI_Rel = Abs_interp.I(ApronD) (* command line options *) let dump = ref false |