diff options
author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-24 10:18:30 +0200 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-24 10:18:30 +0200 |
commit | 6742003891028d566edf23dc7092c34f6d40255f (patch) | |
tree | 9768a5fadaf1668726bcc055197fc3ae944d05fe /main.ml | |
parent | 2073dd00710add906cc94099cd4bfb7aa3a2f85e (diff) | |
download | scade-analyzer-6742003891028d566edf23dc7092c34f6d40255f.tar.gz scade-analyzer-6742003891028d566edf23dc7092c34f6d40255f.zip |
Plug into Apron Box domain for intervals.
Diffstat (limited to 'main.ml')
-rw-r--r-- | main.ml | 16 |
1 files changed, 9 insertions, 7 deletions
@@ -13,24 +13,26 @@ open Abs_interp_dynpart module Interpret = Interpret.I -module ItvND = Nonrelational.ND(Intervals_domain.VD) +module ItvND = Apron_domain.ND_Box (* Nonrelational.ND(Intervals_domain.VD) *) +module PolyND = Apron_domain.ND_Poly +module OctND = Apron_domain.ND_Oct module AI_Itv = Abs_interp.I(Enum_domain.MultiValuation)(ItvND) -module AI_Poly = Abs_interp.I(Enum_domain.MultiValuation)(Apron_domain.ND_Poly) -module AI_Oct = Abs_interp.I(Enum_domain.MultiValuation)(Apron_domain.ND_Oct) +module AI_Poly = Abs_interp.I(Enum_domain.MultiValuation)(PolyND) +module AI_Oct = Abs_interp.I(Enum_domain.MultiValuation)(OctND) module AI_Itv_EDD = Abs_interp_edd.I(ItvND) -module AI_Poly_EDD = Abs_interp_edd.I(Apron_domain.ND_Poly) -module AI_Oct_EDD = Abs_interp_edd.I(Apron_domain.ND_Oct) +module AI_Poly_EDD = Abs_interp_edd.I(PolyND) +module AI_Oct_EDD = Abs_interp_edd.I(OctND) module AI_S_Itv_DP = Abs_interp_dynpart.I (Enum_domain.MultiValuation)(ItvND) module AI_S_Rel_DP = Abs_interp_dynpart.I - (Enum_domain.MultiValuation)(Apron_domain.ND_Poly) + (Enum_domain.MultiValuation)(PolyND) module AI_EDD_Itv_DP = Abs_interp_dynpart.I (Enum_domain_edd.EDD)(ItvND) module AI_EDD_Rel_DP = Abs_interp_dynpart.I - (Enum_domain_edd.EDD)(Apron_domain.ND_Poly) + (Enum_domain_edd.EDD)(PolyND) (* command line options *) let times = ref false |