diff options
author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-30 15:45:28 +0200 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-30 15:45:28 +0200 |
commit | 93d924bb1017dc26a9735801e1b7f8b7a3f4ef2c (patch) | |
tree | 4ed81458db78bd851a6643230c953dceb3614de8 /main.ml | |
parent | 2a415b74b05644d9fa6023b66c6563484c787b8d (diff) | |
download | scade-analyzer-93d924bb1017dc26a9735801e1b7f8b7a3f4ef2c.tar.gz scade-analyzer-93d924bb1017dc26a9735801e1b7f8b7a3f4ef2c.zip |
Refactor some stuff (this code sould be re-read.)
Diffstat (limited to 'main.ml')
-rw-r--r-- | main.ml | 29 |
1 files changed, 17 insertions, 12 deletions
@@ -8,6 +8,8 @@ open Num_domain open Nonrelational open Apron_domain +open Abs_domain + open Enum_domain_edd open Abs_interp_dynpart @@ -16,23 +18,26 @@ module Interpret = Interpret.I module ItvND = Apron_domain.ND_Box (* Nonrelational.ND(Intervals_domain.VD) *) module PolyND = Apron_domain.ND_Poly module OctND = Apron_domain.ND_Oct +module ItvOND = NumDomainOnly(ItvND) +module PolyOND = NumDomainOnly(PolyND) +module OctOND = NumDomainOnly(OctND) +module ItvEND = NumEnumDomain(Enum_domain.MultiValuation)(ItvND) +module PolyEND = NumEnumDomain(Enum_domain.MultiValuation)(PolyND) +module ItvENDEdd = NumEnumDomain(Enum_domain_edd.EDD)(ItvND) +module PolyENDEdd = NumEnumDomain(Enum_domain_edd.EDD)(PolyND) module AI_Itv = Abs_interp.I(Enum_domain.MultiValuation)(ItvND) 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(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)(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)(PolyND) +module AI_Itv_EDD = Abs_interp_edd.I(ItvOND) +module AI_Poly_EDD = Abs_interp_edd.I(PolyOND) +module AI_Oct_EDD = Abs_interp_edd.I(OctOND) + +module AI_S_Itv_DP = Abs_interp_dynpart.I(ItvEND) +module AI_S_Rel_DP = Abs_interp_dynpart.I(PolyEND) +module AI_EDD_Itv_DP = Abs_interp_dynpart.I(ItvENDEdd) +module AI_EDD_Rel_DP = Abs_interp_dynpart.I(PolyENDEdd) (* command line options *) let times = ref false |