diff options
| author | Alasdair Armstrong | 2017-11-27 19:37:56 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-11-27 19:37:56 +0000 |
| commit | 9f83f2c0e59eda827c0dce50c087b561f73062d8 (patch) | |
| tree | 8d3762a50470e6891d7c6718948fb2cff3d1571a /src/ast_util.mli | |
| parent | 1dcd59b9cb80f879dff96061ba7ee8111dcff0f9 (diff) | |
Utility functions in ast_util for asl_parser
Diffstat (limited to 'src/ast_util.mli')
| -rw-r--r-- | src/ast_util.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ast_util.mli b/src/ast_util.mli index 66d87c71..8206637c 100644 --- a/src/ast_util.mli +++ b/src/ast_util.mli @@ -133,6 +133,7 @@ val nc_or : n_constraint -> n_constraint -> n_constraint val nc_true : n_constraint val nc_false : n_constraint val nc_set : kid -> big_int list -> n_constraint +val nc_int_set : kid -> int list -> n_constraint (* Negate a n_constraint. Note that there's no NC_not constructor, so this flips all the inequalites a the n_constraint leaves and uses |