diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 10:22:35 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 10:22:35 +0200 |
| commit | f04de3faad13a3904836dd1bd8c334b6634d60a4 (patch) | |
| tree | 515cde281a205533d8147aca74d639e2807a1b92 /abstract/formula_printer.ml | |
| parent | 2b62d844cc81b60bcbdfc145097139995ea6f3a0 (diff) | |
| download | scade-analyzer-f04de3faad13a3904836dd1bd8c334b6634d60a4.tar.gz scade-analyzer-f04de3faad13a3904836dd1bd8c334b6634d60a4.zip | |
Add intervals domain ; some interesting analysis works.
Diffstat (limited to 'abstract/formula_printer.ml')
| -rw-r--r-- | abstract/formula_printer.ml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/abstract/formula_printer.ml b/abstract/formula_printer.ml index 994c82a..25b7b22 100644 --- a/abstract/formula_printer.ml +++ b/abstract/formula_printer.ml @@ -91,15 +91,18 @@ let print_expr fmt e = (* Print constraint list form of formula *) -let print_cons fmt (eq, sg) = +let print_cons_sg fmt sg = let sg_str = match sg with | CONS_EQ -> "=" | CONS_NE -> "≠" | CONS_GT -> ">" | CONS_GE -> "≥" in - Format.fprintf fmt "@[<hv 2>%a %s 0@]" - print_num_expr eq sg_str + Format.fprintf fmt "%s" sg_str + +let print_cons fmt (eq, sg) = + Format.fprintf fmt "@[<hv 2>%a %a 0@]" + print_num_expr eq print_cons_sg sg let rec print_conslist fmt (cons, e) = let rec aux = function |