diff options
Diffstat (limited to 'abstract/formula.ml')
| -rw-r--r-- | abstract/formula.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/abstract/formula.ml b/abstract/formula.ml index ce83935..62acb28 100644 --- a/abstract/formula.ml +++ b/abstract/formula.ml @@ -54,6 +54,8 @@ let f_and a b = match a, b with | a, BConst true -> a | a, b -> BAnd(a, b) +let f_and_list = List.fold_left f_and (BConst true) + let f_or a b = match a, b with | BConst true, _ | _, BConst true -> BConst true | BConst false, b -> b |